cpp: removed now unused predicate commandLineArg

This commit is contained in:
Napalys Klicius
2025-05-16 18:14:12 +02:00
committed by Jeroen Ketema
parent c74321a2ee
commit 703aec1990

View File

@@ -77,16 +77,6 @@ class SecurityOptions extends string {
}
}
/**
* An access to the argv argument to main().
*/
private predicate commandLineArg(Expr e) {
exists(Parameter argv |
argv(argv) and
argv.getAnAccess() = e
)
}
/** The argv parameter to the main function */
predicate argv(Parameter argv) {
exists(Function f |