The following two tables contain the test results of runs of our tool
musketeer on a set of concurrent pthreads programs that are
part of the Debian Linux distribution. The first table lists the binaries for
which musketeer could successully infer fences. The second table lists
the binaries for which musketeer timed out (timeout 10m).
The first column in the tables gives
the name of the Debian package, and the second column the binary within the package.
The binaries are goto-programs, prepared by goto-cc (part of the CPROVER framework,
see http://www.cprover.org/goto-cc). The third column gives the number of
lines of code as counted by goto-instrument (again part of the CPROVER
framework).
The fourth column gives the number of
nodes in the corresponding aeg. For the first table, the fifth column states the time it took
to infer fences for the binary on TSO, and the sixth column gives the number of
fences inferred. The last two columns give the same data for Power.
| Table 1: Programs successfully analysed by musketeer. |
|
Package | Binary | LoC | Nodes | TSO time | TSO fences | Power time | Power fences |
| |
| aiccu | aiccu | 2205 | 2105 | 566.05 | 0 | 596.00 | 0 |
| alsa-utils | alsaloop | 2656 | 3653 | 163.40 | 0 | 160.50 | 0 |
| apr | proc_child | 8472 | 0 | 0.44 | 0 | 0.43 | 0 |
| arpon | arpon | 1411 | 1464 | 22.12 | 0 | 37.04 | 25 |
| asmail | asmail | 2005 | 81 | 1.44 | 0 | 1.39 | 0 |
| aubio | aubionotes | 3842 | 397 | 107.90 | 0 | 138.21 | 0 |
| aubio | aubioonset | 3824 | 322 | 78.41 | 0 | 107.64 | 0 |
| aubio | aubioquiet | 3818 | 308 | 64.23 | 0 | 93.48 | 0 |
| aubio | aubiotrack | 3827 | 322 | 88.40 | 0 | 129.68 | 0 |
| augeas | test-lock | 1454 | 266 | 0.70 | 0 | 4.77 | 0 |
| away | away | 629 | 43 | 0.42 | 0 | 0.42 | 0 |
| axel | axel | 1471 | 289 | 50.03 | 0 | 92.34 | 0 |
| blcr | child.o | 243 | 2 | 0.02 | 0 | 0.01 | 0 |
| blcr | hooks.o | 188 | 2 | 0.01 | 0 | 0.01 | 0 |
| blcr | bug2524 | 1840 | 0 | 0.11 | 0 | 0.10 | 0 |
| blcr | cr_tryenter_c | 1893 | 1556 | 108.24 | 77 | - | - |
| blcr | crut_wrapper | 2101 | 82 | 0.42 | 0 | 0.42 | 0 |
| blcr | edeadlk | 1957 | 454 | 6.96 | 0 | 8.89 | 0 |
| blcr | pid_restore | 1946 | 359 | 5.99 | 0 | 6.79 | 0 |
| blcr | pipe.o | 545 | 2 | 0.03 | 0 | 0.02 | 0 |
| blcr | reloc_aux | 960 | 4 | 0.07 | 0 | 0.06 | 0 |
| blcr | save_aux | 922 | 24 | 0.09 | 0 | 0.09 | 0 |
| blcr | seq_wrapper | 1057 | 77 | 0.33 | 0 | 0.32 | 0 |
| blcr | simple_pthread | 155 | 2 | 0.01 | 0 | 0.01 | 0 |
| blcr | 11744-lt-cr_ch | 1613 | 709 | 13.18 | 0 | 19.17 | 0 |
| blcr | cr_checkpoint | 1613 | 709 | 13.15 | 0 | 19.26 | 0 |
| blcr | 12991-lt-cr_re | 1528 | 632 | 11.48 | 0 | 14.17 | 0 |
| blcr | cr_restart | 1528 | 632 | 11.59 | 0 | 14.13 | 0 |
| blktrace | blkiomon | 906 | 106 | 0.59 | 0 | 0.52 | 2 |
| blktrace | blktrace | 1566 | 614 | 10.55 | 0 | 21.57 | 112 |
| blktrace | btreplay | 842 | 217 | 1.80 | 0 | 1.84 | 12 |
| bootchart2 | bootchart-colle | 1243 | 1078 | 52.77 | 0 | 403.96 | 0 |
| check | check_thread_ | 1370 | 1007 | 55.61 | 0 | 56.64 | 0 |
| check-mk | unixcat | 226 | 7 | 0.01 | 0 | 0.01 | 0 |
| chmlib | chm_http | 1539 | 280 | 77.95 | 0 | 38.10 | 66 |
| clam | conftest_4 | 25 | 2 | 0.01 | 0 | 0.00 | 0 |
| clam | conftest_5 | 25 | 2 | 0.01 | 0 | 0.00 | 0 |
| clamsmtp | clamsmtpd | 1752 | 2262 | 100.79 | 0 | 101.03 | 6 |
| crossfire-client | cfsndserv_alsa | 5626 | 175 | 0.49 | 0 | 0.49 | 0 |
| crossfire-client | cfsndserv | 5603 | 165 | 0.46 | 0 | 0.46 | 0 |
| cwiid | lswm | 1149 | 9 | 0.04 | 0 | 0.04 | 0 |
| cwiid | wmgui | 3350 | 26 | 2.56 | 0 | 2.64 | 0 |
| das-watchdog | das_watchdog | 403 | 42 | 0.27 | 0 | 0.27 | 0 |
| dbmix | dbin.o | 346 | 72 | 0.02 | 0 | 0.02 | 0 |
| dbmix | dbin | 1223 | 658 | 2.60 | 6 | 3.04 | 57 |
| diod | kconjoin | 7418 | 114 | 0.56 | 0 | 0.59 | 0 |
| diod | tcreate | 7360 | 3 | 0.55 | 0 | 0.54 | 0 |
| diod | tfcntl2 | 7523 | 371 | 0.70 | 0 | 0.70 | 0 |
| diod | tfcntl3 | 7551 | 483 | 0.81 | 0 | 0.80 | 0 |
| diod | tflock2 | 7362 | 2 | 0.56 | 0 | 0.55 | 0 |
| diod | tflock | 7444 | 217 | 0.61 | 0 | 0.60 | 0 |
| diod | tfsgid | 7363 | 27 | 0.55 | 0 | 0.55 | 0 |
| diod | trename | 7346 | 2 | 0.55 | 0 | 0.55 | 0 |
| diod | tstatfs | 7392 | 36 | 0.56 | 0 | 0.54 | 0 |
| diod | tstat | 7394 | 28 | 0.55 | 0 | 0.55 | 0 |
| diod | tlua | 8633 | 2 | 0.68 | 0 | 0.67 | 0 |
| diod | tsetfsuidsupp | 8718 | 235 | 0.75 | 0 | 0.77 | 0 |
| diod | conjoin | 8565 | 71 | 0.67 | 0 | 0.67 | 0 |
| djmount | djmount | 3684 | 704 | 42.04 | 0 | 43.09 | 0 |
| dns-flood-detect | dns_flood_det | 629 | 115 | 0.11 | 0 | 0.19 | 12 |
| dnshistory | dnshistory | 1516 | 1462 | 39.60 | 8 | 559.46 | 47 |
| driftnet | driftnet | 1679 | 113 | 0.67 | 0 | 0.72 | 0 |
| dssi | jack-dssi-host | 1277 | 186 | 0.94 | 0 | 0.95 | 0 |
| duma | thread-test | 1088 | 11 | 0.04 | 0 | 0.04 | 0 |
| dvbackup | dvconnect | 556 | 268 | 0.34 | 0 | 0.35 | 0 |
| eegdev | 26594-lt-systob | 3343 | 746 | 61.71 | 0 | 58.28 | 3 |
| eegdev | systobiia | 3343 | 746 | 56.46 | 0 | 63.00 | 3 |
| enigmail | dummy | 6 | 0 | 0.01 | 0 | 0.00 | 0 |
| espeakup | espeakup | 377 | 51 | 0.04 | 1 | 0.05 | 2 |
| espeakup | espeakup | 377 | 51 | 0.04 | 1 | 0.05 | 2 |
| extace | extace | 4184 | 362 | 1.83 | 0 | 3.23 | 0 |
| eztrace | eztrace_avail | 1138 | 21 | 0.10 | 0 | 0.10 | 0 |
| eztrace | eztrace_conver | 1229 | 87 | 1.90 | 0 | 1.93 | 0 |
| eztrace | eztrace_loaded | 1137 | 21 | 0.10 | 0 | 0.10 | 0 |
| eztrace | eztrace_stats | 1210 | 124 | 2.06 | 0 | 2.08 | 0 |
| faifa | faifa | 1775 | 134 | 4.28 | 0 | 4.19 | 0 |
| firedns | compiletest | 8 | 0 | 0.00 | 0 | 0.00 | 0 |
| fprobe-ulog | fprobe-ulog | 1417 | 546 | 7.96 | 13 | 252.22 | 34 |
| fusedav | fusedav | 1598 | 269 | 1.06 | 0 | 1.07 | 2 |
| fuse | ulockmgr_serve | 642 | 25 | 0.07 | 0 | 0.07 | 0 |
| fusesmb | fusesmb.cache | 1203 | 32 | 2.23 | 0 | 2.23 | 0 |
| g15composer | g15composer | 1737 | 76 | 5.62 | 0 | 6.60 | 0 |
| g15macro | g15macro | 981 | 705 | 6.27 | 0 | - | - |
| g15mpd | g15mpd | 601 | 435 | 0.79 | 9 | - | - |
| g15stats | g15stats | 1683 | 1026 | 67.41 | 0 | 65.31 | 0 |
| garmin-ant-downl | gant | 1248 | 2175 | 316.99 | 0 | 508.98 | 0 |
| ghostess | ghostess | 2689 | 1571 | 175.29 | 0 | 174.00 | 2 |
| ghostess | ghostess-ghoste | 1890 | 266 | 21.99 | 0 | 22.23 | 3 |
| glfw | boing | 2785 | 1590 | 18.54 | 0 | 18.50 | 0 |
| glfw | gears | 2790 | 2177 | 28.45 | 0 | 28.51 | 0 |
| glfw | heightmap | 2902 | 1574 | 20.98 | 0 | 23.13 | 0 |
| glfw | listmodes | 2577 | 112 | 0.16 | 0 | 0.15 | 0 |
| glfw | mipmaps | 2621 | 1513 | 26.32 | 0 | 24.66 | 0 |
| glfw | mtbench | 2679 | 353 | 0.34 | 0 | 0.36 | 0 |
| glfw | mthello | 2575 | 121 | 0.14 | 0 | 0.14 | 0 |
| glfw | particles | 2991 | 2145 | 47.40 | 0 | 47.83 | 2 |
| glfw | pong3d | 2927 | 2469 | 63.59 | 0 | 66.39 | 0 |
| glfw | splitview | 2794 | 4272 | 43.76 | 0 | 44.34 | 0 |
| glfw | triangle | 2605 | 1397 | 13.54 | 0 | 13.48 | 0 |
| glfw | wave | 2738 | 2251 | 32.38 | 0 | 31.03 | 0 |
| glfw | accuracy | 2603 | 1630 | 16.27 | 0 | 16.06 | 0 |
| glfw | defaults | 2582 | 1101 | 7.91 | 0 | 7.89 | 0 |
| glfw | dynamic | 2590 | 1361 | 13.93 | 0 | 13.97 | 0 |
| glfw | fsaa | 2608 | 1530 | 17.23 | 0 | 16.84 | 0 |
| glfw | fsinput | 2624 | 1748 | 20.21 | 0 | 20.26 | 0 |
| glfw | iconify | 2631 | 3621 | 39.61 | 0 | 42.99 | 0 |
| glfw | joysticks | 2630 | 204 | 0.18 | 0 | 0.17 | 0 |
| glfw | reopen | 2634 | 1685 | 17.94 | 0 | 18.11 | 0 |
| glfw | tearing | 2602 | 1437 | 14.28 | 0 | 14.20 | 0 |
| glfw | version | 2675 | 1122 | 8.87 | 0 | 9.66 | 0 |
| gmidimonitor | gmidimonitor | 1275 | 56 | 2.10 | 0 | 2.32 | 0 |
| gnupg-pkcs11-scd | gnupg-pkcs11-sc | 1699 | 146 | 1.31 | 0 | 1.24 | 0 |
| gpe-announce | gpe-announce | 473 | 193 | 0.18 | 0 | 0.18 | 0 |
| gphoto2 | gphoto2-main.o | 1257 | 190 | 0.75 | 0 | 0.76 | 0 |
| gross | bloom | 1208 | 2901 | 15.70 | 0 | 16.14 | 0 |
| gross | msgqueue | 1261 | 197 | 0.35 | 0 | 0.38 | 0 |
| gross | sha256 | 937 | 66 | 0.06 | 0 | 0.05 | 0 |
| guacd | guacd | 420 | 10 | 0.06 | 0 | 0.05 | 0 |
| guvcview | guvcview.o | 570 | 85 | 0.22 | 0 | 0.21 | 0 |
| hotkeys | hotkeys | 1668 | 564 | 29.90 | 0 | 30.19 | 0 |
| hotkeys | hotkeys.o | 853 | 206 | 0.58 | 0 | 0.58 | 0 |
| iceweasel | dummy | 6 | 0 | 0.00 | 0 | 0.00 | 0 |
| iceweasel | dummy | 6 | 0 | 0.00 | 0 | 0.00 | 0 |
| iceweasel | dummy | 6 | 0 | 0.00 | 0 | 0.00 | 0 |
| intel-gpu-tools | gem_fence_thr | 1541 | 45 | 0.10 | 0 | 0.10 | 0 |
| intone | intone | 3343 | 375 | 15.54 | 39 | - | - |
| intone | main.o | 251 | 6 | 0.03 | 0 | 0.03 | 0 |
| ivykis | server_thread | 613 | 6 | 0.03 | 0 | 0.03 | 0 |
| ivykis | server_thread- | 402 | 6 | 0.03 | 0 | 0.02 | 0 |
| ivykis | iv_event_test | 326 | 7 | 0.02 | 0 | 0.01 | 0 |
| ivykis | iv_event_test | 540 | 7 | 0.03 | 0 | 0.02 | 0 |
| jackd2 | jack_rec | 330 | 36 | 0.02 | 0 | 0.02 | 0 |
| jack-stdio | jack-stdin | 425 | 68 | 0.04 | 0 | 0.04 | 0 |
| jack-stdio | jack-stdout | 372 | 61 | 0.03 | 0 | 0.03 | 0 |
| jack-tools | jack.dl | 1516 | 3 | 0.10 | 0 | 0.10 | 0 |
| jack-tools | jack.osc | 1599 | 78 | 5.67 | 0 | 5.71 | 0 |
| jack-tools | jack.play | 1605 | 48 | 0.13 | 0 | 0.13 | 0 |
| jack-tools | jack.plumbing | 1673 | 16 | 0.74 | 0 | 0.75 | 0 |
| jack-tools | jack.record | 1557 | 56 | 0.14 | 0 | 0.15 | 0 |
| jack-tools | jack.scope | 1684 | 104 | 41.11 | 0 | 46.29 | 0 |
| jack-tools | jack.transport | 1498 | 16 | 0.09 | 0 | 0.10 | 0 |
| jack-tools | jack.udp | 1566 | 40 | 0.15 | 0 | 0.15 | 0 |
| jalv | jalv | 987 | 48 | 0.29 | 0 | 0.29 | 0 |
| jalv | jalv.gtk | 1272 | 54 | 0.54 | 0 | 0.53 | 0 |
| kcov | kcov | 1218 | 1521 | 9.03 | 0 | 29.73 | 205 |
| libapache2-mod-q | qsfilter2 | 2006 | 203 | 218.81 | 0 | 177.39 | 0 |
| libapache2-mod-q | qsrotate | 960 | 50 | 2.60 | 0 | 2.59 | 4 |
| libasyncns | asyncns-test | 1213 | 37 | 1.04 | 0 | 1.03 | 0 |
| libatomic-ops | test_atomic | 1833 | 94 | 1.39 | 5 | 1.63 | 17 |
| libatomic-ops | test_atomic_p | 1973 | 814 | 10.78 | 0 | 12.57 | 6 |
| libatomic-ops | test_malloc | 1698 | 74 | 7.78 | 0 | 8.31 | 0 |
| libatomic-ops | test_stack | 1695 | 25 | 0.46 | 0 | 0.48 | 0 |
| libdv | dvconnect | 962 | 335 | 1.06 | 13 | - | - |
| libdv | enctest | 786 | 3 | 8.36 | 0 | 8.36 | 0 |
| libfiu | test-enable_st | 570 | 72 | 0.08 | 0 | 0.08 | 0 |
| libfiu | test-enable_st | 570 | 72 | 0.08 | 0 | 0.08 | 0 |
| libfreenect | glpclview | 2695 | 2 | 0.22 | 0 | 0.22 | 0 |
| libfreenect | regtest | 2623 | 536 | 98.41 | 0 | 102.83 | 6 |
| libfreenect | tiltdemo | 2593 | 428 | 73.74 | 0 | 67.90 | 5 |
| libgadu | httphash | 6504 | 2 | 0.60 | 0 | 0.60 | 0 |
| liblo | example_server | 2341 | 49 | 0.22 | 0 | 0.22 | 0 |
| liblo | subtest | 2343 | 74 | 2.02 | 0 | 7.92 | 0 |
| liblo | oscsend | 2469 | 28 | 0.39 | 0 | 0.37 | 0 |
| liblscp | example_server | 3598 | 395 | 66.24 | 0 | 73.05 | 0 |
| libmemcached | memcached | 5216 | 1050 | 36.90 | 1 | - | - |
| libocas | msvmocas | 2132 | 994 | 17.29 | 0 | 18.02 | 0 |
| libpthread-workq | test-libpthread | 653 | 1252 | 6.31 | 0 | 4.37 | 0 |
| libqb | tcpclient | 6165 | 4 | 0.35 | 0 | 0.34 | 0 |
| libraw | half_mt | 336 | 25 | 0.03 | 0 | 0.04 | 2 |
| librdmacm | mckey | 1946 | 1993 | 43.68 | 0 | 51.70 | 0 |
| libshout | example | 3308 | 130 | 58.55 | 0 | 58.65 | 0 |
| libshout | nonblocking | 3323 | 226 | 139.59 | 0 | 137.56 | 0 |
| libspf2 | spfd.o | 896 | 62 | 3.08 | 0 | 3.09 | 0 |
| libsysactivity | cpu | 1142 | 25 | 0.13 | 0 | 0.12 | 0 |
| libsysactivity | disk | 1146 | 30 | 0.21 | 0 | 0.21 | 0 |
| libsysactivity | memory | 1103 | 25 | 0.35 | 0 | 0.35 | 0 |
| libsysactivity | network | 1146 | 18 | 0.23 | 0 | 0.24 | 0 |
| libsysactivity | process | 1168 | 37 | 1.22 | 0 | 1.20 | 0 |
| libsysactivity | swap | 1119 | 23 | 0.13 | 0 | 0.13 | 0 |
| liburcu | test_urcu_wfq | 498 | 85 | 0.15 | 2 | 0.16 | 5 |
| liburcu | test_urcu_wfs | 498 | 85 | 0.13 | 4 | 0.13 | 7 |
| liburcu | test_urcu_wfq | 396 | 85 | 0.23 | 4 | 0.24 | 7 |
| liburcu | test_urcu_wfs | 415 | 85 | 0.12 | 2 | 0.12 | 5 |
| libvncserver | storepasswd | 12087 | 26 | 1.19 | 0 | 1.16 | 0 |
| libxcrypt | blowfish-test | 1332 | 14 | 0.13 | 0 | 0.13 | 0 |
| lingot | lingot | 2894 | 181 | 5.65 | 0 | 5.71 | 20 |
| lksctp-tools | test_1_to_1 | 713 | 97 | 0.06 | 0 | 0.07 | 0 |
| logapp | logapp | 1780 | 1214 | 293.51 | 49 | - | - |
| ltt-control | lttd | 775 | 25 | 0.70 | 0 | 0.50 | 0 |
| mafft | dndpre | 7133 | 334 | 16.77 | 0 | 16.71 | 0 |
| mafft | mccaskillwrap | 7248 | 336 | 17.36 | 0 | 17.52 | 0 |
| memcached | memcached-debug | 5234 | 1045 | 47.48 | 21 | - | - |
| memcached | memcached | 5212 | 1036 | 38.19 | 18 | - | - |
| memcached | testapp | 1603 | 557 | 31.67 | 0 | 31.80 | 2 |
| mesa-demos | glthreads | 509 | 107 | 0.13 | 0 | 0.13 | 2 |
| mesa-demos | sharedtex_mt | 416 | 92 | 0.05 | 0 | 0.04 | 0 |
| meterec | meterec | 1561 | 1356 | 111.40 | 3 | - | - |
| microcom | microcom | 1569 | 549 | 22.45 | 0 | 22.76 | 0 |
| minidlna | minidlna.o | 771 | 149 | 0.65 | 0 | 0.64 | 0 |
| miredo | miredo-privproc | 1917 | 7 | 0.12 | 0 | 0.11 | 0 |
| miredo | miredo-server | 1703 | 235 | 17.03 | 0 | 15.77 | 0 |
| miredo | relayd.o | 726 | 7 | 0.04 | 0 | 0.04 | 0 |
| mktorrent | mktorrent | 822 | 43 | 0.23 | 0 | 0.23 | 0 |
| mldonkey | svg_converter. | 1746 | 2 | 0.66 | 0 | 0.65 | 0 |
| mmpong | mmpongd | 1851 | 3013 | 313.76 | 1 | - | - |
| mozjs | dummy | 6 | 0 | 0.01 | 0 | 0.00 | 0 |
| mutextrace | 24262-lt-two_t | 201 | 4 | 0.01 | 0 | 0.01 | 0 |
| mutextrace | two_threads_o | 201 | 4 | 0.01 | 0 | 0.01 | 0 |
| mxallowd | mxallowd | 558 | 85 | 0.09 | 0 | 0.09 | 0 |
| n2n | supernode | 1645 | 526 | 6.79 | 0 | 20.84 | 0 |
| netsniff-ng | flowtop | 2309 | 83 | 2.46 | 0 | 2.34 | 0 |
| ngorca | ngorca | 703 | 158 | 0.48 | 0 | 0.49 | 0 |
| nis | ypbind-mt.o | 658 | 161 | 7.83 | 0 | 4.95 | 10 |
| nis | ypserv_test | 507 | 274 | 0.47 | 0 | 0.47 | 0 |
| nis | ypserv_test.o | 502 | 274 | 0.44 | 0 | 0.45 | 0 |
| npth | 22306-lt-t-mute | 436 | 5 | 0.02 | 0 | 0.02 | 0 |
| npth | t-mutex | 436 | 5 | 0.03 | 0 | 0.02 | 0 |
| nspr | dummy | 6 | 0 | 0.00 | 0 | 0.00 | 0 |
| nss-pam-ldapd | nslcd.o | 923 | 45 | 0.29 | 0 | 0.29 | 0 |
| nss-pam-ldapd | test_tio | 868 | 114 | 2.32 | 0 | 2.34 | 0 |
| ocamlnet | netplex-admin | 3208 | 2 | 0.83 | 0 | 0.83 | 0 |
| ocamlnet | ocamlrpcgen | 3368 | 2 | 0.70 | 0 | 0.71 | 0 |
| openais | testlck | 954 | 7722 | 402.27 | 0 | 438.92 | 0 |
| openais | testtmr | 707 | 333 | 1.70 | 0 | 1.70 | 0 |
| opendnssec | ods-hsmspeed | 2003 | 39 | 7.63 | 0 | 7.65 | 0 |
| opendnssec | ods-hsmspeed | 2003 | 39 | 7.59 | 0 | 7.65 | 0 |
| openscap | probe_dnscache | 2293 | 484 | 9.42 | 0 | 10.24 | 0 |
| openscap | probe_family | 2293 | 484 | 9.52 | 0 | 10.51 | 0 |
| openscap | probe_file | 2466 | 667 | 14.76 | 0 | 15.96 | 0 |
| openscap | probe_ldap57 | 2468 | 628 | 42.23 | 0 | 44.28 | 0 |
| openscap | probe_routingt | 2294 | 412 | 6.46 | 0 | 6.97 | 0 |
| openscap | probe_system_ | 2351 | 520 | 12.91 | 0 | 14.56 | 0 |
| openscap | probe_uname | 2293 | 484 | 9.29 | 0 | 10.08 | 0 |
| openscap | probe_variable | 2298 | 484 | 9.41 | 0 | 10.45 | 0 |
| openscap | probe_dnscache | 2293 | 484 | 10.34 | 0 | 10.53 | 0 |
| openscap | probe_family | 2293 | 484 | 9.58 | 0 | 10.53 | 0 |
| openscap | probe_file | 2466 | 667 | 15.02 | 0 | 17.41 | 0 |
| openscap | probe_ldap57 | 2468 | 628 | 42.57 | 0 | 46.65 | 0 |
| openscap | probe_routingt | 2294 | 412 | 6.45 | 0 | 7.11 | 0 |
| openscap | probe_system_ | 2351 | 520 | 12.92 | 0 | 14.21 | 0 |
| openscap | probe_uname | 2293 | 484 | 9.47 | 0 | 10.56 | 0 |
| openscap | probe_variable | 2298 | 484 | 9.54 | 0 | 10.58 | 0 |
| parprouted | parprouted | 668 | 871 | 5.82 | 6 | - | - |
| partclone | partclone.chkim | 1203 | 654 | 1.79 | 0 | 1.62 | 0 |
| partclone | partclone.dd | 1131 | 758 | 3.28 | 0 | 3.30 | 0 |
| partclone | partclone.extfs | 1746 | 2315 | 26.87 | 0 | 26.94 | 0 |
| partclone | partclone.fat | 1725 | 3137 | 49.92 | 0 | 48.35 | 0 |
| partclone | partclone.hfsp | 1554 | 2720 | 30.11 | 0 | 30.38 | 0 |
| partclone | partclone.ntfs | 1571 | 2639 | 30.31 | 0 | 30.51 | 0 |
| partclone | partclone.reise | 1496 | 2132 | 21.93 | 0 | 21.92 | 0 |
| partclone | partclone.resto | 1264 | 1200 | 8.72 | 0 | 8.76 | 0 |
| pidentd | identd | 1510 | 1886 | 70.35 | 0 | 82.58 | 24 |
| pnp4nagios | npcd | 749 | 686 | 20.54 | 80 | 543.97 | 135 |
| pnscan | pnscan | 898 | 373 | 6.53 | 20 | - | - |
| portmidi | mm | 1646 | 1527 | 72.07 | 0 | 79.52 | 9 |
| portmidi | qtest | 1427 | 0 | 0.10 | 0 | 0.10 | 0 |
| portmidi | test | 1563 | 9989 | - | - | 575.53 | 0 |
| privbind | testbind | 239 | 56 | 0.02 | 2 | 0.02 | 6 |
| proxsmtp | proxsmtpd | 2024 | 3134 | 211.46 | 0 | 204.27 | 13 |
| ptunnel | ptunnel | 1249 | 1866 | 115.38 | 6 | 485.18 | 57 |
| radsecproxy | t_fticks | 5834 | 2 | 0.39 | 0 | 0.39 | 0 |
| redhat-cluster | mkqdisk | 1466 | 3028 | 29.97 | 0 | - | - |
| redhat-cluster | dlm_tool | 1829 | 244 | 5.41 | 0 | 5.25 | 0 |
| redhat-cluster | fence_xvmd | 3860 | 3718 | 345.83 | 4 | - | - |
| redhat-cluster | fence_node | 2789 | 329 | 80.15 | 1 | 80.24 | 10 |
| redhat-cluster | main.o | 1086 | 2206 | 115.07 | 27 | - | - |
| redhat-cluster | main-pcmk.o | 1086 | 2206 | 113.95 | 27 | - | - |
| redhat-cluster | clubufflush | 4200 | 2 | 0.22 | 0 | 0.21 | 0 |
| redhat-cluster | clufindhostname | 4202 | 2 | 0.22 | 0 | 0.21 | 0 |
| redhat-cluster | clulog | 5426 | 1501 | 362.44 | 12 | 358.05 | 92 |
| rng-tools | rngd | 1054 | 988 | 8.71 | 8 | - | - |
| rss-glx | matrixview | 876 | 314 | 0.68 | 0 | 0.68 | 0 |
| rtkit | rtkit-daemon | 2008 | 207 | 2.75 | 0 | 2.63 | 0 |
| rtpproxy | rtpproxy | 2793 | 5376 | 494.11 | 0 | 497.32 | 0 |
| sary | cache-test | 1416 | 26 | 2.27 | 0 | 2.28 | 0 |
| sary | cat-test2 | 1398 | 6 | 0.23 | 0 | 0.23 | 0 |
| sary | cat-test | 1396 | 6 | 0.23 | 0 | 0.23 | 0 |
| sary | isearch-test | 1401 | 10 | 0.62 | 0 | 0.62 | 0 |
| sary | multi-test | 1417 | 10 | 0.81 | 0 | 0.80 | 0 |
| sary | repeated-test | 1396 | 24 | 1.63 | 0 | 1.64 | 0 |
| sary | sary | 1566 | 1850 | 418.83 | 0 | 455.44 | 0 |
| sary | search-benchmar | 1450 | 208 | 61.39 | 0 | 62.26 | 0 |
| see | seetxt | 2626 | 846 | 60.30 | 11 | 355.01 | 70 |
| signing-party | keyanalyze | 699 | 112 | 0.39 | 0 | 0.39 | 4 |
| sleepd | sleepd | 921 | 226 | 1.28 | 0 | 1.28 | 0 |
| slurm-drmaa | hpc-bash | 3867 | 4 | 0.28 | 0 | 0.28 | 0 |
| sndfile-tools | sndfile-jackpla | 269 | 22 | 0.02 | 0 | 0.01 | 0 |
| soundmodem | soundmodemconfi | 7724 | 32 | 0.81 | 0 | 0.80 | 0 |
| spectools | spectool_gtk | 5660 | 10 | 0.60 | 0 | 0.54 | 0 |
| sshguard | sshguard | 2920 | 5119 | 515.10 | 0 | - | - |
| starpu-contrib | mpi_cholesky_ | 763 | 216 | 1.01 | 0 | 1.03 | 10 |
| starpu-contrib | mpi_cholesky | 820 | 255 | 1.25 | 0 | 1.27 | 10 |
| starpu-contrib | plu_example_d | 1399 | 383 | 4.88 | 0 | 4.44 | 8 |
| starpu-contrib | plu_example_f | 1399 | 383 | 4.56 | 0 | 4.53 | 8 |
| starpu-contrib | mpi_reduction | 577 | 128 | 0.30 | 0 | 0.40 | 6 |
| starpu-contrib | mpi_scatter_g | 578 | 128 | 0.29 | 0 | 0.30 | 6 |
| starpu-contrib | stencil5 | 564 | 132 | 0.36 | 0 | 0.37 | 6 |
| starpu-contrib | block_interfac | 570 | 224 | 0.83 | 0 | 0.87 | 8 |
| starpu-contrib | block_interfac | 568 | 224 | 0.81 | 0 | 0.84 | 8 |
| starpu-contrib | insert_task_b | 565 | 128 | 0.30 | 0 | 0.30 | 6 |
| starpu-contrib | insert_task_c | 551 | 128 | 0.28 | 0 | 0.28 | 6 |
| starpu-contrib | insert_task | 551 | 128 | 0.28 | 0 | 0.28 | 6 |
| starpu-contrib | insert_task_o | 556 | 128 | 0.27 | 0 | 0.29 | 6 |
| starpu-contrib | insert_task_o | 547 | 128 | 0.27 | 0 | 0.28 | 6 |
| starpu-contrib | insert_task_o | 567 | 134 | 0.28 | 0 | 0.29 | 6 |
| starpu-contrib | mpi_detached_ | 533 | 129 | 0.27 | 0 | 0.30 | 6 |
| starpu-contrib | mpi_irecv_det | 544 | 171 | 0.46 | 0 | 0.73 | 8 |
| starpu-contrib | mpi_irecv | 534 | 177 | 0.50 | 0 | 0.51 | 8 |
| starpu-contrib | mpi_isend_det | 546 | 171 | 0.48 | 0 | 0.49 | 8 |
| starpu-contrib | mpi_isend | 536 | 177 | 0.49 | 0 | 0.50 | 8 |
| starpu-contrib | mpi_test | 537 | 155 | 0.41 | 0 | 0.43 | 8 |
| starpu-contrib | multiple_send | 549 | 168 | 0.49 | 0 | 0.51 | 8 |
| starpu-contrib | pingpong | 532 | 177 | 0.49 | 0 | 0.50 | 8 |
| starpu-contrib | ring_async | 559 | 179 | 0.52 | 0 | 0.56 | 8 |
| starpu-contrib | ring_async_im | 548 | 139 | 0.33 | 0 | 0.34 | 8 |
| starpu | stencil | 1313 | 273 | 3.22 | 0 | 3.28 | 8 |
| starpu | mpi_cholesky_ | 983 | 216 | 1.54 | 0 | 1.59 | 10 |
| starpu | mpi_cholesky | 1040 | 255 | 1.94 | 0 | 1.80 | 10 |
| starpu | plu_example_d | 1602 | 401 | 6.27 | 0 | 6.31 | 8 |
| starpu | plu_example_f | 1602 | 401 | 6.27 | 0 | 6.31 | 8 |
| starpu | mpi_reduction | 827 | 128 | 0.44 | 0 | 0.45 | 6 |
| starpu | mpi_scatter_g | 828 | 128 | 0.46 | 0 | 0.46 | 6 |
| starpu | stencil5 | 814 | 132 | 0.55 | 0 | 0.52 | 6 |
| starpu | block_interfac | 820 | 224 | 1.28 | 0 | 1.39 | 8 |
| starpu | block_interfac | 818 | 224 | 1.29 | 0 | 1.34 | 8 |
| starpu | insert_task_b | 815 | 128 | 0.47 | 0 | 0.47 | 6 |
| starpu | insert_task_c | 801 | 128 | 0.45 | 0 | 0.46 | 6 |
| starpu | insert_task | 801 | 128 | 0.44 | 0 | 0.45 | 6 |
| starpu | insert_task_o | 806 | 128 | 0.44 | 0 | 0.45 | 6 |
| starpu | insert_task_o | 797 | 128 | 0.43 | 0 | 0.44 | 6 |
| starpu | insert_task_o | 817 | 134 | 0.44 | 0 | 0.45 | 6 |
| starpu | mpi_detached_ | 783 | 129 | 0.44 | 0 | 0.44 | 6 |
| starpu | mpi_irecv_det | 794 | 171 | 0.79 | 0 | 0.81 | 8 |
| starpu | mpi_irecv | 784 | 177 | 0.79 | 0 | 0.81 | 8 |
| starpu | mpi_isend_det | 796 | 171 | 0.83 | 0 | 0.78 | 8 |
| starpu | mpi_isend | 786 | 177 | 0.78 | 0 | 0.80 | 8 |
| starpu | mpi_test | 787 | 155 | 0.70 | 0 | 0.65 | 8 |
| starpu | multiple_send | 799 | 168 | 0.77 | 0 | 0.80 | 8 |
| starpu | pingpong | 782 | 177 | 0.79 | 0 | 0.81 | 8 |
| starpu | ring_async | 809 | 179 | 0.84 | 0 | 0.87 | 8 |
| starpu | ring_async_im | 798 | 139 | 0.51 | 0 | 0.53 | 8 |
| starpu | ring | 803 | 179 | 0.86 | 0 | 0.87 | 8 |
| streamripper | streamripper | 5939 | 1084 | 11.51 | 0 | 11.19 | 0 |
| sucrack | sucrack | 762 | 160 | 0.81 | 6 | 1.09 | 20 |
| taningia | log | 2812 | 72 | 39.42 | 0 | 39.85 | 0 |
| timemachine | main.o | 514 | 44 | 0.07 | 0 | 0.07 | 0 |
| timemachine | timemachine | 1336 | 128 | 0.62 | 1 | 0.64 | 15 |
| tiobench | tiotest | 902 | 318 | 1.24 | 0 | 1.31 | 9 |
| transcode | tcdemux | 7948 | 3970 | 426.80 | 0 | - | - |
| twclock | twclock | 990 | 209 | 0.21 | 0 | 12.05 | 7 |
| udpcast | udp-receiver | 2072 | 908 | 63.90 | 0 | 168.50 | 0 |
| udpcast | udp-sender | 2447 | 1766 | 253.07 | 10 | - | - |
| usbmuxd | iproxy | 921 | 257 | 26.57 | 0 | 30.60 | 0 |
| valgrind | vgdb | 1542 | 1120 | 60.31 | 16 | - | - |
| varnish | varnishreplay | 2796 | 551 | 35.61 | 0 | 36.17 | 0 |
| varnish | varnishtop | 2317 | 67 | 7.15 | 0 | 7.15 | 0 |
| w3cam | w3camd | 734 | 149 | 2.94 | 0 | 2.97 | 0 |
| weborf | weborf | 2097 | 597 | 230.21 | 16 | 249.84 | 66 |
| wmaloader | wmaloader | 379 | 65 | 0.05 | 0 | 0.05 | 0 |
| wysihtml | wysidocbookdaem | 221 | 14 | 0.02 | 0 | 0.01 | 0 |
| wysihtml | wysihtmldaemon | 188 | 11 | 0.02 | 0 | 0.01 | 0 |
| xine-ui | fbxine | 1718 | 1616 | 84.63 | 1 | - | - |
| xine-ui | xine-remote | 1065 | 260 | 3.70 | 0 | 3.80 | 0 |
| xjadeo | xjremote | 412 | 82 | 0.08 | 0 | 0.08 | 6 |
| xmms2-scrobbler | xmms2-scrobbler | 832 | 149 | 12.12 | 0 | 12.01 | 0 |
| xnbd | xnbd-bgctl | 2876 | 103 | 1.22 | 0 | 1.20 | 0 |
| xnbd | xnbd-cachestatd | 2682 | 2 | 0.16 | 0 | 0.16 | 0 |
| xnbd | xnbd-client | 2976 | 83 | 0.64 | 0 | 0.62 | 0 |
| xnbd | xnbd-server | 3146 | 727 | 152.14 | 0 | 154.58 | 0 |
| xnbd | xnbd-tester | 2991 | 302 | 19.16 | 0 | 18.94 | 0 |
| xnbd | xnbd-watchdog | 2800 | 10 | 0.17 | 0 | 0.17 | 0 |
| xnbd | xnbd-wrapper | 3030 | 89 | 3.28 | 0 | 3.19 | 0 |
| zfs-fuse | umem_test3 | 4920 | 0 | 0.26 | 0 | 0.26 | 0 |
| zfs-fuse | umem_test | 3151 | 3 | 0.17 | 0 | 0.16 | 0 |
| |
| Table 2: Programs on which musketeer timed out (timeout 10m). |
|
Package | Binary | LoC | Nodes |
| |
| a2jmidid | a2jmidid | 1527 | 1868 |
| apf | afclient | 5035 | - |
| apf | afserver | 6763 | - |
| apr | echod | 8531 | - |
| apr | globalmutexchil | 8490 | - |
| apr | occhild | 8478 | - |
| apr | readchild | 8483 | - |
| apr | sendfile | 8928 | - |
| apr | sockchild | 8507 | - |
| apr | sockperf | 8584 | - |
| apr | testall | 14012 | - |
| apr | testlockperf | 8618 | - |
| apr | testmutexscope | 8549 | - |
| apr | testshmconsumer | 8497 | - |
| apr | testshmproducer | 8489 | - |
| apr | tryread | 8479 | - |
| autodir | autodir | 2629 | - |
| autofs | automount | 12740 | - |
| babl | concurrency-str | 4663 | - |
| bam | bam | 2531 | - |
| batmand | batmand | 4472 | - |
| bfbtester | bfbtester | 1135 | 5760 |
| blcr | child | 1939 | 4389 |
| blcr | cloexec | 1889 | 979 |
| blcr | critical_secti | 1912 | 537 |
| blcr | cr_signal | 1942 | 1825 |
| blcr | cr_tryenter_c | 1893 | 1556 |
| blcr | cs_enter_leav | 1889 | 975 |
| blcr | cs_enter_leav | 1889 | 1556 |
| blcr | cwd | 1896 | 910 |
| blcr | dev_null | 1926 | 1761 |
| blcr | dpipe | 1873 | 1393 |
| blcr | dup | 1994 | 1054 |
| blcr | failed_cb2 | 2030 | 4290 |
| blcr | failed_cb | 2013 | 3589 |
| blcr | filedescriptors | 2246 | 4494 |
| blcr | forward | 2172 | - |
| blcr | get_info | 1912 | - |
| blcr | hooks | 1978 | 8064 |
| blcr | hugetlbfs | 2028 | 2989 |
| blcr | lam | 1864 | 6054 |
| blcr | linked_fifo | 2150 | 3547 |
| blcr | math | 1870 | 6357 |
| blcr | mmaps | 2049 | 11040 |
| blcr | named_fifo | 2108 | 3547 |
| blcr | nscd | 1862 | 933 |
| blcr | orphan | 1893 | 1715 |
| blcr | overlap | 1881 | 6111 |
| blcr | pid_in_use | 1970 | 1682 |
| blcr | pipe | 2244 | - |
| blcr | prctl | 1956 | 1370 |
| blcr | readdir | 1894 | 1347 |
| blcr | replace_cb | 1973 | 1656 |
| blcr | sigaltstack | 1910 | 7787 |
| blcr | sigpending | 1931 | 1882 |
| blcr | simple | 1877 | 1025 |
| blcr | simple_pthread | 1940 | 4954 |
| blcr | stage0001 | 1955 | 737 |
| blcr | stage0002 | 1921 | 1042 |
| blcr | stage0003 | 1931 | 1362 |
| blcr | stage0004 | 2005 | 971 |
| blcr | stopped | 1994 | 6168 |
| btrfs-tools | btrfs | 13044 | - |
| btrfs-tools | btrfs-image | 11062 | - |
| btscanner | btscanner | 3039 | - |
| bwa | bwa | 8049 | - |
| cacti-spine | spine | 3731 | - |
| c-icap | c-icap | 8440 | - |
| c-icap | c-icap-stretch | 5109 | - |
| citadel | citadel | 8635 | 41650 |
| clamav | clamav-milter | 5777 | - |
| cmus | cmus | 14618 | - |
| cntlm | cntlm | 3883 | - |
| collectd | collectd | 6228 | - |
| conky | conky | 10552 | - |
| crossfire-client | crossfire-clien | 11850 | - |
| cwiid | wmdemo | 1315 | 2548 |
| cwiid | wminput | 3278 | - |
| daemon | list | 9431 | - |
| daemon | map | 9299 | - |
| dapl | dapltest | 8178 | - |
| dc3dd | dc3dd.o | 2188 | - |
| diod | diod | 10118 | - |
| diod | tsuppgrp | 7432 | - |
| diod | tcap | 8764 | - |
| diod | tconf | 8686 | - |
| diod | tfcntl | 8781 | - |
| diod | tfidpool | 8546 | - |
| diod | tlist | 8660 | - |
| diod | tnpsrv2 | 10012 | - |
| diod | tnpsrv3 | 10001 | - |
| diod | tnpsrv | 8673 | - |
| diod | topt | 8655 | - |
| diod | tserialize | 9314 | - |
| diod | tsetfsuid | 8735 | - |
| diod | tsetuid | 8711 | - |
| diod | tsuppgrp | 8722 | - |
| diod | tattach | 8536 | - |
| diod | tattachmt | 8581 | - |
| diod | tflush | 8598 | - |
| diod | tmkdir | 8551 | - |
| diod | tread | 8546 | - |
| diod | tstat | 8553 | - |
| diod | twrite | 8546 | - |
| diod | diodcat | 8746 | - |
| diod | diodload | 8764 | - |
| diod | diodls | 8799 | - |
| diod | diodmount | 8914 | - |
| diod | diodshowmount | 8716 | - |
| diod | dtop | 9183 | - |
| djmount | test_upnp | 3659 | - |
| doodle | doodled | 2938 | - |
| dspam | dspam | 9027 | - |
| duma | testmt | 1120 | - |
| dvbstreamer | dvbstreamer | 8692 | - |
| ebview | ebview | 13090 | - |
| ecore | ecore_test | 6175 | - |
| ecore | 24432-lt-ecore | 13671 | - |
| ecore | ecore_suite | 13671 | - |
| eegdev | recinxdf | 3068 | 386 |
| eflite | eflite | 1324 | 16384 |
| etherape | etherape | 6597 | - |
| fcitx | fcitx | 5778 | - |
| fcitx | testmessage | 5739 | - |
| fio | fio | 12375 | - |
| flam3 | flam3-animate | 10534 | - |
| flam3 | flam3-convert | 10487 | - |
| flam3 | flam3-genome | 10977 | - |
| flam3 | flam3-render | 10565 | - |
| flvstreamer | streams | 2989 | - |
| fprobe | fprobe | 1321 | 572 |
| freecell-solver | freecell-solver | 6358 | - |
| freepops | freepopsd | 4294 | - |
| fsarchiver | fsarchiver | 6930 | - |
| fuse | cusexmp | 6805 | - |
| fuse | fioc | 6760 | - |
| fuse | fsel | 6803 | - |
| fuse | fusexmp_fh | 7187 | - |
| fuse | fusexmp | 6840 | - |
| fuse | hello | 6706 | - |
| fuse | hello_ll | 6750 | - |
| fuse | null | 6701 | - |
| fusesmb | fusesmb | 1531 | - |
| g15daemon | g15daemon | 1209 | 11800 |
| g15macro | g15macro | 981 | 705 |
| g15mpd | g15mpd | 601 | 435 |
| gesftpserver | gesftpserver | 2801 | - |
| gesftpserver | sftpclient | 4465 | - |
| getstream | getstream | 2403 | 327 |
| gfarm | gfmd | 14340 | - |
| gftp | gftp-gtk | 14135 | - |
| glfw | events | 2741 | 11450 |
| glfw | peter | 2611 | 27397 |
| gnoemoe | gnoemoe | 12674 | - |
| gogoc | gogoc | 5244 | - |
| gpgme1.0 | t-thread1 | 11029 | - |
| gphoto2 | gphoto2 | 3972 | - |
| gpsd | gpsd | 2523 | 2702 |
| gross | grossd | 3851 | - |
| gsoap | mtom-stream | 10392 | - |
| gsoap | handler | 9214 | - |
| gsoap | router | 9598 | - |
| gsoap | sslserver | 10399 | - |
| gurlchecker | gurlchecker | 9625 | - |
| guvcview | guvcview | 10471 | - |
| gweled | gweled | 2881 | 1221 |
| gxine | gxine | 12086 | - |
| hlbr | hlbr | 6744 | - |
| hplip | hp | 4838 | - |
| hplip | hp-mkuri | 4792 | - |
| hplip | ptest | 5098 | - |
| httrack | proxytrack | 4905 | - |
| hunt | hunt | 6489 | - |
| icecast2 | icecast | 10702 | - |
| ices2 | ices | 3812 | - |
| iftop | iftop | 2444 | - |
| intone | intone | 3343 | 375 |
| ippl | ippl | 2009 | 3495 |
| isns | isnsadm | 3595 | - |
| isns | isnsc | 3579 | - |
| isns | isnsd | 8762 | - |
| jack-audio-conne | jack_rec | 3602 | - |
| jack-capture | jack_capture | 1757 | - |
| jackd2 | jackdbus | 3389 | - |
| jack-rack | jack-rack | 4055 | - |
| jigit | demo | 2185 | 1907 |
| lebiniou | lebiniou | 5553 | - |
| libapache2-mod-q | qslog | 1639 | 743 |
| libburn | dewav | 12764 | - |
| libburn | libburner | 13076 | - |
| libburn | offst_source | 12740 | - |
| libburn | poll | 12715 | - |
| libburn | structest | 12704 | - |
| libburn | telltoc | 13175 | - |
| libdc1394-22 | basler_sff_ex | 7210 | - |
| libdc1394-22 | basler_sff_in | 7131 | - |
| libdc1394-22 | dc1394_reset_ | 7093 | - |
| libdc1394-22 | grab_color_im | 7215 | - |
| libdc1394-22 | grab_color_im | 7123 | - |
| libdc1394-22 | grab_gray_ima | 7151 | - |
| libdc1394-22 | grab_partial_ | 7144 | - |
| libdc1394-22 | grab_partial_ | 7129 | - |
| libdc1394-22 | helloworld | 7098 | - |
| libdc1394-22 | ladybug | 7133 | - |
| libdv | dvconnect | 962 | 335 |
| libepsilon | epsilon | 4113 | - |
| libfcgi | threaded | 1826 | 1224 |
| libfreenect | glview | 1703 | 21825 |
| libfreenect | hiview | 1729 | 21848 |
| libfreenect | regview | 1668 | 15393 |
| libgadu | conn-async | 6510 | - |
| libgadu | register-async | 6513 | - |
| libgadu | register-sync | 6480 | - |
| libgadu | remind-async | 6513 | - |
| libgadu | remind-sync | 6480 | - |
| libgadu | send | 6500 | - |
| libgadu | status | 6485 | - |
| libgadu | token-async | 6520 | - |
| libgadu | token-sync | 6487 | - |
| libgc | 16544-lt-gctest | 7130 | - |
| libgc | 17093-lt-leakte | 6554 | - |
| libgc | 17409-lt-middle | 6548 | - |
| libgc | 17745-lt-smasht | 6547 | - |
| libgc | 18063-lt-hugete | 6555 | - |
| libgc | 18402-lt-thread | 6562 | - |
| libgc | gctest | 7130 | - |
| libgc | hugetest | 6555 | - |
| libgc | leaktest | 6554 | - |
| libgc | middletest | 6548 | - |
| libgc | smashtest | 6547 | - |
| libgc | threadleaktest | 6562 | - |
| libhdhomerun | hdhomerun_conf | 3093 | - |
| liblo | example_client | 2325 | 142 |
| liblo | nonblocking_se | 2374 | 484 |
| liblo | testlo | 3009 | - |
| liblo | oscdump | 2336 | 252 |
| liblscp | example_client | 3254 | - |
| libmemcached | memcached | 5216 | 1050 |
| libmicrohttpd | authorization_ | 3998 | - |
| libmicrohttpd | digest_auth_e | 4021 | - |
| libmicrohttpd | dual_stack_ex | 3989 | - |
| libmicrohttpd | fileserver_exa | 4034 | - |
| libmicrohttpd | fileserver_exa | 4030 | - |
| libmicrohttpd | fileserver_exa | 4006 | - |
| libmicrohttpd | https_fileserv | 4012 | - |
| libmicrohttpd | minimal_exampl | 3992 | - |
| libmicrohttpd | minimal_exampl | 3987 | - |
| libmicrohttpd | post_example | 4177 | - |
| libmicrohttpd | querystring_ex | 3997 | - |
| libmicrohttpd | refuse_post_e | 3993 | - |
| libocas | svmocas | 2221 | 5561 |
| libomxil-bellagi | omxregister-bel | 4486 | - |
| libomxil-bellagi | omxaudiomixerte | 4588 | - |
| libomxil-bellagi | omxvolcontrolte | 4484 | - |
| libomxil-bellagi | omxprioritytest | 4398 | - |
| libomxil-bellagi | omxrmtest | 4399 | - |
| libopenusb | testopenusb | 4261 | - |
| libplayer | libplayer-test | 8542 | - |
| libplayer | libplayer-testv | 7908 | - |
| libpthread-workq | test-libpthread | 781 | 5267 |
| libpthread-workq | latency | 790 | 2152 |
| libqb | ipcclient | 6160 | - |
| libqb | mapnotify | 6274 | - |
| libqb | simplelog | 6276 | - |
| libqb | tcpserver | 6195 | - |
| libqb | bench-log | 6168 | - |
| libqb | bmc | 6248 | - |
| libqb | bmcpt | 6206 | - |
| libqb | bms | 6273 | - |
| libqb | loop | 6193 | - |
| libqb | rbreader | 6149 | - |
| libqb | rbwriter | 6191 | - |
| librdmacm | rping | 2312 | 6972 |
| libspf2 | spfd | 5379 | - |
| libspf2 | spfd_static | 5379 | - |
| liburcu | rcutorture_urc | 1529 | - |
| liburcu | rcutorture_urc | 1443 | 4096 |
| liburcu | rcutorture_urc | 1452 | - |
| liburcu | rcutorture_urc | 1478 | 4096 |
| liburcu | test_urcu_lfq | 1483 | - |
| liburcu | test_urcu_lfs | 1479 | 3823 |
| liburcu | rcutorture_urc | 1346 | 4096 |
| liburcu | test_mutex | 1146 | 594 |
| liburcu | test_perthread | 1152 | 615 |
| liburcu | test_perthread | 1042 | 320 |
| liburcu | test_rwlock | 1140 | 530 |
| liburcu | test_rwlock_t | 1032 | 258 |
| liburcu | test_urcu_ass | 1168 | 940 |
| liburcu | test_urcu_ass | 1192 | 940 |
| liburcu | test_urcu_bp | 1264 | 868 |
| liburcu | test_urcu_bp | 1301 | 868 |
| liburcu | test_urcu_def | 1208 | 3019 |
| liburcu | test_urcu_dyn | 1169 | 990 |
| liburcu | test_urcu | 1216 | 990 |
| liburcu | test_urcu_gc | 1229 | 931 |
| liburcu | test_urcu_lfq | 1284 | 5266 |
| liburcu | test_urcu_lfs | 1237 | 3823 |
| liburcu | test_urcu_lgc | 1203 | 921 |
| liburcu | test_urcu_mb | 1216 | 990 |
| liburcu | test_urcu_mb | 1229 | 931 |
| liburcu | test_urcu_mb | 1203 | 921 |
| liburcu | test_urcu_qsb | 1180 | 994 |
| liburcu | test_urcu_qsb | 1221 | 994 |
| liburcu | test_urcu_qsb | 1235 | 902 |
| liburcu | test_urcu_qsb | 1209 | 892 |
| liburcu | test_urcu_qsb | 1112 | 552 |
| liburcu | test_urcu_sig | 1206 | 1056 |
| liburcu | test_urcu_sig | 1252 | 1056 |
| liburcu | test_urcu_sig | 1265 | 957 |
| liburcu | test_urcu_sig | 1239 | 947 |
| liburcu | test_urcu_sig | 1144 | 604 |
| liburcu | test_urcu_sig | 1262 | 1070 |
| liburcu | test_urcu_tim | 1108 | 578 |
| liburcu | test_urcu_yie | 1226 | 1004 |
| libusbx | dpfp_threaded | 3876 | - |
| libva | putsurface | 2896 | 1245 |
| libvalhalla | libvalhalla-tes | 6585 | - |
| libvncserver | backchannel | 12125 | - |
| libvncserver | blooptest | 12211 | - |
| libvncserver | camera | 12124 | - |
| libvncserver | colourmaptest | 12097 | - |
| libvncserver | example | 12209 | - |
| libvncserver | filetransfer | 12083 | - |
| libvncserver | fontsel | 12119 | - |
| libvncserver | pnmshow24 | 12120 | - |
| libvncserver | pnmshow | 12150 | - |
| libvncserver | regiontest | 12358 | - |
| libvncserver | rotate | 12408 | - |
| libvncserver | simple15 | 12088 | - |
| libvncserver | simple | 12082 | - |
| libvncserver | vncev | 12158 | - |
| libvncserver | zippy | 12178 | - |
| libvncserver | example | 12411 | - |
| libvncserver | linuxvnc | 12493 | - |
| libvncserver | vncommand | 12461 | - |
| linuxtv-dvb-apps | test-app | 6086 | - |
| linuxtv-dvb-apps | test-session | 5708 | - |
| linuxtv-dvb-apps | test-transport | 5695 | - |
| linuxtv-dvb-apps | gnutv | 7597 | - |
| linuxtv-dvb-apps | zap | 7103 | - |
| liquidwar | liquidwar | 10425 | - |
| liquidwar | liquidwar-serve | 2521 | 6923 |
| lirc | irrecord | 11764 | - |
| lirc | lircd | 11481 | - |
| lirc | mode2 | 9161 | - |
| lirc | xmode2 | 9244 | - |
| logapp | logapp | 1780 | 1214 |
| ltspfs | ltspfs | 777 | 2202 |
| maradns | maradns | 13895 | - |
| mbuffer | mbuffer | 2180 | - |
| medusa | medusa | 2142 | - |
| memcachedb | memcachedb | 2723 | - |
| memcached | memcached-debug | 5234 | 1045 |
| memcached | memcached | 5212 | 1036 |
| meterec | meterec | 1561 | 1356 |
| milter-greylist | milter-greylist | 7888 | - |
| minidlna | minidlna | 9018 | - |
| miredo | teredo-mire | 1935 | 523 |
| miredo | miredo | 3026 | - |
| mlt | melt | 7214 | - |
| mmpong | mmpongd | 1851 | 3013 |
| morse | morsePA | 1181 | 13737 |
| motion | motion | 8625 | - |
| mumudvb | mumudvb | 7024 | - |
| munge | munged | 6299 | - |
| munge | remunge | 2946 | 1654 |
| nast | nast | 5398 | - |
| neko | neko | 3405 | - |
| netdiscover | netdiscover | 701 | 22608 |
| netsniff-ng | curvetun | 3944 | - |
| nis | ypbind | 1669 | - |
| nss-pam-ldapd | nslcd | 5208 | - |
| nss-pam-ldapd | test_myldap | 4965 | - |
| nufw | nufw | 4645 | - |
| obexpushd | obexpushd | 3912 | - |
| onioncat | ocat | 2314 | - |
| openal-soft | openal-info | 11376 | - |
| opendnssec | ods-signerd | 12218 | - |
| openhpi | hpi_shell | 11561 | - |
| openr2 | r2test | 3693 | - |
| openscap | probe_environm | 2465 | 5140 |
| openscap | probe_environm | 2312 | 2794 |
| openscap | probe_fileexte | 2435 | 2866 |
| openscap | probe_filehash | 4094 | 2008 |
| openscap | probe_filehash | 2825 | 2008 |
| openscap | probe_iflisten | 3849 | 2992 |
| openscap | probe_inetlist | 2675 | - |
| openscap | probe_interfac | 2487 | 3244 |
| openscap | probe_partitio | 2460 | 1444 |
| openscap | probe_password | 2319 | 2902 |
| openscap | probe_process5 | 3845 | 5500 |
| openscap | probe_process | 2525 | 3082 |
| openscap | probe_runlevel | 2481 | 5662 |
| openscap | probe_selinuxb | 2393 | 2776 |
| openscap | probe_selinuxs | 2508 | 2848 |
| openscap | probe_shadow | 2378 | 2938 |
| openscap | probe_sysctl | 2389 | 2776 |
| openscap | probe_textfile | 2563 | 3754 |
| openscap | probe_textfile | 2497 | 1336 |
| openscap | probe_xinetd | 3088 | - |
| openscap | probe_xmlfilec | 2454 | 2116 |
| openscap | probe_environm | 2465 | 5140 |
| openscap | probe_environm | 2312 | 2794 |
| openscap | probe_fileexte | 2435 | 2866 |
| openscap | probe_filehash | 4094 | 2008 |
| openscap | probe_filehash | 2825 | 2008 |
| openscap | probe_iflisten | 3849 | 2992 |
| openscap | probe_inetlist | 2675 | - |
| openscap | probe_interfac | 2487 | 3244 |
| openscap | probe_partitio | 2460 | 1444 |
| openscap | probe_password | 2319 | 2902 |
| openscap | probe_process5 | 3845 | 5500 |
| openscap | probe_process | 2525 | 3082 |
| openscap | probe_runlevel | 2481 | 5662 |
| openscap | probe_selinuxb | 2393 | 2776 |
| openscap | probe_selinuxs | 2508 | 2848 |
| openscap | probe_shadow | 2378 | 2938 |
| openscap | probe_sysctl | 2389 | 2776 |
| openscap | probe_textfile | 2563 | 3754 |
| openscap | probe_textfile | 2497 | 1336 |
| openscap | probe_xinetd | 3088 | - |
| openscap | probe_xmlfilec | 2454 | 2116 |
| ophcrack | ophcrack | 5828 | - |
| p11-kit | test-init | 3853 | - |
| parprouted | parprouted | 668 | 871 |
| partclone | partclone.btrfs | 10567 | - |
| pcsc-lite | pcsc_demo | 2490 | 1609 |
| pcsc-lite | testpcsc | 2557 | 4679 |
| pcsc-lite | pcscd | 5357 | - |
| pdnsd | pdnsd | 8493 | - |
| pdsh | pdsh | 5809 | - |
| pdsh | pdsh.inst | 5809 | - |
| petri-foo | petri-foo | 10660 | - |
| pfqueue | pfqueue | 1414 | 1907 |
| pfqueue | spfqueue | 946 | 533 |
| phasex | phasex | 8278 | - |
| pianobar | pianobar | 3206 | - |
| pigz | pigz | 2152 | - |
| pnscan | pnscan | 898 | 373 |
| pommed | pommed | 3175 | 2830 |
| portaudio19 | pa_devs | 6093 | - |
| portaudio19 | paex_pink | 6094 | - |
| portaudio19 | paex_read_wri | 6066 | - |
| portaudio19 | paex_record | 6136 | - |
| portaudio19 | paex_saw | 6037 | - |
| portaudio19 | paex_sine | 6059 | - |
| portaudio19 | paex_write_si | 6058 | - |
| portaudio19 | paex_write_si | 6062 | - |
| portaudio19 | pa_fuzz | 6063 | - |
| portaudio19 | pa_minlat | 6084 | - |
| portaudio19 | paqa_devs | 6132 | - |
| portaudio19 | paqa_errs | 6161 | - |
| portaudio19 | paqa_latency | 6224 | - |
| portaudio19 | patest1 | 6079 | - |
| portaudio19 | patest_buffer | 6081 | - |
| portaudio19 | patest_callbac | 6088 | - |
| portaudio19 | patest_clip | 6073 | - |
| portaudio19 | patest_dither | 6066 | - |
| portaudio19 | patest_hang | 6055 | - |
| portaudio19 | patest_in_ove | 6097 | - |
| portaudio19 | patest_latency | 6076 | - |
| portaudio19 | patest_leftrig | 6065 | - |
| portaudio19 | patest_longsin | 6049 | - |
| portaudio19 | patest_many | 6074 | - |
| portaudio19 | patest_maxsine | 6083 | - |
| portaudio19 | patest_mono | 6048 | - |
| portaudio19 | patest_multi_ | 6074 | - |
| portaudio19 | patest_out_un | 6099 | - |
| portaudio19 | patest_prime | 6085 | - |
| portaudio19 | patest_ringmix | 6020 | - |
| portaudio19 | patest_sine8 | 6075 | - |
| portaudio19 | patest_sine_c | 6055 | - |
| portaudio19 | patest_sine_f | 6057 | - |
| portaudio19 | patest_sine_s | 6057 | - |
| portaudio19 | patest_sine_t | 6080 | - |
| portaudio19 | patest_start_ | 6057 | - |
| portaudio19 | patest_stop | 6121 | - |
| portaudio19 | patest_stop_p | 6196 | - |
| portaudio19 | patest_toomany | 6075 | - |
| portaudio19 | patest_two_ra | 6058 | - |
| portaudio19 | patest_underfl | 6056 | - |
| portaudio19 | patest_wire | 6111 | - |
| portmidi | latency | 1437 | - |
| portmidi | midithread | 1456 | 4786 |
| portmidi | midithru | 1434 | 4905 |
| portmidi | sysex | 1611 | - |
| portmidi | test | 1563 | 9989 |
| pound | pound | 4148 | - |
| predict | predict-g1yyh | 4051 | - |
| predict | predict | 3956 | - |
| prelude-manager | prelude-manager | 5220 | - |
| privoxy | privoxy | 10749 | - |
| qdbm | qmttest | 10702 | - |
| qingy | qingy-DirectFB | 5814 | - |
| qrencode | pthread_qrenco | 2705 | - |
| qrq | qrq | 1159 | 1064 |
| radsecproxy | radsecproxy | 5812 | - |
| recordmydesktop | recordmydesktop | 2973 | - |
| redhat-cluster | cmannotifyd | 2318 | - |
| redhat-cluster | mkqdisk | 1466 | 3028 |
| redhat-cluster | qdiskd | 4466 | - |
| redhat-cluster | fence_xvmd | 3860 | 3718 |
| redhat-cluster | fenced | 5410 | - |
| redhat-cluster | groupd | 4543 | - |
| redhat-cluster | dlm_controld | 8796 | - |
| redhat-cluster | dlm_controld.p | 6738 | - |
| redhat-cluster | gfs_controld | 8610 | - |
| redhat-cluster | gfs_controld.p | 7676 | - |
| redhat-cluster | main.o | 1086 | 2206 |
| redhat-cluster | main-pcmk.o | 1086 | 2206 |
| redhat-cluster | msgtest | 5135 | - |
| redhat-cluster | rgmanager | 11961 | - |
| redhat-cluster | rg_test | 7649 | - |
| redhat-cluster | clustat | 6684 | - |
| redhat-cluster | clusvcadm | 5252 | - |
| redis | redis-server | 11888 | - |
| rng-tools | rngd | 1054 | 988 |
| rrdtool | rrdcached | 11695 | - |
| rtmpdump | rtmpgw | 5145 | - |
| rtmpdump | rtmpsrv | 5254 | - |
| rtmpdump | rtmpsuck | 5191 | - |
| s3d | kism3d | 7451 | - |
| s3d | s3dfm | 8205 | - |
| s3d | s3dvt | 4156 | - |
| sagan | sagan | 3794 | - |
| sanlock | sanlock | 6788 | - |
| sary | mksary | 1562 | - |
| service-wrapper- | wrapper | 8346 | - |
| sflphone | pjlib-test-x86 | 10741 | - |
| sg3-utils | sgp_dd | 4897 | - |
| shush | shush | 3464 | - |
| siege | siege | 4060 | - |
| slurm-drmaa | drmaa-run | 3989 | - |
| slurm-drmaa | exception_test | 4658 | - |
| smbnetfs | smbnetfs | 5083 | - |
| soundmodem | chansimberr | 5349 | - |
| soundmodem | chansim | 5304 | - |
| soundmodem | soundmodem | 5954 | - |
| spacezero | spacezero | 13758 | - |
| specimen | specimen | 6433 | - |
| spectools | spectool_curse | 3058 | - |
| spectools | spectool_net | 2830 | - |
| spectools | spectool_raw | 2966 | - |
| squashfs-tools | mksquashfs | 4965 | - |
| squashfs-tools | unsquashfs | 2840 | - |
| srptools | srp_daemon | 1539 | 1020 |
| sshfs-fuse | sshfs | 3089 | - |
| sshguard | sshguard | 2920 | 5119 |
| stone | stone | 6134 | - |
| stunnel4 | stunnel | 5295 | - |
| subsurface | subsurface | 5463 | - |
| sweep | sweep | 14831 | - |
| sysbench | sysbench | 4361 | - |
| tachyon | tachyon | 8366 | - |
| taningia | atom | 2854 | - |
| taningia | iri | 2869 | - |
| taningia | list | 2888 | - |
| taningia | srv | 2814 | - |
| taningia | xmpp-client-2 | 2850 | - |
| taningia | xmpp-client | 2852 | - |
| tcpser | tcpser | 1995 | - |
| teg | tegserver | 3205 | - |
| tgt | tgtd | 14598 | - |
| tintin++ | tt++ | 11991 | - |
| tokyotyrant | tcrmgr | 5191 | - |
| tokyotyrant | tcrmttest | 4717 | - |
| tokyotyrant | tcrtest | 5309 | - |
| tokyotyrant | ttserver | 8572 | - |
| tokyotyrant | ttulmgr | 4223 | 8301 |
| tokyotyrant | ttultest | 4304 | - |
| tor | tor-checkkey | 8447 | 2343 |
| tor | tor-gencert | 8719 | - |
| tor | tor-resolve | 5944 | 3205 |
| towitoko | tester | 4957 | - |
| transcode | tcdemux | 7948 | 3970 |
| transcode | transcode | 11728 | - |
| trousers | tcsd | 13686 | - |
| tsdecrypt | tsdecrypt | 2363 | - |
| tuxmath | tuxmath | 10638 | - |
| tuxmath | tuxmathserver | 2123 | 2428 |
| udpcast | udp-sender | 2447 | 1766 |
| unhide | unhide | 1214 | 332 |
| unixcw | cwcp | 3448 | 4468 |
| unixcw | cw | 2944 | 6607 |
| unixcw | libcwtest | 3056 | 8955 |
| valgrind | vgdb | 1542 | 1120 |
| vamps | vamps | 2447 | 14201 |
| varnish | varnishhist | 2297 | 152 |
| varnish | varnishsizes | 2300 | 152 |
| varnish | varnishtest | 8726 | - |
| vdr-plugin-xinel | vdr-fbfe | 3044 | - |
| vdr-plugin-xinel | vdr-sxfe | 4464 | - |
| vorbis-tools | ogg123 | 3367 | - |
| x11-apps | ico | 721 | 182 |
| xawtv | fbtv | 5056 | - |
| xawtv | scantv | 4626 | - |
| xawtv | streamer | 4166 | - |
| xawtv | ttv | 4106 | - |
| xawtv | motv | 10002 | - |
| xawtv | mtt | 5859 | - |
| xawtv | v4lctl | 4253 | - |
| xawtv | xawtv | 9210 | - |
| xdffileio | copy_datafile | 3040 | - |
| xdffileio | create_bdf | 3013 | - |
| xdffileio | 9122-lt-testbdf | 3238 | - |
| xdffileio | 9231-lt-testedf | 3238 | - |
| xdffileio | 9336-lt-testgdf | 3244 | - |
| xdffileio | 9441-lt-testgdf | 3246 | - |
| xdffileio | 9546-lt-readche | 3066 | - |
| xdffileio | 9633-lt-errorch | 3085 | - |
| xdffileio | errorcheck | 3085 | - |
| xdffileio | readcheck | 3066 | - |
| xdffileio | testbdf | 3238 | - |
| xdffileio | testedf | 3238 | - |
| xdffileio | testgdf1 | 3244 | - |
| xdffileio | testgdf2 | 3246 | - |
| xine-ui | fbxine | 1718 | 1616 |
| xjadeo | xjadeo | 3933 | - |
| xneur | xneur | 8553 | - |
| xosd | osd_cat | 1066 | 865 |
| xosd | testprog | 961 | 662 |
| xwax | xwax | 2461 | - |
| yersinia | yersinia | 14285 | - |
| zfs-fuse | zstreamdump | 10822 | - |
| zfs-fuse | umem_test2 | 3168 | - |
| |