Update TimingAttack.qll

This commit is contained in:
Ahmed Farid
2023-02-16 12:49:40 +01:00
committed by GitHub
parent 01b865f75b
commit 005839b462

View File

@@ -146,10 +146,12 @@ private predicate existsFailFastCheck(Expr firstInput, Expr secondInput) {
) and
(
compare.getLeft() = firstInput and
compare.getComparator(0) = secondInput
compare.getComparator(0) = secondInput and
not compare.getAComparator() instanceof None
or
compare.getLeft() = secondInput and
compare.getComparator(0) = firstInput
compare.getComparator(0) = firstInput and
not compare.getAComparator() instanceof None
)
)
}