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
)