A taint-tracking configuration for reasoning about hard-coded data being interpreted as code
Import path
import semmle.javascript.security.dataflow.HardcodedDataInterpretedAsCodeQueryPredicates
| isAdditionalFlowStep | Holds if data may flow from |
| isBarrier | Holds if data flow through |
| isSink | Holds if |
| isSource | Holds if |
| observeDiffInformedIncrementalMode | Holds if sources and sinks should be filtered to only include those that may lead to a flow path with either a source or a sink in the location range given by |
Aliases
| FlowState | A flow state to associate with a tracked value. |