| evaluateACSLPredicateCall(State, int, ACSLPredicateCall) |  | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| evaluate(State, int, Expression) |  | 19% | | 50% | 1 | 2 | 9 | 11 | 0 | 1 |
| evaluatePointerAdd(State, int, String, BinaryExpression, SymbolicExpression, NumericExpression) | | 56% | | 38% | 3 | 5 | 7 | 15 | 0 | 1 |
| static {...} | | 80% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| arrayElementReferenceAdd(State, int, SymbolicExpression, NumericExpression, CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| dereference(CIVLSource, State, String, CIVLType, SymbolicExpression, boolean, boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| ErrorSideEffectFreeEvaluator(ModelFactory, StateFactory, LibraryEvaluatorLoader, LibraryExecutorLoader, SymbolicUtility, SymbolicAnalyzer, MemoryUnitFactory, CIVLErrorLogger, CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| evaluateDivide(State, int, BinaryExpression, NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| evaluateModulo(State, int, BinaryExpression, NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| evaluateSubscript(State, int, String, SubscriptExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |