Skip to content

Commit

Permalink
Java: remove exists variable in test
Browse files Browse the repository at this point in the history
  • Loading branch information
Jami Cogswell authored and Jami Cogswell committed Dec 16, 2024
1 parent 98e5607 commit 73a3a0d
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -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 = ""
Expand Down

0 comments on commit 73a3a0d

Please sign in to comment.