Java: remove exists variable in test

This commit is contained in:
Jami Cogswell
2024-12-15 23:19:05 -05:00
parent 48d1fe062b
commit ede9e78645

View File

@@ -7,7 +7,7 @@ module CsrfUnprotectedRequestTypeTest implements TestSig {
predicate hasActualResult(Location location, string element, string tag, string value) {
tag = "hasCsrfUnprotectedRequestType" and
exists(CallPathNode src, CallPathNode sink | unprotectedStateChange(src, sink) |
exists(CallPathNode src | unprotectedStateChange(src, _) |
src.getLocation() = location and
element = src.toString() and
value = ""