Module FlowSummary

Provides classes and predicates for defining flow summaries.

Import path

import semmle.javascript.dataflow.FlowSummary

A model for a function that can propagate data flow.

Provides the Range class used to define the extent of SummarizedCallable.

A class used to represent provenance values for MaD models.