Module Make::Private::Steps

Holds if use-use flow starting from arg should be prohibited.

Holds if values stored inside content c are cleared at n. n is a synthesized summary node, so in order for values to be cleared at calls to the relevant method, it is important that flow does not pass over the argument, either via use-use flow or def-use flow.

Holds if the value that is being tracked is expected to be stored inside content c at n.

Holds if there is a read(+taint) of c from arg to out using a flow summary.

Holds if there is a jump step from pred to succ, which is synthesized from a flow summary.

Holds if the value of succ is uniquely determined by the value of pred.

Holds if there is a local step from pred to succ, which is synthesized from a flow summary.

Holds if there is a read step of content c from pred to succ, which is synthesized from a flow summary.

Holds if there is a (taint+)store of arg into content c of out using a flow summary.

Holds if there is a store step of content c from pred to succ, which is synthesized from a flow summary.

Holds if arg flows to out using a simple flow summary involving taint step, that is, a flow summary without reads and stores.

Holds if arg flows to out using a simple value-preserving flow summary, that is, a flow summary without reads and stores.