Update cpp/ql/lib/semmle/code/cpp/security/FlowSources.qll

GeekMasher · jketema · web-flow · commit bbce0d0c6522 · 2025-05-16T18:55:00.000+01:00
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/security/FlowSources.qll b/cpp/ql/lib/semmle/code/cpp/security/FlowSources.qll
@@ -60,7 +60,7 @@ private class LocalModelSource extends LocalFlowSource {
 private class ArgvSource extends LocalFlowSource {
   ArgvSource() {
     exists(Function main, Parameter argv |
-      main.hasGlobalName(["main", "wmain"])
+      main.hasGlobalName(["main", "wmain"]) and
       main.getParameter(1) = argv and
       this.asParameter(2) = argv
     )

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ private class LocalModelSource extends LocalFlowSource {`
`60`	`60`	`private class ArgvSource extends LocalFlowSource {`
`61`	`61`	`ArgvSource() {`
`62`	`62`	`exists(Function main, Parameter argv \|`
`63`		`- main.hasGlobalName(["main", "wmain"])`
	`63`	`+ main.hasGlobalName(["main", "wmain"]) and`
`64`	`64`	`main.getParameter(1) = argv and`
`65`	`65`	`this.asParameter(2) = argv`
`66`	`66`	`)`