Predicate TaintTracking::isTypeofGuard
Holds if test
is a guard that checks if operand
is typeof tag
.
See TypeOfUndefinedSanitizer
for example usage.
Import path
import javascript
predicate isTypeofGuard(EqualityTest test, Expr operand, TypeofTag tag)