| collectVariablesWorker(Expression, Set) |  | 0% |  | 0% | 43 | 43 | 94 | 94 | 1 | 1 |
| findDataAndControlDependencies(List, Set) |  | 0% |  | 0% | 29 | 29 | 64 | 64 | 1 | 1 |
| DynamicDependence(ErrorAutomaton, Map, Map) |  | 0% | | n/a | 1 | 1 | 20 | 20 | 1 | 1 |
| mapParamsToArgs(CallOrSpawnStatement) |  | 0% |  | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| assignUpdate(Variable, Expression, ErrorCfaLoc, Set, Set) |  | 0% |  | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| isAssign(ErrorCfaLoc) |  | 0% |  | 0% | 4 | 4 | 6 | 6 | 1 | 1 |
| collectControlDependentBranches(Stack, Set) |  | 0% |  | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| collectVariables(Expression) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| isBranch(ErrorCfaLoc) |  | 0% |  | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| collectAllBranches(ErrorAutomaton) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| isFunctionCall(ErrorCfaLoc) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getDependentBranches() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getAllBranches() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getVariablesOfInterestMap() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |