| Sample | Simple Checks | Nullness | Termination | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| name | address | jar | source lines | analyzed lines | time | eq | cast | static | uncalled | others | time | warnings | precision | time | warnings | precision |
| AbdTest | | | 490 | 56227 | 23.21 | 0 | 3/11 | 0 | 5 | 0 | 117.85 | 6 | 98.41% | 56.20 | 3 | 57.14% |
| AccelerometerPlayActivity | | | 306 | 47128 | 10.39 | 0 | 0/15 | 0 | 0 | 1 | 74.25 | 3 | 99.53% | 43.19 | 0 | 100.00% |
| ApiDemos | | | 19110 | 156211 | 72.80 | 6 | 35/640 | 0 | 37 | 73** | - | - | -% | - | - | -% |
| BackupRestore | | | 315 | 57141 | 13.45 | 0 | 0/3 | 0 | 0 | 0 | 110.72 | 0 | 100.00% | 58.14 | 0 | 100.00% |
| BluetoothChat | | | 616 | 84571 | 21.33 | 0 | 2/14 | 0 | 0 | 0 | 247.70 | 19*** | 94.19% | 100.44 | 2 | 33.33% |
| ChimeTimer | | | 1090 | 89728 | 28.53 | 0 | 3/33 | 0 | 2 | 0 | 291.23 | 6 | 98.33% | 118.40 | 1 | 83.33% |
| ContactManager | | | 347 | 87397 | 19.78 | 0 | 1/20 | 0 | 0 | 0 | 251.11 | 7 | 98.12% | 106.11 | 0 | 100.00% |
| CubeLiveWallpaper | | | 450 | 44392 | 8.24 | 0 | 0/66 | 0 | 0 | 4 | 65.94 | 1 | 99.73% | 39.68 | 0 | 100.00% |
| Dazzle | | | 1798 | 72213 | 24.89 | 0 | 3/59 | 0 | 2 | 0 | 146.30 | 20* | 98.14% | 84.58 | 0 | 100.00% |
| GestureBuilder | | | 502 | 84501 | 20.77 | 0 | 3/23 | 1 | 0 | 1 | 220.87 | 15 | 92.22% | 99.57 | 0 | 100.00% |
| Home | | | 870 | 87580 | 22.72 | 0 | 2/23 | 3 | 2 | 2 | 251.57 | 26 | 94.23% | 103.43 | 8 | 38.46% |
| HoneycombGallery | | | 948 | 69433 | 17.28 | 0 | 6/23 | 0 | 2 | 0 | 153.99 | 14 | 98.04% | 78.23 | 0 | 100.00% |
| JetBoy | | | 839 | 64412 | 15.73 | 0 | 0/31 | 0 | 0 | 10 | 122.99 | 21 | 97.72% | 69.08 | 3 | 57.14% |
| LunarLander | | | 538 | 57454 | 11.71 | 0 | 0/44 | 0 | 0 | 2 | 106.53 | 5 | 99.30% | 61.25 | 3* | 0.00% |
| Mileage | | | 5879 | 104170 | 29.70 | 1 | 15/175 | 5 | 49 | 19 | 432.20 | 88** | 97.58% | 196.80 | 11 | 71.05% |
| MultiResolution | | | 75 | 58007 | 16.37 | 0 | 0/3 | 0 | 0 | 0 | 110.22 | 0 | 100.00% | 59.16 | 0 | 100.00% |
| NotePad | | | 707 | 70470 | 15.14 | 0 | 0/17 | 0 | 0 | 1 | 154.51 | 15 | 96.50% | 72.97 | 0 | 100.00% |
| OnWatch | | | 6300 | 112606 | 36.53 | 1 | 7/287 | 0 | 42 | 17 | 416.30 | 87 | 98.23% | 238.80 | 6 | 86.96% |
| OpenSudoku | | | 5879 | 119138 | 35.65 | 5* | 10/276 | 0 | 53 | 14 | 218.69 | 95* | 95.85% | 234.35 | 6 | 90.16% |
| Real3D | | | 1230 | 74597 | 19.38 | 0 | 0/102 | 0 | 2 | 1 | 178.81 | 19* | 98.14% | 86.28 | 2 | 60.00% |
| SampleSyncAdapter | | | 978 | 65764 | 14.97 | 0 | 0/9 | 1 | 3 | 2 | 131.35 | 5 | 99.51% | 70.52 | 2 | 60.00% |
| SearchableDictionary | | | 343 | 87400 | 19.36 | 0 | 0/4 | 0 | 0 | 1 | 219.49 | 3 | 99.31% | 105.14 | 0 | 100.00% |
| SkeletonApp | | | 77 | 55830 | 11.96 | 0 | 0/3 | 0 | 0 | 0 | 99.93 | 1 | 97.87% | 55.76 | 0 | 100.00% |
| Snake | | | 420 | 56924 | 13.78 | 0 | 0/17 | 5 | 0 | 0 | 105.20 | 8 | 96.06% | 59.02 | 1 | 90.00% |
| SoftKeyboard | | | 705 | 56021 | 10.24 | 0 | 0/25 | 0 | 1 | 1 | 82.83 | 14 | 95.94% | 52.45 | 0 | 100.00% |
| Solitaire | | | 3916 | 61811 | 15.26 | 5 | 3/262 | 0 | 12 | 328 | 133.17 | 69 | 92.73% | 141.43 | 10 | 86.49% |
| Spinner | | | 85 | 57013 | 11.27 | 0 | 0/3 | 0 | 3 | 3 | 106.28 | 3 | 94.83% | 58.00 | 0 | 100.00% |
| TestAppv2 | | | 377 | 56115 | 10.41 | 0 | 0/30 | 0 | 3 | 4 | 96.66 | 2 | 99.71% | 54.06 | 2 | 71.43% |
| TicTacToe | | | 607 | 58939 | 13.29 | 0 | 0/31 | 0 | 0 | 1 | 101.83 | 0 | 100.00% | 58.15 | 1 | 85.71% |
| TiltMazes | | | 1853 | 89817 | 21.12 | 0 | 0/64 | 0 | 5 | 5 | 234.49 | 12 | 98.83% | 108.48 | 1 | 88.89% |
| TippyTipper | | | 1773 | 63892 | 16.06 | 7 | 4/75 | 0 | 12 | 60 | 122.90 | 12 | 99.12% | 68.46 | 0 | 100.00% |
| Tricorder | | | 5321 | 97784 | 30.09 | 0 | 2/392 | 0 | 21 | 7 | 320.26 | 56 | 98.44% | 151.25 | 12 | 79.66% |
| TxWthr | | | 2024 | 69904 | 18.20 | 12************ | 6/83 | 0 | 5 | 11 | 137.54 | 37 | 97.82% | 74.79 | 6 | 70.00% |
| VoiceRecognition | | | 54 | 38952 | 7.61 | 0 | 0/0 | 0 | 0 | 0 | 56.46 | 0 | 100.00% | 33.20 | 0 | 100.00% |
| Wiktionary | | | 420 | 108264 | 26.40 | 0 | 0/8 | 0 | 0 | 0 | 393.77 | 4* | 99.41% | 146.76 | 0 | 100.00% |