`7-11-3`: FP for multiplication of template arguments
还没有人认领这个 Issue。
评估
调研方向
从 RULE-7-11-3 开始，使用模板示例复现报告的误报，然后检查规则逻辑，了解模板调用和指针转换是如何分类的。完成的标准是识别出触发模式，并防止将有效的模板调用报告为无效的指针转换；如果 repository 的规则测试支持，则添加一个回归用例。
由索引模型根据 Issue 内容生成。
描述
Affected rules
RULE-7-11-3
Description
Qlx is riddled with examples of function calls that are for some reason flagged as invalid pointer conversions.
It seems like maybe the common thread is that this occurs in templates when they call functions that don't depend on the template?
Example
This might be the type of thing that triggers it? It's unclear.
template <typename T>
class C {
void use_t() {
(T*) null;
dont_use_t(); // here?
}
void dont_use_t() {
return;
}
- 主要语言
- 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