remove unnecessary 'exists'

This commit is contained in:
Jami Cogswell
2022-10-20 23:52:31 -04:00
parent b7f360647e
commit 345e4e0e8f

View File

@@ -15,8 +15,8 @@ import java
import semmle.code.java.security.InsufficientKeySizeQuery
import DataFlow::PathGraph
from DataFlow::PathNode source, DataFlow::PathNode sink
where exists(KeySizeConfiguration cfg | cfg.hasFlowPath(source, sink))
from DataFlow::PathNode source, DataFlow::PathNode sink, KeySizeConfiguration cfg
where cfg.hasFlowPath(source, sink)
select sink.getNode(), source, sink,
"This $@ is less than the recommended key size of " + source.getState() + " bits.",
source.getNode(), "key size"