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 | - |
|