Skip to content

Commit

Permalink
autoformat
Browse files Browse the repository at this point in the history
  • Loading branch information
smowton committed Oct 2, 2024
1 parent 052ccfa commit 810915b
Showing 1 changed file with 1 addition and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,7 @@ module OpenUrlRedirect {

bindingset[var, w]
pragma[inline_late]
private predicate useIsDominated(
SsaWithFields var, Write w, DataFlow::ReadNode sanitizedRead
) {
private predicate useIsDominated(SsaWithFields var, Write w, DataFlow::ReadNode sanitizedRead) {
w.dominatesNode(sanitizedRead.asInstruction()) and
sanitizedRead = var.getAUse()
}
Expand Down

0 comments on commit 810915b

Please sign in to comment.