Module testTaintConfig

Configuration to test selected data flow Sources in the source code are denoted by the special name SOURCE, and sinks are denoted by arguments to the special function SINK. For example, given the test code

 def test():
     s = SOURCE
     SINK(s)

SOURCE will be a source and the second occurrence of s will be a sink.

In order to test literals, alternative sources are defined for each type:

for | use

string | "source" integer | 42 float | 42.0 complex | 42j (not supported yet)

Import path

import utils.test.dataflow.testTaintConfig

Imports

DataFlow	Provides a library for local (intra-procedural) and global (inter-procedural) data flow analysis: deciding whether data can flow from a source to a sink.
TaintTracking	Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.

Modules

TestConfig

Aliases

TestFlow

Constructs a global taint tracking computation.