qtil
advanced-security/qtil-python 0.0.3
Search

Predicate signature TypeTrackingInput::storeStep

Holds if nodeFrom is being written to the content c of the object in nodeTo.

signature predicate storeStep(Node nodeFrom, Node nodeTo, Content c)