| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 506 of 721 | 29% | 60 of 84 | 28% | 50 | 68 | 116 | 163 | 19 | 26 | 2 | 4 |
| ThemisXAnalysisSolverProjectState.java | | 39% | | 37% | 29 | 46 | 71 | 112 | 9 | 15 | 0 | 1 |
| ThemisXAnalysisSolverDataMap.java | | 0% | | 0% | 16 | 16 | 35 | 35 | 8 | 8 | 1 | 1 |
| ThemisXAnalysisSolver.java | | 27% | | 16% | 4 | 5 | 9 | 15 | 1 | 2 | 0 | 1 |
| ThemisXAnalysisSolverFileState.java | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |