| FunctionTranslator |   | 80% | | 75% | 222 | 709 | 383 | 2,178 | 6 | 110 | 0 | 1 |
| CommonAccuracyAssumptionBuilder | | 1% | | 0% | 122 | 124 | 405 | 411 | 20 | 22 | 0 | 1 |
| CommonModelFactory | | 84% | | 67% | 87 | 282 | 85 | 549 | 13 | 136 | 0 | 1 |
| CommonFunction | | 58% | | 50% | 55 | 124 | 104 | 267 | 18 | 59 | 0 | 1 |
| CommonScope | | 77% | | 77% | 37 | 141 | 47 | 233 | 12 | 46 | 0 | 1 |
| FunctionContractTranslator | | 61% | | 59% | 26 | 50 | 54 | 147 | 0 | 6 | 0 | 1 |
| CommonFragment | | 64% | | 61% | 27 | 61 | 57 | 155 | 5 | 22 | 0 | 1 |
| CommonModel | | 56% | | 40% | 25 | 53 | 47 | 115 | 14 | 37 | 0 | 1 |
| ModelBuilderWorker | | 94% | | 89% | 34 | 196 | 25 | 501 | 3 | 35 | 0 | 1 |
| CommonAbstractFunction | | 33% | | 27% | 9 | 13 | 22 | 34 | 3 | 6 | 0 | 1 |
| MemoryUnitExpressionAnalyzer | | 93% | | 87% | 19 | 110 | 14 | 236 | 0 | 9 | 0 | 1 |
| FunctionInfo | | 82% | | 81% | 7 | 31 | 11 | 70 | 5 | 20 | 0 | 1 |
| ExpandedCIVLSource | | 0% | | n/a | 8 | 8 | 13 | 13 | 8 | 8 | 1 | 1 |
| CommonCIVLTypeFactory | | 96% | | 87% | 8 | 70 | 5 | 174 | 3 | 50 | 0 | 1 |
| ABC_CIVLSource | | 71% | | 50% | 8 | 14 | 6 | 22 | 4 | 10 | 0 | 1 |
| CommonLogicFunction | | 73% | | 25% | 3 | 10 | 4 | 16 | 1 | 8 | 0 | 1 |
| SystemCIVLSource | | 15% | | n/a | 7 | 8 | 8 | 9 | 7 | 8 | 0 | 1 |
| CommonNondetFunction | | 0% | | n/a | 3 | 3 | 4 | 4 | 3 | 3 | 1 | 1 |
| CommonSystemFunction | | 69% | | n/a | 4 | 7 | 5 | 14 | 4 | 7 | 0 | 1 |
| CommonIdentifier | | 82% | | 50% | 6 | 13 | 5 | 24 | 0 | 6 | 0 | 1 |
| CommonModelBuilder | | 74% | | n/a | 2 | 4 | 4 | 10 | 2 | 4 | 0 | 1 |
| CommonModelFactory.TempVariableKind | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| ModelFactoryException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| StaticAnalysisConfiguration | | 89% | | 100% | 1 | 4 | 1 | 9 | 1 | 2 | 0 | 1 |
| CommonSourceable | | 100% | | n/a | 0 | 3 | 0 | 6 | 0 | 3 | 0 | 1 |
| ModelBuilderWorker.new Object() {...} | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 | 0 | 1 |