Add support for lambda captures in assignment-related predicates in misra BuiltInTypeRules
还没有人认领这个 Issue。
评估
调研方向
从 cpp/misra/src/codingstandards/cpp/misra/BuiltInTypeRules.qll 的第 179 行附近开始，跟踪 issue 所引用的赋值相关谓词。检查它们对类似 [x = y] 的 init-capture 以及其他 lambda capture 的行为；当这些谓词能够正确处理这些 capture 且相关的 query test 通过时，工作就完成了。
由索引模型根据 Issue 内容生成。
描述
It looks like we should make sure these predicates are working correctly for lambda captures.
For instance:
[x = y]() { ... }
But also, all lambda captures are assignments fields of the lambda class instance.
- 主要语言
- 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