| CommonSymbolicAnalyzer.java |   | 61% | | 53% | 231 | 426 | 660 | 1,616 | 8 | 51 | 0 | 2 |
| CommonEvaluator.java | | 78% | | 71% | 178 | 493 | 314 | 1,693 | 9 | 108 | 0 | 2 |
| CommonMemoryUnitEvaluator.java | | 35% | | 19% | 62 | 77 | 160 | 230 | 3 | 11 | 0 | 2 |
| CommonExecutor.java | | 78% | | 77% | 60 | 190 | 109 | 648 | 2 | 31 | 0 | 2 |
| SimpleArrayReshaper.java | | 43% | | 40% | 38 | 58 | 88 | 153 | 7 | 14 | 0 | 1 |
| QuantifiedExpressionEvaluator.java | | 72% | | 63% | 26 | 53 | 57 | 242 | 1 | 13 | 0 | 2 |
| SimpleArrayToolBox.java | | 65% | | 52% | 26 | 46 | 30 | 102 | 7 | 21 | 0 | 3 |
| SimpleArrayCutter.java | | 74% | | 60% | 17 | 41 | 31 | 112 | 2 | 11 | 0 | 1 |
| ReservedLogicFunctionCallEvaluator.java | | 30% | | 41% | 7 | 10 | 15 | 25 | 3 | 4 | 0 | 1 |
| Pointer2MemCaster.java | | 0% | | 0% | 12 | 12 | 19 | 19 | 3 | 3 | 1 | 1 |
| Int2CharCaster.java | | 0% | | 0% | 11 | 11 | 24 | 24 | 3 | 3 | 1 | 1 |
| Char2IntCaster.java | | 0% | | 0% | 4 | 4 | 18 | 18 | 2 | 2 | 1 | 1 |
| CIVLDereferenceOperator.java | | 79% | | 38% | 15 | 29 | 9 | 55 | 0 | 10 | 0 | 3 |
| ErrorSideEffectFreeEvaluator.java | | 84% | | 37% | 3 | 14 | 7 | 38 | 0 | 10 | 0 | 2 |
| CommonTransition.java | | 70% | | 75% | 3 | 14 | 3 | 24 | 1 | 10 | 0 | 1 |
| Int2PointerCaster.java | | 82% | | 83% | 2 | 6 | 2 | 23 | 1 | 3 | 0 | 1 |
| LogicFunctionInterpretor.java | | 93% | | 83% | 4 | 12 | 5 | 60 | 1 | 3 | 0 | 1 |
| CommonLibraryExecutorLoader.java | | 91% | | 62% | 3 | 7 | 5 | 26 | 0 | 3 | 0 | 1 |
| CommonLibraryEvaluatorLoader.java | | 95% | | 62% | 3 | 7 | 3 | 25 | 0 | 3 | 0 | 1 |
| Pointer2IntCaster.java | | 100% | | 83% | 1 | 5 | 0 | 18 | 0 | 2 | 0 | 1 |
| FunctionCallExecutor.java | | 100% | | n/a | 0 | 2 | 0 | 4 | 0 | 2 | 0 | 1 |
| NoopTransition.java | | 100% | | n/a | 0 | 2 | 0 | 3 | 0 | 2 | 0 | 1 |