| getMemoryLocationSize(ExpressionNode) |  | 0% | | 0% | 13 | 13 | 40 | 40 | 1 | 1 |
| refreshmentAssumptions(ExpressionNode, ExpressionNode, ExpressionNode) | | 0% | | 0% | 4 | 4 | 29 | 29 | 1 | 1 |
| pointerBelongsToMemoryLocationSet(ExpressionNode, List, Source) | | 0% | | 0% | 5 | 5 | 30 | 30 | 1 | 1 |
| parseMemoryLocationSet(ExpressionNode) | | 0% | | 0% | 16 | 16 | 36 | 36 | 1 | 1 |
| substitutionRange(List) | | 0% | | 0% | 6 | 6 | 19 | 19 | 1 | 1 |
| replaceRangeKindOffsetsWithBoundVarsWorker(ExpressionNode, List) | | 0% | | 0% | 11 | 11 | 28 | 28 | 1 | 1 |
| replacePLUSExpression(OperatorNode, List) | | 0% | | 0% | 3 | 3 | 21 | 21 | 1 | 1 |
| getMemoryBlockSizeFromSubscript(Source, OperatorNode) | | 0% | | 0% | 4 | 4 | 15 | 15 | 1 | 1 |
| addMemoryLocationSet(ExpressionNode, ExpressionNode) | | 0% | | 0% | 4 | 4 | 15 | 15 | 1 | 1 |
| replaceSUBSCRIPTExpression(OperatorNode, List) | | 0% | | n/a | 1 | 1 | 11 | 11 | 1 | 1 |
| variableContainingMemoryLocationSet(ExpressionNode) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| getMemoryBlockSizeFromDereference(Source, OperatorNode) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| newBoundVariable(Source) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| replaceRangeKindOffsetsWithBoundVars(ExpressionNode, List) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| static {...} |  | 80% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| MemoryLocationManager(NodeFactory) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |