peperunas/harden
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

findEFIVariables: Formatting

Browse Source
This commit is contained in:
Giulio De Pasquale 2023-02-20 10:23:40 -08:00
parent 5dec732ae5
commit 30707afe5f
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
codeql/harden/SmmHarden/findEFIVariables.ql
View File

@ -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