Module BackwardExploration
Alias for the library semmle.javascript.explore.BackwardDataFlow
.
Import path
import semmle.javascript.dataflow.BackwardExploration
Imports
BackwardDataFlow | Provides machinery for performing backward data-flow exploration. |