Module Private

Provides predicates for compiling flow summaries down to atomic local steps, read steps, and store steps.

Import path

import semmle.code.csharp.dataflow.internal.FlowSummaryImpl

Imports

Module for parsing access paths from MaD models, both the identifying access path used by dynamic languages, and the input/output specifications for summary steps.

Predicates

summaryAllowParameterReturnInSelf	Holds if flow is allowed to pass from parameter `p`, to a return node, and back out to `p`.
summaryArgumentNode	Holds if summary node `arg` is at position `pos` in the call `c`.
summaryCallbackRange	Holds if a call targeting `receiver` should be synthesized inside `c`.
summaryNodeType	Gets the type of synthesized summary node `n`.
summaryOutNode	Holds if summary node `out` contains output of kind `rk` from call `c`.
summaryParameterNode	Holds if summary node `p` is a parameter with position `pos`.
summaryPostUpdateNode	Holds if summary node `post` is a post-update node with pre-update node `pre`.
summaryReturnNode	Holds if summary node `ret` is a return node of kind `rk`.

Classes

SummaryNode

Datatypes

TSummaryComponent
TSummaryComponentStack

Modules

External	Provides a means of translating externally (e.g., MaD) defined flow summaries into a `SummarizedCallable`s.
RenderSummarizedCallable	Provides query predicates for rendering the generated data flow graph for a summarized callable.
Steps	Provides a compilation of flow summaries to atomic data-flow steps.
TestOutput	Provides a query predicate for outputting a set of relevant flow summaries.