Member predicate TaintTracking :: Configuration :: isSanitizerGuard
Holds if data flow node guard can act as a sanitizer when appearing
in a condition.
For example, if guard is the comparison expression in
if(x == 'some-constant'){ ... x ... }, it could sanitize flow of
x into the “then” branch.
Node that this only handles checks that operate directly on the tainted value.
Objects that contain a tainted value in a property may still flow across the check.
To block such objects, use a labeled sanitizer guard to block the data label.
predicate
isSanitizerGuard
(
SanitizerGuardNode
guard
)