Module Private
Provides predicates for compiling flow summaries down to atomic local steps, read steps, and store steps.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
Imports
AccessPathSyntax |
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 |
summaryArgumentNode |
Holds if summary node |
summaryCallbackRange |
Holds if a call targeting |
summaryNodeType |
Gets the type of synthesized summary node |
summaryOutNode |
Holds if summary node |
summaryParameterNode |
Holds if summary node |
summaryPostUpdateNode |
Holds if summary node |
summaryReturnNode |
Holds if summary node |
Classes
Datatypes
Modules
External |
Provides a means of translating externally (e.g., MaD) defined flow summaries into a |
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. |