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