autoformat

This commit is contained in:
Chris Smowton
2024-10-02 15:27:54 +01:00
parent 36a031833f
commit 365ccf4903

View File

@@ -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()
}