| evaluatePointerAdd(State, int, String, BinaryExpression, SymbolicExpression, NumericExpression) |   | 45% | | 25% | 4 | 5 | 8 | 15 | 0 | 1 |
| arrayElementReferenceAdd(State, int, SymbolicExpression, NumericExpression, CIVLSource) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| evaluateDivide(State, int, BinaryExpression, NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| evaluateModulo(State, int, BinaryExpression, NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 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 |
| evaluateSubscript(State, int, String, SubscriptExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |