| FunctionTranslator.java |   | 76% | | 69% | 307 | 792 | 534 | 2,533 | 8 | 111 | 0 | 2 |
| CommonAccuracyAssumptionBuilder.java | | 1% | | 0% | 129 | 131 | 367 | 373 | 21 | 23 | 1 | 2 |
| CommonModelFactory.java | | 82% | | 63% | 109 | 319 | 103 | 607 | 21 | 151 | 1 | 3 |
| FunctionContractTranslator.java | | 44% | | 34% | 46 | 64 | 126 | 203 | 1 | 8 | 0 | 2 |
| CommonFunction.java | | 51% | | 49% | 58 | 122 | 112 | 261 | 18 | 55 | 0 | 1 |
| CommonScope.java | | 75% | | 78% | 43 | 159 | 48 | 272 | 12 | 48 | 0 | 1 |
| CommonFragment.java | | 61% | | 63% | 27 | 61 | 52 | 150 | 5 | 22 | 0 | 1 |
| CommonModel.java | | 50% | | 29% | 28 | 52 | 49 | 109 | 15 | 35 | 0 | 1 |
| ModelBuilderWorker.java | | 93% | | 88% | 31 | 166 | 34 | 471 | 3 | 30 | 0 | 1 |
| MemoryUnitExpressionAnalyzer.java | | 91% | | 88% | 21 | 125 | 18 | 316 | 0 | 10 | 0 | 2 |
| CommonAbstractFunction.java | | 18% | | 0% | 4 | 6 | 11 | 15 | 3 | 5 | 0 | 1 |
| ExpandedCIVLSource.java | | 0% | | n/a | 8 | 8 | 13 | 13 | 8 | 8 | 1 | 1 |
| FunctionInfo.java | | 82% | | 82% | 7 | 31 | 11 | 70 | 5 | 20 | 0 | 1 |
| CommonACSLPredicate.java | | 0% | | n/a | 3 | 3 | 7 | 7 | 3 | 3 | 1 | 1 |
| CommonSystemFunction.java | | 68% | | n/a | 3 | 7 | 4 | 14 | 3 | 7 | 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 |
| ABC_CIVLSource.java | | 76% | | n/a | 3 | 10 | 4 | 13 | 3 | 10 | 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 |
| CommonCIVLTypeFactory.java | | 99% | | 96% | 2 | 58 | 2 | 151 | 1 | 44 | 0 | 1 |
| CommonSourceable.java | | 69% | | n/a | 1 | 3 | 2 | 6 | 1 | 3 | 0 | 1 |
| StaticAnalysisConfiguration.java | | 93% | | 80% | 3 | 8 | 1 | 9 | 1 | 2 | 0 | 1 |