qtil
advanced-security/qtil-python 0.0.3
Search

Predicate signature MakeImpl::FullStateConfigSig::isBarrierIn

Holds if data flow into node is prohibited.

signature predicate isBarrierIn(Node node)