| heapReference(ReferenceExpression, boolean) |   | 72% | | 65% | 6 | 11 | 11 | 34 | 0 | 1 |
| isHeapAtomicObjectPointer(CIVLSource, SymbolicExpression) | | 78% | | 50% | 5 | 6 | 5 | 16 | 0 | 1 |
| memoryBlock(SymbolicExpression) | | 89% | | 56% | 7 | 9 | 0 | 14 | 0 | 1 |
| referenceToHeapMemUnit(SymbolicExpression) | | 78% | | 50% | 3 | 4 | 1 | 7 | 0 | 1 |
| isPointer2MemoryBlock(SymbolicExpression) | | 85% | | 70% | 3 | 6 | 3 | 14 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| isEmptyHeap(SymbolicExpression) | | 100% | | 100% | 0 | 5 | 0 | 13 | 0 | 1 |
| isPointerToHeap(SymbolicExpression) | | 100% | | 100% | 0 | 4 | 0 | 3 | 0 | 1 |
| heapMemUnit(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| isInvalidHeapObject(SymbolicExpression) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| HeapAnalyzer(StateFactory, SymbolicUniverse, CommonSymbolicUtility) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| invalidHeapObject(SymbolicType) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |