Member predicate TaintTracking::Configuration::isBarrierTest
Holds if control flow from test
along the isTrue
edge is prohibited.
predicate isBarrierTest(ControlFlowNode test, boolean isTrue)
Holds if control flow from test
along the isTrue
edge is prohibited.
predicate isBarrierTest(ControlFlowNode test, boolean isTrue)