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
)