qtil
advanced-security/qtil-python 0.0.3
Search

Predicate signature MakeImpl::FullStateConfigSig::isSink

Holds if sink is a relevant data flow sink accepting state.

signature predicate isSink(Node sink, FlowState state)