`A12-8-6`: Compiler generated special functions are not consistently flagged

未关闭

#811 创建于 2024年12月5日 0 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

还没有人认领这个 Issue。

评估

难度: 4/5
预计耗时: 3-5 天
新手友好度: 45/100

Issue 类型: 缺陷
描述清晰度: 基本清楚
活跃度: 停滞
技术栈: cpp
领域: compilers

调研方向

受影响的规则在 cpp/autosar/test/rules/A12-8-6/test.cpp 中进行了测试，其中包括所引用的示例；先阅读这些案例和 TrivialType 库。扩展对所述其他编译器生成特殊函数案例的处理，然后运行 A12-8-6 测试，并确认预期的函数都能被一致地标记。

由索引模型根据 Issue 内容生成。

描述

Difficulty-Medium false positive/false negative Impact-Medium

Affected rules

A12-8-6

Description

Compiler generated special functions are not always flagged by this rule, because the extractor does not always generate them.

In CodeQL CLI v2.16.6 and before, this mainly affected non-template classes. However, after the upgrade to CodeQL CLI v2.18.4, special functions are not consistently generated for template classes either.

This can be addressed by extending the TrivialType library to support additional cases where the function would be compiler generated, but where it currently isn't detected.

Example

https://github.com/github/codeql-coding-standards/blob/adcb3805ea0a36d8944f63c2d7c761a501a2b379/cpp/autosar/test/rules/A12-8-6/test.cpp#L15

https://github.com/github/codeql-coding-standards/blob/adcb3805ea0a36d8944f63c2d7c761a501a2b379/cpp/autosar/test/rules/A12-8-6/test.cpp#L124

主要语言: CodeQL
星标: 227
派生: 82
平均合并: 6 天 7 小时
30 天内合并 PR: 9

贡献指南

打开贡献指南

从这里开始

先读完整个 Issue，再读项目的贡献指南。
在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
Fork 仓库，在一个分支上完成修改。
提交 Pull Request，并在描述里引用这个 Issue 编号。

github/codeql-coding-standards 的其他 Issue

`RULE-10-0-1`: Structured bindings should not be reported as violations 未关闭

false positive/false negative Stardard-MISRA-C++

难度 2/5 1-3 小时新手友好度 72/100

github/codeql-coding-standards#1172 · 2026年8月5日创建
`RULE-10-4`: False negatives as rule does not currently consider ternaries 未关闭

Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C

难度 2/5 1-3 小时新手友好度 68/100

github/codeql-coding-standards#821 · 2024年12月12日创建
`EXP39-C`: False positives related to compatible types, harmless casts 未关闭

Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C

难度 4/5 3-5 天新手友好度 48/100

github/codeql-coding-standards#1200 · 2026年9月20日创建
`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 · 2026年8月28日创建
`RULE-0-1-1`: Findings should be suppressed for [[maybe_unused]] initialization 未关闭

false positive/false negative

难度 3/5 1-2 天新手友好度 65/100

github/codeql-coding-standards#1175 · 2026年8月20日创建

查看 github/codeql-coding-standards 的全部 Issue

相似的 Issue

`EoCodec` stores a `float` as a `double`, so a signaling-NaN float constant comes back with different bits 未关闭

bug

难度 2/5 1-3 小时新手友好度 86/100

objectionary/jeo-maven-plugin#1774 · 2026年9月21日创建
cmd/compile/internal/syntax: printer panics on empty var () declaration statement 未关闭

compiler/runtime

难度 2/5 1-3 小时新手友好度 76/100

golang/go#81633 · 2026年9月21日创建
Missing constant folding rules for `toUIntX` functions 未关闭

bug

难度 2/5 1-3 小时新手友好度 84/100

leanprover/lean4#15255 · 2026年9月21日创建
[fx] Generated code for `operator.pow(-2, x)` is `-2 ** x`, which Python evaluates as `-(2 ** x)`: `GraphModule.forward` returns the wrong sign (`Interpreter` is correct); reachable from `torch.compile(dynamic=True)` via `(-1) ** x.shape[0]` 未关闭

bot-triaged module: correctness (silent) module: fx release triage triage review

难度 2/5 1-3 小时新手友好度 86/100

pytorch/pytorch#197894 · 1 条评论 · 2026年9月21日创建
Grammar Gap: activated › effect clause › {self} deals damage equal to its power to target creature 未关闭

area:mechanics ready-for-agent

难度 2/5 1-3 小时新手友好度 74/100

fil-donadoni/tolaria#4317 · 2026年9月21日创建

更多 Compilers Issue

精选适合新手参与的 GitHub issue 摘要。