Module TestConfig
Import path
import utils.test.dataflow.testTaintConfigPredicates
| 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 |