| CommonSymbolicAnalyzer.java |   | 56% | | 48% | 231 | 401 | 712 | 1,520 | 9 | 50 | 0 | 2 |
| CommonEvaluator.java | | 79% | | 71% | 171 | 477 | 298 | 1,606 | 7 | 103 | 0 | 2 |
| CommonExecutor.java | | 76% | | 74% | 65 | 183 | 121 | 622 | 3 | 30 | 0 | 2 |
| CommonMemoryUnitEvaluator.java | | 34% | | 19% | 63 | 77 | 160 | 227 | 3 | 11 | 0 | 2 |
| UFExtender.java | | 53% | | 44% | 17 | 29 | 51 | 92 | 0 | 4 | 0 | 2 |
| QuantifiedExpressionEvaluator.java | | 85% | | 65% | 25 | 52 | 26 | 214 | 0 | 12 | 0 | 2 |
| CommonTransitionSet.java | | 62% | | 50% | 6 | 16 | 12 | 34 | 5 | 14 | 0 | 1 |
| ErrorSideEffectFreeEvaluator.java | | 78% | | 38% | 3 | 11 | 7 | 25 | 0 | 7 | 0 | 1 |
| Int2PointerCaster.java | | 70% | | 75% | 3 | 7 | 4 | 24 | 1 | 3 | 0 | 1 |
| CommonTransition.java | | 71% | | 75% | 3 | 14 | 3 | 24 | 1 | 10 | 0 | 1 |
| CommonLibraryExecutorLoader.java | | 92% | | 62% | 3 | 7 | 5 | 26 | 0 | 3 | 0 | 1 |
| Char2IntCaster.java | | 81% | | 75% | 1 | 4 | 1 | 18 | 0 | 2 | 0 | 1 |
| Int2CharCaster.java | | 89% | | 62% | 6 | 11 | 0 | 24 | 0 | 3 | 0 | 1 |
| CommonTransitionIterator.java | | 91% | | 75% | 2 | 11 | 2 | 21 | 0 | 7 | 0 | 1 |
| CommonLibraryEvaluatorLoader.java | | 96% | | 62% | 3 | 7 | 3 | 25 | 0 | 3 | 0 | 1 |
| Pointer2IntCaster.java | | 96% | | 67% | 2 | 5 | 1 | 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 |