Import path
import semmle.code.java.dataflow.TaintTracking
Classes
Configuration | DEPRECATED: Use Global and GlobalWithState instead.
|
PathNode | A Node augmented with a call context (except for sinks), an access path, and a configuration. Only those PathNode s that are reachable from a source, and which can reach a sink, are generated.
|
Aliases
PathGraph | Provides the query predicates needed to include a graph in a path-problem query.
|
flowsTo | |