Module TestConfig
Import path
import utils.test.dataflow.testTaintConfig
Predicates
isBarrierIn | Holds if data flow into |
isSink | Holds if |
isSource | Holds if |
import utils.test.dataflow.testTaintConfig
isBarrierIn | Holds if data flow into |
isSink | Holds if |
isSource | Holds if |