`RULE-8-4`: Improve detection of compatible types
Open
Nobody has claimed this yet.
Assessment
This issue has not been assessed yet.
Description
Difficulty-Medium
false positive/false negative
Impact-Low
Standard-CERT-C
Affected rules
DCL40-CRULE-8-3RULE-8-4
Description
There are some cases of compatible types which are not currently detected by these queries:
- Enumerations - these are compatible with a specified integer type.
- Array types - are compatible if the element types are compatible (and the sizes match, where appropriate)
- Pointer types - are compatible in the pointer target types are compatible.
- Function types - if the return/argument types are compatible (with some exceptions for functions that don't declare arguments).
Example
- Dominant language
- CodeQL
- Stars
- 227
- Forks
- 82
- Avg merge
- 6d 7h
- Merged PRs (30d)
- 9
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from github/codeql-coding-standards
-
false positive/false negative Stardard-MISRA-C++
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
-
Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C
Difficulty 4/5 3-5 days Newbie friendliness 48/100
github/codeql-coding-standards#1200 ·
-
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph Openfalse positive/false negative
Difficulty 4/5 3-5 days Newbie friendliness 48/100
github/codeql-coding-standards#1190 ·
-
false positive/false negative
Difficulty 3/5 1-2 days Newbie friendliness 65/100
github/codeql-coding-standards#1175 ·