qtil
advanced-security/qtil-python 0.0.3
Search

Predicate signature TypeTracking::CallGraphConstruction::InputSig::start

Holds if type tracking should start at start in state state.

signature predicate start(Node start, State state)