Predicate signature InputSig::validParameterAliasStep
Holds if the data-flow step from node1 to node2 can be used to
determine where side-effects may return from a callable.
signature predicate validParameterAliasStep(Node node1, Node node2)Holds if the data-flow step from node1 to node2 can be used to
determine where side-effects may return from a callable.
signature predicate validParameterAliasStep(Node node1, Node node2)