qtil
advanced-security/qtil-python 0.0.3
Search

Member predicate AdditionalTaintStep::hasStep

Holds if this AdditionalTaintStep defines a step from nodeFrom to nodeTo with provenance model.

predicate hasStep(Node nodeFrom, Node nodeTo, string model)