feat(cpp): Update FlowSources to add wmain

GeekMasher · web-flow · commit c79a724f5df0 · 2025-05-16T18:21:44.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/security/FlowSources.qll b/cpp/ql/lib/semmle/code/cpp/security/FlowSources.qll
@@ -55,12 +55,12 @@ private class LocalModelSource extends LocalFlowSource {
 }
 
 /**
- * A local data flow source that the `argv` parameter to `main`.
+ * A local data flow source that the `argv` parameter to `main` or `wmain`.
  */
 private class ArgvSource extends LocalFlowSource {
   ArgvSource() {
     exists(Function main, Parameter argv |
-      main.hasGlobalName("main") and
+      main.hasGlobalName(["main", "wmain"])
       main.getParameter(1) = argv and
       this.asParameter(2) = argv
     )

Original file line number	Diff line number	Diff line change
`@@ -55,12 +55,12 @@ private class LocalModelSource extends LocalFlowSource {`
`55`	`55`	`}`
`56`	`56`
`57`	`57`	`/**`
`58`		- * A local data flow source that the `argv` parameter to `main`.
	`58`	+ * A local data flow source that the `argv` parameter to `main` or `wmain`.
`59`	`59`	`*/`
`60`	`60`	`private class ArgvSource extends LocalFlowSource {`
`61`	`61`	`ArgvSource() {`
`62`	`62`	`exists(Function main, Parameter argv \|`
`63`		`- main.hasGlobalName("main") and`
	`63`	`+ main.hasGlobalName(["main", "wmain"])`
`64`	`64`	`main.getParameter(1) = argv and`
`65`	`65`	`this.asParameter(2) = argv`
`66`	`66`	`)`