Module JexlInjectionConfig
A taint-tracking configuration for unsafe user input that is used to construct and evaluate a JEXL expression. It supports both JEXL 2 and 3.
Import path
import semmle.code.java.security.JexlInjectionQuery
Predicates
isAdditionalFlowStep | Holds if data may flow from |
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 |