From 30707afe5fbc985e3bc91a20eabfb4ed3c7f4f63 Mon Sep 17 00:00:00 2001
From: Giulio De Pasquale <git@depasquale.giugl.io>
Date: Mon, 20 Feb 2023 10:23:40 -0800
Subject: [PATCH] findEFIVariables: Formatting

---
 codeql/harden/SmmHarden/findEFIVariables.ql | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/codeql/harden/SmmHarden/findEFIVariables.ql b/codeql/harden/SmmHarden/findEFIVariables.ql
index b2d93d0..9059f6d 100644
--- a/codeql/harden/SmmHarden/findEFIVariables.ql
+++ b/codeql/harden/SmmHarden/findEFIVariables.ql
@@ -33,7 +33,11 @@ class EFIVarPtrFunction extends PointerFieldAccess {
 predicate callHandlesEFIVariable(Expr e, Call c) {
   exists(Call x |
     // in case it is just a normal function call
-    (x = c and x.getParent() = e and x.getTarget() instanceof EFIVarFunction)
+    (
+      x = c and
+      x.getParent() = e and
+      x.getTarget() instanceof EFIVarFunction
+    )
   )
   or
   exists(VariableCall vc, PointerFieldAccess fa |
@@ -46,7 +50,12 @@ predicate callHandlesEFIVariable(Expr e, Call c) {
 }
 
 class EFIVar extends Variable {
-  EFIVar() { exists(Call c | callHandlesEFIVariable(_, c) and c.getAnArgument().(Access).getTarget() = this) }
+  EFIVar() {
+    exists(Call c |
+      callHandlesEFIVariable(_, c) and
+      c.getAnArgument().(Access).getTarget() = this
+    )
+  }
 }
 
 from EFIVar v