Module FlowSteps
INTERNAL: Do not use directly.
Provides auxiliary predicates for defining inter-procedural data flow configurations.
Import path
import semmle.javascript.dataflow.internal.FlowSteps
Imports
CachedSteps | Implements a set of data flow predicates that are used by multiple predicates and hence should only be computed once. |
CallGraphs | Internal predicates for computing the call graph. |
Configuration | Provides a class for performing customized inter-procedural data flow. |
javascript | Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML. |
Predicates
getThrowTarget | Gets the dataflow-node that an exception thrown at |
localExceptionStep | Holds if an exception thrown from |
localExceptionStepWithAsyncFlag | Holds if an exception thrown from |
localFlowStep | Holds if data can flow in one step from |
returnExpr | Holds if |
shouldTrackProperties | Holds if flow should be tracked through properties of |
Classes
Boolean | A utility class that is equivalent to |
PathSummary | A summary of an inter-procedural data flow path. |
Datatypes
TPathSummary | A summary of an inter-procedural data flow path. |