Module Make::Private

Companion module to the AccessPath class.

Holds if specification component token parses as argument pos.

Holds if specification component token parses as parameter pos.

Holds if specification component token parses as synthetic global sg.

Holds if flow is allowed to pass from the parameter at position pos of c, to a return node, and back out to the parameter.

Holds if summary node arg is at position pos in a call targeting receiver.

Holds if a call targeting receiver should be synthesized inside c.

Holds if summary node out contains output of kind rk from a call targeting receiver.

Holds if summary node p is a parameter with position pos.

Holds if summary node post is a post-update node with pre-update node pre.

Holds if summary node ret is a return node of kind rk.

A class that exists for QL technical reasons only (the IPA type used to represent component stacks needs to be bounded).

A callable with a flow summary.

A component used in a flow summary.

A (non-empty) stack of summary components.

A synthetic global. This represents some form of global state, which summaries can read and write individually.

Provides a means of translating externally (e.g., MaD) defined flow summaries into a SummarizedCallables.

Provides query predicates for rendering the generated data flow graph for a summarized callable.

Provides a compilation of flow summaries to atomic data-flow steps.

Provides predicates for constructing summary components.

Provides predicates for constructing stacks of summary components.

Provides a query predicate for outputting a set of relevant flow summaries.

Provides the predicate summaryNodeType for associating types with summary nodes.

A summarized callable relevant for testing.

A summarized callable relevant for testing.