| arrayElementReferenceAdd(State, int, SymbolicExpression, NumericExpression, CIVLSource) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| evaluatePointerAdd(State, int, BinaryExpression, SymbolicExpression, SymbolicExpression) |  | 77% | | 75% | 2 | 5 | 3 | 15 | 0 | 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 |