Module testConfig

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.testConfig

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.

Modules

TestConfig

Aliases

TestFlow

Constructs a global data flow computation.