Definitions

Dataflow information

Follows the exact flow of data in a program from source, where a value is defined (written) to the sink, where it is used (read).

Static Control Programs

Code where the exact control flow can be determined at compile time.