We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0410ed7 commit 639642fCopy full SHA for 639642f
cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql
@@ -69,7 +69,7 @@ predicate isNonConst(DataFlow::Node node) {
69
// Parameters of uncalled functions that aren't const
70
exists(UncalledFunction f, Parameter p |
71
f.getAParameter() = p and
72
- p = node.asParameter() and
+ p = node.asParameter() and
73
// Ignore main's argv parameter as it is already considered a `FlowSource`
74
// not ignoring it will result in path redundancies
75
(f.getName() = "main" implies p.getName() != "argv")
0 commit comments