| executeWriteSetPeek(State, int, Expression[], SymbolicExpression[], CIVLSource) |  | 0% | | 0% | 3 | 3 | 19 | 19 | 1 | 1 |
| executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[]) |  | 74% | | 56% | 21 | 40 | 7 | 30 | 0 | 1 |
| executeMemToPointers(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| executeMemToPointersSize(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| executeMemGetGroup(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 78% | | 50% | 2 | 3 | 1 | 10 | 0 | 1 |
| executeHavocMem(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 90% | | 67% | 2 | 4 | 1 | 18 | 0 | 1 |
| memObject2PointerArray(SymbolicExpression) | | 91% | | 67% | 2 | 4 | 0 | 10 | 0 | 1 |
| executeMemEquals(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 95% | | 83% | 1 | 4 | 2 | 10 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| executeWriteSetPop(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 99% | | 75% | 1 | 3 | 1 | 20 | 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 |
| 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 |
| 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 |
| executeWriteSetPush(State, int, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |