We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent eeddb17 commit c496503Copy full SHA for c496503
1 file changed
cpp/ql/src/Security/CWE/CWE-704/WcharCharConversion.ql
@@ -80,7 +80,9 @@ class UnicodeMacroInvocation extends MacroInvocation {
80
*/
81
predicate isLikelyDynamicallyChecked(Expr e) {
82
e.getType() instanceof UnicodeMacroDependentWidthType and
83
- exists(GuardCondition gc, BitwiseAndExpr bai, UnicodeMacroInvocation umi | bai.getAnOperand() = umi.getExpr() |
+ exists(GuardCondition gc, BitwiseAndExpr bai, UnicodeMacroInvocation umi |
84
+ bai.getAnOperand() = umi.getExpr()
85
+ |
86
// bai == 0 is false when reaching `e.getBasicBlock()`.
87
// That is, bai != 0 when reaching `e.getBasicBlock()`.
88
gc.ensuresEq(bai, 0, e.getBasicBlock(), false)
0 commit comments