feat(cpp): Update FlowSources to add wmain

This commit is contained in:
Mathew Payne
2025-05-16 18:21:44 +01:00
committed by GitHub
parent 30e2c44cdb
commit c79a724f5d

View File

@@ -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
)