| executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[]) |   | 90% | | 92% | 1 | 14 | 1 | 30 | 0 | 1 |
| executeMemGetGroup(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 77% | | 50% | 2 | 3 | 1 | 10 | 0 | 1 |
| executeHavocMem(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 89% | | 75% | 1 | 3 | 1 | 13 | 0 | 1 |
| memObject2PointerArray(SymbolicExpression) | | 91% | | 66% | 2 | 4 | 0 | 10 | 0 | 1 |
| executeMemEquals(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 94% | | 83% | 1 | 4 | 2 | 10 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| executeWriteSetPeek(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 98% | | 75% | 1 | 3 | 1 | 19 | 0 | 1 |
| executeMemGroups(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | 100% | 0 | 2 | 0 | 22 | 0 | 1 |
| executeMemUnion(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | 100% | 0 | 2 | 0 | 17 | 0 | 1 |
| executeWriteSetPop(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | 100% | 0 | 3 | 0 | 20 | 0 | 1 |
| executeMemWidening(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | 100% | 0 | 2 | 0 | 15 | 0 | 1 |
| LibmemExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader) | | 100% | | n/a | 0 | 1 | 0 | 15 | 0 | 1 |
| executeMemToPointers(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| executeNewMem(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| pointerArray2MemObj(SymbolicExpression[]) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| executeMemNumGroups(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| executeMemToPointersSize(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| executeWriteSetPush(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |