Module UrlForwardFlowConfig
A taint-tracking configuration for reasoning about URL forwarding.
Import path
import semmle.code.java.security.UrlForwardQuery
Predicates
getAFeature | Gets a data flow configuration feature to add restrictions to the set of valid flow paths. |
isBarrier | Holds if data flow through |
isSink | Holds if |
isSource | Holds if |