`A8-5-2`: Reports a violation even for correctly initialized variables as per the rule
还没有人认领这个 Issue。
评估
调研方向
从实现规则 A8-5-2 的 CodeQL 查询开始,并复现报告中的 C++ 示例。跟踪检查初始化周围空白的启发式逻辑,然后验证使用花括号正确初始化的变量(如 a、ret 和 bbb)不再被报告,同时实际违规仍能被检测到。
由索引模型根据 Issue 内容生成。
描述
Affected rules
- A8-5-2
Description
This rule reports violation for the following code (which is correct as per the rule).
Example
void example_function() {
const int32_t a {array[i]};
int32_t ret {0};
myclass01 bbb {6};
}
The reason seems to be the limitation mentioned in the query that CodeQL doesn't store this syntactic information about the form of initialization in the database. The heuristic implemented in the query to check for the violation doesn't work for the above code snippet because of the presence of a whitespace between the variable name and the initialization.
- 主要语言
- 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 ·
查看 github/codeql-coding-standards 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 78/100
ScoopInstaller/Nonportable#639 ·
-
难度 2/5 1-3 小时 新手友好度 68/100
ScoopInstaller/Extras#18800 ·
-
难度 1/5 1 小时以内 新手友好度 85/100
uqbar-project/website-wollok-ts#84 · 2 条评论 ·
-
on hold T: core-bug
难度 2/5 1-3 小时 新手友好度 68/100
-
难度 1/5 1 小时以内 新手友好度 88/100