`A4-7-1`: Incorporate CERT C integer data loss rules
@lcartey 已经在做这个了。
开始于 2024年1月17日。
评估
这个 Issue 还没有评估数据。
描述
Affected rules
A4-7-1
Description
The IntegerExpressionLeadToDataLoss.ql query should be replaced by the more refined queries from CERT, specifically INT30-C (UnsignedIntegerOperationsWrapAround.ql), INT31-C (IntegerConversionCausesDataLoss.ql), INT32-C (SignedIntegerOverflow.ql) and INT34-C (ExprShiftedByNegativeOrGreaterPrecisionOperand.ql). These provide:
- Additional results not covered by the original query (particularly around lossy casts and conversions).
- Improved alert messages with more additional information and no inaccurate descriptions.
- Additional guard and validation detection, to reduce false positives.
- 主要语言
- CodeQL
- 星标
- 227
- 派生
- 82
- 平均合并
- 6 天 7 小时
- 30 天内合并 PR
- 9
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
github/codeql-coding-standards 的其他 Issue
-
false positive/false negative Stardard-MISRA-C++
难度 2/5 1-3 小时 新手友好度 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C
难度 2/5 1-3 小时 新手友好度 68/100
-
Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C
难度 4/5 3-5 天 新手友好度 48/100
github/codeql-coding-standards#1200 ·
-
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph 未关闭false positive/false negative
难度 4/5 3-5 天 新手友好度 48/100
github/codeql-coding-standards#1190 ·
-
false positive/false negative
难度 3/5 1-2 天 新手友好度 65/100
github/codeql-coding-standards#1175 ·