Debian Experiments

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.
PackageBinaryLoCNodesTSO timeTSO fencesPower timePower fences
 
aiccuaiccu22052105566.050596.000
alsa-utilsalsaloop26563653163.400160.500
aprproc_child847200.4400.430
arponarpon1411146422.12037.0425
asmailasmail2005811.4401.390
aubioaubionotes3842397107.900138.210
aubioaubioonset382432278.410107.640
aubioaubioquiet381830864.23093.480
aubioaubiotrack382732288.400129.680
augeastest-lock14542660.7004.770
awayaway629430.4200.420
axelaxel147128950.03092.340
blcrchild.o24320.0200.010
blcrhooks.o18820.0100.010
blcrbug2524184000.1100.100
blcrcr_tryenter_c18931556108.2477--
blcrcrut_wrapper2101820.4200.420
blcredeadlk19574546.9608.890
blcrpid_restore19463595.9906.790
blcrpipe.o54520.0300.020
blcrreloc_aux96040.0700.060
blcrsave_aux922240.0900.090
blcrseq_wrapper1057770.3300.320
blcrsimple_pthread15520.0100.010
blcr11744-lt-cr_ch161370913.18019.170
blcrcr_checkpoint161370913.15019.260
blcr12991-lt-cr_re152863211.48014.170
blcrcr_restart152863211.59014.130
blktraceblkiomon9061060.5900.522
blktraceblktrace156661410.55021.57112
blktracebtreplay8422171.8001.8412
bootchart2bootchart-colle1243107852.770403.960
checkcheck_thread_1370100755.61056.640
check-mkunixcat22670.0100.010
chmlibchm_http153928077.95038.1066
clamconftest_42520.0100.000
clamconftest_52520.0100.000
clamsmtpclamsmtpd17522262100.790101.036
crossfire-clientcfsndserv_alsa56261750.4900.490
crossfire-clientcfsndserv56031650.4600.460
cwiidlswm114990.0400.040
cwiidwmgui3350262.5602.640
das-watchdogdas_watchdog403420.2700.270
dbmixdbin.o346720.0200.020
dbmixdbin12236582.6063.0457
diodkconjoin74181140.5600.590
diodtcreate736030.5500.540
diodtfcntl275233710.7000.700
diodtfcntl375514830.8100.800
diodtflock2736220.5600.550
diodtflock74442170.6100.600
diodtfsgid7363270.5500.550
diodtrename734620.5500.550
diodtstatfs7392360.5600.540
diodtstat7394280.5500.550
diodtlua863320.6800.670
diodtsetfsuidsupp87182350.7500.770
diodconjoin8565710.6700.670
djmountdjmount368470442.04043.090
dns-flood-detectdns_flood_det6291150.1100.1912
dnshistorydnshistory1516146239.608559.4647
driftnetdriftnet16791130.6700.720
dssijack-dssi-host12771860.9400.950
dumathread-test1088110.0400.040
dvbackupdvconnect5562680.3400.350
eegdev26594-lt-systob334374661.71058.283
eegdevsystobiia334374656.46063.003
enigmaildummy600.0100.000
espeakupespeakup377510.0410.052
espeakupespeakup377510.0410.052
extaceextace41843621.8303.230
eztraceeztrace_avail1138210.1000.100
eztraceeztrace_conver1229871.9001.930
eztraceeztrace_loaded1137210.1000.100
eztraceeztrace_stats12101242.0602.080
faifafaifa17751344.2804.190
firednscompiletest800.0000.000
fprobe-ulogfprobe-ulog14175467.9613252.2234
fusedavfusedav15982691.0601.072
fuseulockmgr_serve642250.0700.070
fusesmbfusesmb.cache1203322.2302.230
g15composerg15composer1737765.6206.600
g15macrog15macro9817056.270--
g15mpdg15mpd6014350.799--
g15statsg15stats1683102667.41065.310
garmin-ant-downlgant12482175316.990508.980
ghostessghostess26891571175.290174.002
ghostessghostess-ghoste189026621.99022.233
glfwboing2785159018.54018.500
glfwgears2790217728.45028.510
glfwheightmap2902157420.98023.130
glfwlistmodes25771120.1600.150
glfwmipmaps2621151326.32024.660
glfwmtbench26793530.3400.360
glfwmthello25751210.1400.140
glfwparticles2991214547.40047.832
glfwpong3d2927246963.59066.390
glfwsplitview2794427243.76044.340
glfwtriangle2605139713.54013.480
glfwwave2738225132.38031.030
glfwaccuracy2603163016.27016.060
glfwdefaults258211017.9107.890
glfwdynamic2590136113.93013.970
glfwfsaa2608153017.23016.840
glfwfsinput2624174820.21020.260
glfwiconify2631362139.61042.990
glfwjoysticks26302040.1800.170
glfwreopen2634168517.94018.110
glfwtearing2602143714.28014.200
glfwversion267511228.8709.660
gmidimonitorgmidimonitor1275562.1002.320
gnupg-pkcs11-scdgnupg-pkcs11-sc16991461.3101.240
gpe-announcegpe-announce4731930.1800.180
gphoto2gphoto2-main.o12571900.7500.760
grossbloom1208290115.70016.140
grossmsgqueue12611970.3500.380
grosssha256937660.0600.050
guacdguacd420100.0600.050
guvcviewguvcview.o570850.2200.210
hotkeyshotkeys166856429.90030.190
hotkeyshotkeys.o8532060.5800.580
iceweaseldummy600.0000.000
iceweaseldummy600.0000.000
iceweaseldummy600.0000.000
intel-gpu-toolsgem_fence_thr1541450.1000.100
intoneintone334337515.5439--
intonemain.o25160.0300.030
ivykisserver_thread61360.0300.030
ivykisserver_thread-40260.0300.020
ivykisiv_event_test32670.0200.010
ivykisiv_event_test54070.0300.020
jackd2jack_rec330360.0200.020
jack-stdiojack-stdin425680.0400.040
jack-stdiojack-stdout372610.0300.030
jack-toolsjack.dl151630.1000.100
jack-toolsjack.osc1599785.6705.710
jack-toolsjack.play1605480.1300.130
jack-toolsjack.plumbing1673160.7400.750
jack-toolsjack.record1557560.1400.150
jack-toolsjack.scope168410441.11046.290
jack-toolsjack.transport1498160.0900.100
jack-toolsjack.udp1566400.1500.150
jalvjalv987480.2900.290
jalvjalv.gtk1272540.5400.530
kcovkcov121815219.03029.73205
libapache2-mod-qqsfilter22006203218.810177.390
libapache2-mod-qqsrotate960502.6002.594
libasyncnsasyncns-test1213371.0401.030
libatomic-opstest_atomic1833941.3951.6317
libatomic-opstest_atomic_p197381410.78012.576
libatomic-opstest_malloc1698747.7808.310
libatomic-opstest_stack1695250.4600.480
libdvdvconnect9623351.0613--
libdvenctest78638.3608.360
libfiutest-enable_st570720.0800.080
libfiutest-enable_st570720.0800.080
libfreenectglpclview269520.2200.220
libfreenectregtest262353698.410102.836
libfreenecttiltdemo259342873.74067.905
libgaduhttphash650420.6000.600
libloexample_server2341490.2200.220
liblosubtest2343742.0207.920
liblooscsend2469280.3900.370
liblscpexample_server359839566.24073.050
libmemcachedmemcached5216105036.901--
libocasmsvmocas213299417.29018.020
libpthread-workqtest-libpthread65312526.3104.370
libqbtcpclient616540.3500.340
librawhalf_mt336250.0300.042
librdmacmmckey1946199343.68051.700
libshoutexample330813058.55058.650
libshoutnonblocking3323226139.590137.560
libspf2spfd.o896623.0803.090
libsysactivitycpu1142250.1300.120
libsysactivitydisk1146300.2100.210
libsysactivitymemory1103250.3500.350
libsysactivitynetwork1146180.2300.240
libsysactivityprocess1168371.2201.200
libsysactivityswap1119230.1300.130
liburcutest_urcu_wfq498850.1520.165
liburcutest_urcu_wfs498850.1340.137
liburcutest_urcu_wfq396850.2340.247
liburcutest_urcu_wfs415850.1220.125
libvncserverstorepasswd12087261.1901.160
libxcryptblowfish-test1332140.1300.130
lingotlingot28941815.6505.7120
lksctp-toolstest_1_to_1 713970.0600.070
logapplogapp17801214293.5149--
ltt-controllttd775250.7000.500
mafftdndpre713333416.77016.710
mafftmccaskillwrap724833617.36017.520
memcachedmemcached-debug5234104547.4821--
memcachedmemcached5212103638.1918--
memcachedtestapp160355731.67031.802
mesa-demosglthreads5091070.1300.132
mesa-demossharedtex_mt416920.0500.040
meterecmeterec15611356111.403--
microcommicrocom156954922.45022.760
minidlnaminidlna.o7711490.6500.640
miredomiredo-privproc191770.1200.110
miredomiredo-server170323517.03015.770
miredorelayd.o72670.0400.040
mktorrentmktorrent822430.2300.230
mldonkeysvg_converter.174620.6600.650
mmpongmmpongd18513013313.761--
mozjsdummy600.0100.000
mutextrace24262-lt-two_t20140.0100.010
mutextracetwo_threads_o20140.0100.010
mxallowdmxallowd558850.0900.090
n2nsupernode16455266.79020.840
netsniff-ngflowtop2309832.4602.340
ngorcangorca7031580.4800.490
nisypbind-mt.o6581617.8304.9510
nisypserv_test5072740.4700.470
nisypserv_test.o5022740.4400.450
npth22306-lt-t-mute43650.0200.020
nptht-mutex43650.0300.020
nsprdummy600.0000.000
nss-pam-ldapdnslcd.o923450.2900.290
nss-pam-ldapdtest_tio8681142.3202.340
ocamlnetnetplex-admin320820.8300.830
ocamlnetocamlrpcgen336820.7000.710
openaistestlck9547722402.270438.920
openaistesttmr7073331.7001.700
opendnssecods-hsmspeed2003397.6307.650
opendnssecods-hsmspeed2003397.5907.650
openscapprobe_dnscache22934849.42010.240
openscapprobe_family22934849.52010.510
openscapprobe_file246666714.76015.960
openscapprobe_ldap57246862842.23044.280
openscapprobe_routingt22944126.4606.970
openscapprobe_system_235152012.91014.560
openscapprobe_uname22934849.29010.080
openscapprobe_variable22984849.41010.450
openscapprobe_dnscache229348410.34010.530
openscapprobe_family22934849.58010.530
openscapprobe_file246666715.02017.410
openscapprobe_ldap57246862842.57046.650
openscapprobe_routingt22944126.4507.110
openscapprobe_system_235152012.92014.210
openscapprobe_uname22934849.47010.560
openscapprobe_variable22984849.54010.580
parproutedparprouted6688715.826--
partclonepartclone.chkim12036541.7901.620
partclonepartclone.dd11317583.2803.300
partclonepartclone.extfs1746231526.87026.940
partclonepartclone.fat1725313749.92048.350
partclonepartclone.hfsp1554272030.11030.380
partclonepartclone.ntfs1571263930.31030.510
partclonepartclone.reise1496213221.93021.920
partclonepartclone.resto126412008.7208.760
pidentdidentd1510188670.35082.5824
pnp4nagiosnpcd74968620.5480543.97135
pnscanpnscan8983736.5320--
portmidimm1646152772.07079.529
portmidiqtest142700.1000.100
portmiditest15639989--575.530
privbindtestbind239560.0220.026
proxsmtpproxsmtpd20243134211.460204.2713
ptunnelptunnel12491866115.386485.1857
radsecproxyt_fticks583420.3900.390
redhat-clustermkqdisk1466302829.970--
redhat-clusterdlm_tool18292445.4105.250
redhat-clusterfence_xvmd38603718345.834--
redhat-clusterfence_node278932980.15180.2410
redhat-clustermain.o10862206115.0727--
redhat-clustermain-pcmk.o10862206113.9527--
redhat-clusterclubufflush420020.2200.210
redhat-clusterclufindhostname420220.2200.210
redhat-clusterclulog54261501362.4412358.0592
rng-toolsrngd10549888.718--
rss-glxmatrixview8763140.6800.680
rtkitrtkit-daemon20082072.7502.630
rtpproxyrtpproxy27935376494.110497.320
sarycache-test1416262.2702.280
sarycat-test2139860.2300.230
sarycat-test139660.2300.230
saryisearch-test1401100.6200.620
sarymulti-test1417100.8100.800
saryrepeated-test1396241.6301.640
sarysary15661850418.830455.440
sarysearch-benchmar145020861.39062.260
seeseetxt262684660.3011355.0170
signing-partykeyanalyze6991120.3900.394
sleepdsleepd9212261.2801.280
slurm-drmaahpc-bash386740.2800.280
sndfile-toolssndfile-jackpla269220.0200.010
soundmodemsoundmodemconfi7724320.8100.800
spectoolsspectool_gtk5660100.6000.540
sshguardsshguard29205119515.100--
starpu-contribmpi_cholesky_7632161.0101.0310
starpu-contribmpi_cholesky8202551.2501.2710
starpu-contribplu_example_d13993834.8804.448
starpu-contribplu_example_f13993834.5604.538
starpu-contribmpi_reduction5771280.3000.406
starpu-contribmpi_scatter_g5781280.2900.306
starpu-contribstencil55641320.3600.376
starpu-contribblock_interfac5702240.8300.878
starpu-contribblock_interfac5682240.8100.848
starpu-contribinsert_task_b5651280.3000.306
starpu-contribinsert_task_c5511280.2800.286
starpu-contribinsert_task5511280.2800.286
starpu-contribinsert_task_o5561280.2700.296
starpu-contribinsert_task_o5471280.2700.286
starpu-contribinsert_task_o5671340.2800.296
starpu-contribmpi_detached_5331290.2700.306
starpu-contribmpi_irecv_det5441710.4600.738
starpu-contribmpi_irecv5341770.5000.518
starpu-contribmpi_isend_det5461710.4800.498
starpu-contribmpi_isend5361770.4900.508
starpu-contribmpi_test5371550.4100.438
starpu-contribmultiple_send5491680.4900.518
starpu-contribpingpong5321770.4900.508
starpu-contribring_async5591790.5200.568
starpu-contribring_async_im5481390.3300.348
starpustencil13132733.2203.288
starpumpi_cholesky_9832161.5401.5910
starpumpi_cholesky10402551.9401.8010
starpuplu_example_d16024016.2706.318
starpuplu_example_f16024016.2706.318
starpumpi_reduction8271280.4400.456
starpumpi_scatter_g8281280.4600.466
starpustencil58141320.5500.526
starpublock_interfac8202241.2801.398
starpublock_interfac8182241.2901.348
starpuinsert_task_b8151280.4700.476
starpuinsert_task_c8011280.4500.466
starpuinsert_task8011280.4400.456
starpuinsert_task_o8061280.4400.456
starpuinsert_task_o7971280.4300.446
starpuinsert_task_o8171340.4400.456
starpumpi_detached_7831290.4400.446
starpumpi_irecv_det7941710.7900.818
starpumpi_irecv7841770.7900.818
starpumpi_isend_det7961710.8300.788
starpumpi_isend7861770.7800.808
starpumpi_test7871550.7000.658
starpumultiple_send7991680.7700.808
starpupingpong7821770.7900.818
starpuring_async8091790.8400.878
starpuring_async_im7981390.5100.538
starpuring8031790.8600.878
streamripperstreamripper5939108411.51011.190
sucracksucrack7621600.8161.0920
taningialog28127239.42039.850
timemachinemain.o514440.0700.070
timemachinetimemachine13361280.6210.6415
tiobenchtiotest9023181.2401.319
transcodetcdemux79483970426.800--
twclocktwclock9902090.21012.057
udpcastudp-receiver207290863.900168.500
udpcastudp-sender24471766253.0710--
usbmuxdiproxy92125726.57030.600
valgrindvgdb1542112060.3116--
varnishvarnishreplay279655135.61036.170
varnishvarnishtop2317677.1507.150
w3camw3camd7341492.9402.970
weborfweborf2097597230.2116249.8466
wmaloaderwmaloader379650.0500.050
wysihtmlwysidocbookdaem221140.0200.010
wysihtmlwysihtmldaemon188110.0200.010
xine-uifbxine1718161684.631--
xine-uixine-remote10652603.7003.800
xjadeoxjremote412820.0800.086
xmms2-scrobblerxmms2-scrobbler83214912.12012.010
xnbdxnbd-bgctl28761031.2201.200
xnbdxnbd-cachestatd268220.1600.160
xnbdxnbd-client2976830.6400.620
xnbdxnbd-server3146727152.140154.580
xnbdxnbd-tester299130219.16018.940
xnbdxnbd-watchdog2800100.1700.170
xnbdxnbd-wrapper3030893.2803.190
zfs-fuseumem_test3492000.2600.260
zfs-fuseumem_test315130.1700.160
 


