CodeQL library for Go
codeql/go-all 0.7.15-dev (changelog, source)
Search

Member predicate AdditionalTaintStep::step

Holds if the step from node1 to node2 should be considered a taint step for all configurations.

predicate step(Node node1, Node node2)