Skip to content

Commit a73bd05

Browse files
committed
C++: Define the argv flow source in terms the input parameter
1 parent 2705aeb commit a73bd05

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -92,7 +92,7 @@ private class ArgvSource extends LocalFlowSource {
9292
exists(Function main, Parameter argv |
9393
main.hasGlobalName("main") and
9494
main.getParameter(1) = argv and
95-
this.asExpr() = argv.getAnAccess()
95+
this.asParameter() = argv
9696
)
9797
}
9898

0 commit comments

Comments
 (0)