Table 2: Programs on which musketeer timed out (timeout 10m).
PackageBinaryLoCNodes
 
a2jmidida2jmidid15271868
apfafclient5035-
apfafserver6763-
aprechod8531-
aprglobalmutexchil8490-
aprocchild8478-
aprreadchild8483-
aprsendfile8928-
aprsockchild8507-
aprsockperf8584-
aprtestall14012-
aprtestlockperf8618-
aprtestmutexscope8549-
aprtestshmconsumer8497-
aprtestshmproducer8489-
aprtryread8479-
autodirautodir2629-
autofsautomount12740-
bablconcurrency-str4663-
bambam2531-
batmandbatmand4472-
bfbtesterbfbtester11355760
blcrchild19394389
blcrcloexec1889979
blcrcritical_secti1912537
blcrcr_signal19421825
blcrcr_tryenter_c18931556
blcrcs_enter_leav1889975
blcrcs_enter_leav18891556
blcrcwd1896910
blcrdev_null19261761
blcrdpipe18731393
blcrdup19941054
blcrfailed_cb220304290
blcrfailed_cb20133589
blcrfiledescriptors22464494
blcrforward2172-
blcrget_info1912-
blcrhooks19788064
blcrhugetlbfs20282989
blcrlam18646054
blcrlinked_fifo21503547
blcrmath18706357
blcrmmaps204911040
blcrnamed_fifo21083547
blcrnscd1862933
blcrorphan18931715
blcroverlap18816111
blcrpid_in_use19701682
blcrpipe2244-
blcrprctl19561370
blcrreaddir18941347
blcrreplace_cb19731656
blcrsigaltstack19107787
blcrsigpending19311882
blcrsimple18771025
blcrsimple_pthread19404954
blcrstage00011955737
blcrstage000219211042
blcrstage000319311362
blcrstage00042005971
blcrstopped19946168
btrfs-toolsbtrfs13044-
btrfs-toolsbtrfs-image11062-
btscannerbtscanner3039-
bwabwa8049-
cacti-spinespine3731-
c-icapc-icap8440-
c-icapc-icap-stretch5109-
citadelcitadel863541650
clamavclamav-milter5777-
cmuscmus14618-
cntlmcntlm3883-
collectdcollectd6228-
conkyconky10552-
crossfire-clientcrossfire-clien11850-
cwiidwmdemo13152548
cwiidwminput3278-
daemonlist9431-
daemonmap9299-
dapldapltest8178-
dc3dddc3dd.o2188-
dioddiod10118-
diodtsuppgrp7432-
diodtcap8764-
diodtconf8686-
diodtfcntl8781-
diodtfidpool8546-
diodtlist8660-
diodtnpsrv210012-
diodtnpsrv310001-
diodtnpsrv8673-
diodtopt8655-
diodtserialize9314-
diodtsetfsuid8735-
diodtsetuid8711-
diodtsuppgrp8722-
diodtattach8536-
diodtattachmt8581-
diodtflush8598-
diodtmkdir8551-
diodtread8546-
diodtstat8553-
diodtwrite8546-
dioddiodcat8746-
dioddiodload8764-
dioddiodls8799-
dioddiodmount8914-
dioddiodshowmount8716-
dioddtop9183-
djmounttest_upnp3659-
doodledoodled2938-
dspamdspam9027-
dumatestmt1120-
dvbstreamerdvbstreamer8692-
ebviewebview13090-
ecoreecore_test6175-
ecore24432-lt-ecore 13671-
ecoreecore_suite13671-
eegdevrecinxdf3068386
efliteeflite132416384
etherapeetherape6597-
fcitxfcitx5778-
fcitxtestmessage5739-
fiofio12375-
flam3flam3-animate10534-
flam3flam3-convert10487-
flam3flam3-genome10977-
flam3flam3-render10565-
flvstreamerstreams2989-
fprobefprobe1321572
freecell-solverfreecell-solver6358-
freepopsfreepopsd4294-
fsarchiverfsarchiver6930-
fusecusexmp6805-
fusefioc6760-
fusefsel6803-
fusefusexmp_fh7187-
fusefusexmp6840-
fusehello6706-
fusehello_ll6750-
fusenull6701-
fusesmbfusesmb1531-
g15daemong15daemon120911800
g15macrog15macro981705
g15mpdg15mpd601435
gesftpservergesftpserver2801-
gesftpserversftpclient4465-
getstreamgetstream2403327
gfarmgfmd14340-
gftpgftp-gtk14135-
glfwevents274111450
glfwpeter261127397
gnoemoegnoemoe12674-
gogocgogoc5244-
gpgme1.0t-thread111029-
gphoto2gphoto23972-
gpsdgpsd25232702
grossgrossd3851-
gsoapmtom-stream10392-
gsoaphandler9214-
gsoaprouter9598-
gsoapsslserver10399-
gurlcheckergurlchecker9625-
guvcviewguvcview10471-
gweledgweled28811221
gxinegxine12086-
hlbrhlbr6744-
hpliphp4838-
hpliphp-mkuri4792-
hplipptest5098-
httrackproxytrack4905-
hunthunt6489-
icecast2icecast10702-
ices2ices3812-
iftopiftop2444-
intoneintone3343375
ipplippl20093495
isnsisnsadm3595-
isnsisnsc3579-
isnsisnsd8762-
jack-audio-connejack_rec3602-
jack-capturejack_capture1757-
jackd2jackdbus3389-
jack-rackjack-rack4055-
jigitdemo21851907
lebinioulebiniou5553-
libapache2-mod-qqslog1639743
libburndewav12764-
libburnlibburner13076-
libburnoffst_source12740-
libburnpoll12715-
libburnstructest12704-
libburntelltoc13175-
libdc1394-22basler_sff_ex7210-
libdc1394-22basler_sff_in7131-
libdc1394-22dc1394_reset_7093-
libdc1394-22grab_color_im7215-
libdc1394-22grab_color_im7123-
libdc1394-22grab_gray_ima7151-
libdc1394-22grab_partial_7144-
libdc1394-22grab_partial_7129-
libdc1394-22helloworld7098-
libdc1394-22ladybug7133-
libdvdvconnect962335
libepsilonepsilon4113-
libfcgithreaded18261224
libfreenectglview170321825
libfreenecthiview172921848
libfreenectregview166815393
libgaduconn-async6510-
libgaduregister-async6513-
libgaduregister-sync6480-
libgaduremind-async6513-
libgaduremind-sync6480-
libgadusend6500-
libgadustatus6485-
libgadutoken-async6520-
libgadutoken-sync6487-
libgc16544-lt-gctest7130-
libgc17093-lt-leakte6554-
libgc17409-lt-middle6548-
libgc17745-lt-smasht6547-
libgc18063-lt-hugete6555-
libgc18402-lt-thread6562-
libgcgctest7130-
libgchugetest6555-
libgcleaktest6554-
libgcmiddletest6548-
libgcsmashtest6547-
libgcthreadleaktest6562-
libhdhomerunhdhomerun_conf3093-
libloexample_client2325142
liblononblocking_se2374484
liblotestlo3009-
liblooscdump2336252
liblscpexample_client3254-
libmemcachedmemcached52161050
libmicrohttpdauthorization_3998-
libmicrohttpddigest_auth_e4021-
libmicrohttpddual_stack_ex3989-
libmicrohttpdfileserver_exa4034-
libmicrohttpdfileserver_exa4030-
libmicrohttpdfileserver_exa4006-
libmicrohttpdhttps_fileserv4012-
libmicrohttpdminimal_exampl3992-
libmicrohttpdminimal_exampl3987-
libmicrohttpdpost_example4177-
libmicrohttpdquerystring_ex3997-
libmicrohttpdrefuse_post_e3993-
libocassvmocas22215561
libomxil-bellagiomxregister-bel4486-
libomxil-bellagiomxaudiomixerte4588-
libomxil-bellagiomxvolcontrolte4484-
libomxil-bellagiomxprioritytest4398-
libomxil-bellagiomxrmtest4399-
libopenusbtestopenusb4261-
libplayerlibplayer-test8542-
libplayerlibplayer-testv7908-
libpthread-workqtest-libpthread7815267
libpthread-workqlatency7902152
libqbipcclient6160-
libqbmapnotify6274-
libqbsimplelog6276-
libqbtcpserver6195-
libqbbench-log6168-
libqbbmc6248-
libqbbmcpt6206-
libqbbms6273-
libqbloop6193-
libqbrbreader6149-
libqbrbwriter6191-
librdmacmrping23126972
libspf2spfd5379-
libspf2spfd_static5379-
liburcurcutorture_urc1529-
liburcurcutorture_urc14434096
liburcurcutorture_urc1452-
liburcurcutorture_urc14784096
liburcutest_urcu_lfq1483-
liburcutest_urcu_lfs14793823
liburcurcutorture_urc13464096
liburcutest_mutex1146594
liburcutest_perthread1152615
liburcutest_perthread1042320
liburcutest_rwlock1140530
liburcutest_rwlock_t1032258
liburcutest_urcu_ass1168940
liburcutest_urcu_ass1192940
liburcutest_urcu_bp 1264868
liburcutest_urcu_bp1301868
liburcutest_urcu_def12083019
liburcutest_urcu_dyn1169990
liburcutest_urcu1216990
liburcutest_urcu_gc1229931
liburcutest_urcu_lfq12845266
liburcutest_urcu_lfs12373823
liburcutest_urcu_lgc1203921
liburcutest_urcu_mb1216990
liburcutest_urcu_mb 1229931
liburcutest_urcu_mb 1203921
liburcutest_urcu_qsb1180994
liburcutest_urcu_qsb1221994
liburcutest_urcu_qsb1235902
liburcutest_urcu_qsb1209892
liburcutest_urcu_qsb1112552
liburcutest_urcu_sig12061056
liburcutest_urcu_sig12521056
liburcutest_urcu_sig1265957
liburcutest_urcu_sig1239947
liburcutest_urcu_sig1144604
liburcutest_urcu_sig12621070
liburcutest_urcu_tim1108578
liburcutest_urcu_yie12261004
libusbxdpfp_threaded3876-
libvaputsurface28961245
libvalhallalibvalhalla-tes6585-
libvncserverbackchannel12125-
libvncserverblooptest12211-
libvncservercamera12124-
libvncservercolourmaptest12097-
libvncserverexample12209-
libvncserverfiletransfer12083-
libvncserverfontsel12119-
libvncserverpnmshow2412120-
libvncserverpnmshow12150-
libvncserverregiontest12358-
libvncserverrotate12408-
libvncserversimple1512088-
libvncserversimple12082-
libvncservervncev12158-
libvncserverzippy12178-
libvncserverexample12411-
libvncserverlinuxvnc12493-
libvncservervncommand12461-
linuxtv-dvb-appstest-app6086-
linuxtv-dvb-appstest-session5708-
linuxtv-dvb-appstest-transport5695-
linuxtv-dvb-appsgnutv7597-
linuxtv-dvb-appszap7103-
liquidwarliquidwar10425-
liquidwarliquidwar-serve25216923
lircirrecord11764-
lirclircd11481-
lircmode29161-
lircxmode29244-
logapplogapp17801214
ltspfsltspfs7772202
maradnsmaradns13895-
mbuffermbuffer2180-
medusamedusa2142-
memcachedbmemcachedb2723-
memcachedmemcached-debug52341045
memcachedmemcached52121036
meterecmeterec15611356
milter-greylistmilter-greylist7888-
minidlnaminidlna9018-
miredoteredo-mire1935523
miredomiredo3026-
mltmelt7214-
mmpongmmpongd18513013
morsemorsePA118113737
motionmotion8625-
mumudvbmumudvb7024-
mungemunged6299-
mungeremunge29461654
nastnast5398-
nekoneko3405-
netdiscovernetdiscover70122608
netsniff-ngcurvetun3944-
nisypbind1669-
nss-pam-ldapdnslcd5208-
nss-pam-ldapdtest_myldap4965-
nufwnufw4645-
obexpushdobexpushd3912-
onioncatocat2314-
openal-softopenal-info11376-
opendnssecods-signerd12218-
openhpihpi_shell11561-
openr2r2test3693-
openscapprobe_environm24655140
openscapprobe_environm23122794
openscapprobe_fileexte24352866
openscapprobe_filehash40942008
openscapprobe_filehash28252008
openscapprobe_iflisten38492992
openscapprobe_inetlist2675-
openscapprobe_interfac24873244
openscapprobe_partitio24601444
openscapprobe_password23192902
openscapprobe_process538455500
openscapprobe_process25253082
openscapprobe_runlevel24815662
openscapprobe_selinuxb23932776
openscapprobe_selinuxs25082848
openscapprobe_shadow23782938
openscapprobe_sysctl23892776
openscapprobe_textfile25633754
openscapprobe_textfile24971336
openscapprobe_xinetd3088-
openscapprobe_xmlfilec24542116
openscapprobe_environm24655140
openscapprobe_environm23122794
openscapprobe_fileexte24352866
openscapprobe_filehash40942008
openscapprobe_filehash28252008
openscapprobe_iflisten38492992
openscapprobe_inetlist2675-
openscapprobe_interfac24873244
openscapprobe_partitio24601444
openscapprobe_password23192902
openscapprobe_process538455500
openscapprobe_process25253082
openscapprobe_runlevel24815662
openscapprobe_selinuxb23932776
openscapprobe_selinuxs25082848
openscapprobe_shadow23782938
openscapprobe_sysctl23892776
openscapprobe_textfile25633754
openscapprobe_textfile24971336
openscapprobe_xinetd3088-
openscapprobe_xmlfilec24542116
ophcrackophcrack5828-
p11-kittest-init3853-
parproutedparprouted668871
partclonepartclone.btrfs10567-
pcsc-litepcsc_demo24901609
pcsc-litetestpcsc25574679
pcsc-litepcscd5357-
pdnsdpdnsd8493-
pdshpdsh5809-
pdshpdsh.inst5809-
petri-foopetri-foo10660-
pfqueuepfqueue14141907
pfqueuespfqueue946533
phasexphasex8278-
pianobarpianobar3206-
pigzpigz2152-
pnscanpnscan898373
pommedpommed31752830
portaudio19pa_devs6093-
portaudio19paex_pink6094-
portaudio19paex_read_wri6066-
portaudio19paex_record6136-
portaudio19paex_saw6037-
portaudio19paex_sine6059-
portaudio19paex_write_si6058-
portaudio19paex_write_si6062-
portaudio19pa_fuzz6063-
portaudio19pa_minlat6084-
portaudio19paqa_devs6132-
portaudio19paqa_errs6161-
portaudio19paqa_latency6224-
portaudio19patest16079-
portaudio19patest_buffer6081-
portaudio19patest_callbac6088-
portaudio19patest_clip6073-
portaudio19patest_dither6066-
portaudio19patest_hang6055-
portaudio19patest_in_ove6097-
portaudio19patest_latency6076-
portaudio19patest_leftrig6065-
portaudio19patest_longsin6049-
portaudio19patest_many6074-
portaudio19patest_maxsine6083-
portaudio19patest_mono6048-
portaudio19patest_multi_6074-
portaudio19patest_out_un6099-
portaudio19patest_prime6085-
portaudio19patest_ringmix6020-
portaudio19patest_sine86075-
portaudio19patest_sine_c6055-
portaudio19patest_sine_f6057-
portaudio19patest_sine_s6057-
portaudio19patest_sine_t6080-
portaudio19patest_start_6057-
portaudio19patest_stop6121-
portaudio19patest_stop_p6196-
portaudio19patest_toomany6075-
portaudio19patest_two_ra6058-
portaudio19patest_underfl6056-
portaudio19patest_wire6111-
portmidilatency1437-
portmidimidithread14564786
portmidimidithru14344905
portmidisysex1611-
portmiditest15639989
poundpound4148-
predictpredict-g1yyh4051-
predictpredict3956-
prelude-managerprelude-manager5220-
privoxyprivoxy10749-
qdbmqmttest10702-
qingyqingy-DirectFB5814-
qrencodepthread_qrenco2705-
qrqqrq11591064
radsecproxyradsecproxy5812-
recordmydesktoprecordmydesktop2973-
redhat-clustercmannotifyd2318-
redhat-clustermkqdisk14663028
redhat-clusterqdiskd4466-
redhat-clusterfence_xvmd38603718
redhat-clusterfenced5410-
redhat-clustergroupd4543-
redhat-clusterdlm_controld8796-
redhat-clusterdlm_controld.p6738-
redhat-clustergfs_controld8610-
redhat-clustergfs_controld.p7676-
redhat-clustermain.o10862206
redhat-clustermain-pcmk.o10862206
redhat-clustermsgtest5135-
redhat-clusterrgmanager11961-
redhat-clusterrg_test7649-
redhat-clusterclustat6684-
redhat-clusterclusvcadm5252-
redisredis-server11888-
rng-toolsrngd1054988
rrdtoolrrdcached11695-
rtmpdumprtmpgw5145-
rtmpdumprtmpsrv5254-
rtmpdumprtmpsuck5191-
s3dkism3d7451-
s3ds3dfm8205-
s3ds3dvt4156-
sagansagan3794-
sanlocksanlock6788-
sarymksary1562-
service-wrapper-wrapper8346-
sflphonepjlib-test-x86 10741-
sg3-utilssgp_dd4897-
shushshush3464-
siegesiege4060-
slurm-drmaadrmaa-run3989-
slurm-drmaaexception_test4658-
smbnetfssmbnetfs5083-
soundmodemchansimberr5349-
soundmodemchansim5304-
soundmodemsoundmodem5954-
spacezerospacezero13758-
specimenspecimen6433-
spectoolsspectool_curse3058-
spectoolsspectool_net2830-
spectoolsspectool_raw2966-
squashfs-toolsmksquashfs4965-
squashfs-toolsunsquashfs2840-
srptoolssrp_daemon15391020
sshfs-fusesshfs3089-
sshguardsshguard29205119
stonestone6134-
stunnel4stunnel5295-
subsurfacesubsurface5463-
sweepsweep14831-
sysbenchsysbench4361-
tachyontachyon8366-
taningiaatom2854-
taningiairi2869-
taningialist2888-
taningiasrv2814-
taningiaxmpp-client-22850-
taningiaxmpp-client2852-
tcpsertcpser1995-
tegtegserver3205-
tgttgtd14598-
tintin++tt++11991-
tokyotyranttcrmgr5191-
tokyotyranttcrmttest4717-
tokyotyranttcrtest5309-
tokyotyrantttserver8572-
tokyotyrantttulmgr42238301
tokyotyrantttultest4304-
tortor-checkkey84472343
tortor-gencert8719-
tortor-resolve59443205
towitokotester4957-
transcodetcdemux79483970
transcodetranscode11728-
trouserstcsd13686-
tsdecrypttsdecrypt2363-
tuxmathtuxmath10638-
tuxmathtuxmathserver21232428
udpcastudp-sender24471766
unhideunhide1214332
unixcwcwcp34484468
unixcwcw29446607
unixcwlibcwtest30568955
valgrindvgdb15421120
vampsvamps244714201
varnishvarnishhist2297152
varnishvarnishsizes2300152
varnishvarnishtest8726-
vdr-plugin-xinelvdr-fbfe3044-
vdr-plugin-xinelvdr-sxfe4464-
vorbis-toolsogg1233367-
x11-appsico721182
xawtvfbtv5056-
xawtvscantv4626-
xawtvstreamer4166-
xawtvttv4106-
xawtvmotv10002-
xawtvmtt5859-
xawtvv4lctl4253-
xawtvxawtv9210-
xdffileiocopy_datafile3040-
xdffileiocreate_bdf3013-
xdffileio9122-lt-testbdf3238-
xdffileio9231-lt-testedf3238-
xdffileio9336-lt-testgdf3244-
xdffileio9441-lt-testgdf3246-
xdffileio9546-lt-readche3066-
xdffileio9633-lt-errorch3085-
xdffileioerrorcheck3085-
xdffileioreadcheck3066-
xdffileiotestbdf3238-
xdffileiotestedf3238-
xdffileiotestgdf13244-
xdffileiotestgdf23246-
xine-uifbxine17181616
xjadeoxjadeo3933-
xneurxneur8553-
xosdosd_cat1066865
xosdtestprog961662
xwaxxwax2461-
yersiniayersinia14285-
zfs-fusezstreamdump10822-
zfs-fuseumem_test23168-
 


This document was translated from LATEX by HEVEA.