From 365ccf4903cc3c9a4ed0ce40b74591a85233c263 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Wed, 2 Oct 2024 15:27:54 +0100 Subject: [PATCH] autoformat --- .../lib/semmle/go/security/OpenUrlRedirectCustomizations.qll | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/go/ql/lib/semmle/go/security/OpenUrlRedirectCustomizations.qll b/go/ql/lib/semmle/go/security/OpenUrlRedirectCustomizations.qll index 720f7ba44fd0..870edeee9621 100644 --- a/go/ql/lib/semmle/go/security/OpenUrlRedirectCustomizations.qll +++ b/go/ql/lib/semmle/go/security/OpenUrlRedirectCustomizations.qll @@ -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() }