| FunctionTranslator.java |   | 77% | | 70% | 269 | 727 | 550 | 2,522 | 10 | 111 | 0 | 1 |
| CommonAccuracyAssumptionBuilder.java | | 1% | | 0% | 128 | 130 | 405 | 411 | 20 | 22 | 0 | 1 |
| CommonModelFactory.java | | 81% | | 64% | 110 | 310 | 115 | 650 | 18 | 144 | 1 | 2 |
| FunctionContractTranslator.java | | 35% | | 35% | 45 | 63 | 128 | 206 | 1 | 7 | 0 | 1 |
| CommonFunction.java | | 58% | | 50% | 56 | 124 | 106 | 265 | 17 | 57 | 0 | 1 |
| CommonScope.java | | 79% | | 78% | 42 | 160 | 47 | 275 | 12 | 48 | 0 | 1 |
| CommonFragment.java | | 64% | | 59% | 31 | 65 | 57 | 155 | 5 | 22 | 0 | 1 |
| CommonModel.java | | 51% | | 30% | 29 | 55 | 50 | 115 | 15 | 37 | 0 | 1 |
| MemoryUnitExpressionAnalyzer.java | | 85% | | 80% | 28 | 114 | 35 | 305 | 0 | 9 | 0 | 1 |
| ModelBuilderWorker.java | | 93% | | 87% | 34 | 171 | 36 | 481 | 3 | 31 | 0 | 1 |
| FunctionInfo.java | | 82% | | 81% | 7 | 31 | 11 | 70 | 5 | 20 | 0 | 1 |
| CommonAbstractFunction.java | | 27% | | 0% | 4 | 6 | 11 | 15 | 3 | 5 | 0 | 1 |
| ExpandedCIVLSource.java | | 0% | | n/a | 8 | 8 | 13 | 13 | 8 | 8 | 1 | 1 |
| CommonCIVLTypeFactory.java | | 96% | | 80% | 13 | 87 | 6 | 219 | 2 | 53 | 0 | 1 |
| CommonNondetFunction.java | | 0% | | n/a | 3 | 3 | 4 | 4 | 3 | 3 | 1 | 1 |
| SystemCIVLSource.java | | 26% | | n/a | 6 | 8 | 7 | 9 | 6 | 8 | 0 | 1 |
| CommonIdentifier.java | | 82% | | 50% | 6 | 13 | 5 | 24 | 0 | 6 | 0 | 1 |
| CommonLogicFunction.java | | 85% | | 50% | 4 | 12 | 1 | 17 | 0 | 8 | 0 | 1 |
| ABC_CIVLSource.java | | 82% | | 62% | 6 | 14 | 4 | 22 | 3 | 10 | 0 | 1 |
| CommonSystemFunction.java | | 76% | | n/a | 3 | 7 | 4 | 14 | 3 | 7 | 0 | 1 |
| CommonModelBuilder.java | | 74% | | n/a | 2 | 4 | 4 | 10 | 2 | 4 | 0 | 1 |
| ModelFactoryException.java | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| StaticAnalysisConfiguration.java | | 89% | | 100% | 1 | 4 | 1 | 9 | 1 | 2 | 0 | 1 |
| CommonSourceable.java | | 100% | | n/a | 0 | 3 | 0 | 6 | 0 | 3 | 0 | 1 |