#5 Analyze Control-Flow Statements

[Richard Membarth]

Analyze memory access patterns also in control-flow statements such as if, while, for, etc.
For example, the following memory access is currently not detected:

if(Acc()) {
...
}