qtil
advanced-security/qtil-python 0.0.3
Search

Predicate signature Configs::StateConfigSig::isSink

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

signature predicate isSink(Node sink, FlowState state)