qtil
advanced-security/qtil-javascript 0.0.3
Index
Search

Member predicate Configuration::isBarrierEdge

Holds if flow with label lbl cannot flow from pred to succ.

predicate isBarrierEdge(Node pred, Node succ, FlowLabel lbl)