Module Cached
Import path
import semmle.code.java.dataflow.internal.TaintTrackingUtilPredicates
| defaultAdditionalTaintStep | Holds if the additional step from |
| defaultTaintSanitizer | Holds if |
| forceCachingInSameStage | |
| localAdditionalTaintStep | Holds if taint can flow in one local step from |
| localTaintStep | Holds if taint can flow in one local step from |