Module DataFlow2
Import path
import semmle.code.java.dataflow.TaintTracking
Classes
Configuration | A configuration of interprocedural data flow analysis. This defines sources, sinks, and any other configurable aspect of the analysis. Each use of the global data flow library must define its own unique extension of this abstract class. To create a configuration, extend this class with a subclass whose characteristic predicate is a unique singleton string. For example, write |
PathNode | A |