| evaluatePointerAdd(State, int, BinaryExpression, SymbolicExpression, SymbolicExpression) |   | 55% | | 37% | 3 | 5 | 7 | 15 | 0 | 1 |
| arrayElementReferenceAdd(State, int, SymbolicExpression, NumericExpression, CIVLSource) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| evaluate(State, int, Expression) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| dereference(CIVLSource, State, int, String, 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 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |