Java: remove exists variable

This commit is contained in:
Jami Cogswell
2024-12-15 23:08:24 -05:00
parent c9ad15cc83
commit 48d1fe062b

View File

@@ -186,9 +186,7 @@ predicate unprotectedDatabaseUpdate(CallPathNode sourceMethod, CallPathNode sink
sinkMethod.asMethod() instanceof SqlInjectionMethod and
sinkMethod.asMethod().hasName("execute")
then
exists(SqlExecuteFlow::PathNode executeSrc, SqlExecuteFlow::PathNode executeSink |
SqlExecuteFlow::flowPath(executeSrc, executeSink)
|
exists(SqlExecuteFlow::PathNode executeSink | SqlExecuteFlow::flowPath(_, executeSink) |
sinkMethodCall.asCall() = executeSink.getNode().asExpr().(Argument).getCall()
)
else any()