ToolCPAchecker 1.1-svn
Limitstimelimit: 120 s, memlimit: 3000 MB
Systemhost: pc-wehr-serv1
os: Linux 3.0.0-15-generic x86_64
cpu: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
cores: 4, frequency: 3401 MHz, ram: 16408608 kB
Date of run12-02-17.0932
Test setintegration-explicitAnalysis
branch-r5638
Options-noout
-heap 2000m
-explicitAnalysis
-setprop cpa.conditions.global.time.wall=1min
-setprop analysis.useRefinement=true
-setprop cegar.refiner=cpa.explicit.ExplicitRefiner
test/programs/benchmarks/statuscputimewalltimetotalreachedrefinementsrefinements_succrefinements_failtime_refinements
total files2232004.781461.881372.5769.1841780163082473.217
correct results103744.74475.69443.4263.8839338850210.500
false negatives35.192.862.0880.0112200.117
false positives511.806.635.2710.0118300.754
score (223 files, max score: 361)138
pthread/fib_bench_BUG.cil.cunknown1.400.790.552s0.000s1000.013s
pthread/fib_bench_longer_BUG.cil.cunknown1.480.780.542s0.000s1000.013s
pthread/queue_BUG.cil.csafe1.981.080.836s0.003s2200.117s
pthread/reorder_5_BUG.cil.csafe1.630.920.626s0.002s0---
pthread/twostage_3_BUG.cil.csafe1.580.860.626s0.006s0---
pthread/fib_bench.cil.cunknown1.530.860.578s0.000s1000.021s
pthread/fib_bench_longer.cil.cunknown1.550.870.600s0.001s1000.012s
pthread/queue_ok.cil.csafe1.710.920.695s0.001s2200.099s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe10.996.736.440s0.084s434204.366s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe7.333.933.647s0.052s201901.826s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.325.204.813s0.052s424102.753s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.492.332.049s0.022s181700.792s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe10.956.646.318s0.083s525204.245s
ntdrivers-simplified/diskperf_simpl1.cil.csafe8.064.984.666s0.059s252502.843s
ntdrivers-simplified/floppy_simpl3.cil.csafe7.023.903.584s0.065s232301.862s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.255.084.684s0.061s454502.877s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe2.961.621.380s0.014s111100.491s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.602.392.090s0.057s161600.757s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.473.423.072s0.007s4301.180s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.092.332.093s0.008s3200.916s
ntdrivers/floppy.BUG.i.cil.cunsafe4.602.712.467s0.007s4300.810s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.125.034.770s0.020s131203.279s
ntdrivers/parport.BUG.i.cil.cunsafe6.033.413.176s0.015s4301.558s
ntdrivers/cdaudio.i.cil.csafe29.8324.4424.126s0.087s4545021.219s
ntdrivers/diskperf.i.cil.csafe17.0012.6712.358s0.063s2020010.040s
ntdrivers/floppy.i.cil.cunknown20.5416.1415.877s0.048s4140113.802s
ntdrivers/parport.i.cil.cunknown13.789.819.557s0.029s121117.829s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe4.852.492.230s0.050s131200.836s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.882.552.279s0.034s131200.852s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.012.622.357s0.048s131200.965s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.472.312.080s0.033s131200.827s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.661.411.138s0.006s6500.214s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.592.992.740s0.049s191801.303s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.682.842.509s0.045s171600.954s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.261.230.959s0.004s4310.154s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe2.981.521.248s0.017s5400.248s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.331.761.508s0.018s5400.306s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.455.825.528s0.060s161503.207s
ssh-simplified/s3_clnt_1.cil.csafe5.452.752.496s0.040s141401.098s
ssh-simplified/s3_clnt_2.cil.csafe6.763.973.698s0.054s151502.028s
ssh-simplified/s3_clnt_3.cil.csafe6.373.713.447s0.039s141401.901s
ssh-simplified/s3_clnt_4.cil.csafe5.903.142.868s0.042s151501.415s
ssh-simplified/s3_srvr_1a.cil.cunknown2.201.160.872s0.005s8710.155s
ssh-simplified/s3_srvr_1b.cil.cunknown1.580.870.629s0.001s6510.073s
ssh-simplified/s3_srvr_1.cil.cunknown4.322.091.835s0.026s9810.663s
ssh-simplified/s3_srvr_3.cil.cunknown4.102.031.763s0.026s9810.581s
ssh-simplified/s3_srvr_4.cil.cunknown4.722.432.181s0.046s111010.900s
ssh-simplified/s3_srvr_6.cil.csafe8.945.565.281s0.071s141403.082s
ssh-simplified/s3_srvr_7.cil.cunknown4.672.452.170s0.035s111010.942s
ssh-simplified/s3_srvr_8.cil.cunknown5.022.522.258s0.032s10910.915s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.365.515.217s0.047s131213.796s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown7.865.024.764s0.059s121113.189s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown7.945.345.052s0.036s131213.802s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown8.245.375.073s0.055s121113.447s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.762.111.853s0.020s5400.529s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.552.011.728s0.017s4300.369s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.281.901.644s0.013s4300.384s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.331.871.608s0.019s4300.347s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.413.052.813s0.032s8701.355s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.632.622.341s0.033s7610.987s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown8.185.234.937s0.040s121113.542s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown7.905.014.765s0.037s121113.407s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.822.081.827s0.018s6510.701s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.903.523.201s0.024s8701.547s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown3.812.151.892s0.030s7610.771s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.273.052.819s0.028s8701.375s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown6.704.264.019s0.038s111012.713s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.283.092.856s0.032s8701.426s
ssh/s3_clnt.blast.01.i.cil.cunknown8.385.815.547s0.048s131214.158s
ssh/s3_clnt.blast.03.i.cil.cunknown19.8616.1815.922s0.068s1817114.280s
ssh/s3_clnt.blast.04.i.cil.cunknown7.995.395.127s0.041s131213.780s
ssh/s3_srvr.blast.01.i.cil.cunknown5.492.912.662s0.045s8711.234s
ssh/s3_srvr.blast.06.i.cil.cunknown13.449.509.196s0.089s232216.777s
ssh/s3_srvr.blast.07.i.cil.cunknown4.072.372.110s0.027s7610.878s
ssh/s3_srvr.blast.08.i.cil.cunknown7.814.994.734s0.038s111013.118s
ssh/s3_srvr.blast.09.i.cil.cunknown4.042.191.941s0.031s7610.856s
ssh/s3_srvr.blast.10.i.cil.cunknown6.854.103.827s0.040s10912.430s
ssh/s3_srvr.blast.12.i.cil.cunknown7.724.464.170s0.060s141312.561s
ssh/s3_srvr.blast.13.i.cil.cunknown4.042.221.951s0.029s7610.778s
ssh/s3_srvr.blast.14.i.cil.cunknown9.275.655.381s0.057s171613.567s
ssh/s3_srvr.blast.15.i.cil.cunknown8.905.875.595s0.067s131214.016s
ssh/s3_srvr.blast.16.i.cil.cunknown11.307.357.040s0.062s201915.064s
locks/test_locks_14.BUG.cunknown2.401.291.046s0.011s161510.354s
locks/test_locks_15.BUG.cunknown2.531.421.173s0.005s171610.443s
locks/test_locks_10.csafe53.2048.3647.998s0.288s202001.043s
locks/test_locks_11.cunknown65.6060.9160.523s0.224s161600.842s
locks/test_locks_12.cunknown64.9060.9560.583s0.164s141400.660s
locks/test_locks_13.cunknown64.8860.8360.485s0.167s141400.622s
locks/test_locks_14.cunknown63.5160.9060.529s0.141s141400.339s
locks/test_locks_15.cunknown63.6860.8860.507s0.147s151500.361s
locks/test_locks_5.csafe2.421.371.127s0.021s101000.154s
locks/test_locks_6.csafe3.241.711.426s0.053s121200.208s
locks/test_locks_7.csafe4.192.041.722s0.040s141400.262s
locks/test_locks_8.csafe5.883.403.091s0.070s161600.389s
locks/test_locks_9.csafe12.529.388.997s0.147s181800.632s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.621.431.132s0.008s2110.312s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.771.020.747s0.003s0---
heap-manipulation/merge_sort_BUG.cil.cunknown1.971.080.824s0.002s3210.109s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown3.111.951.691s0.004s2111.002s
heap-manipulation/bubble_sort_linux.cil.cunknown2.321.230.979s0.003s2110.258s
heap-manipulation/dll_of_dll.cil.cunknown1.590.830.595s0.003s0---
heap-manipulation/merge_sort.cil.cunknown1.800.980.740s0.003s3210.112s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.111.971.710s0.002s2111.065s
list-properties/alternating_list.cil.cunknown1.640.920.695s0.002s2110.075s
list-properties/list.cil.cunknown1.700.970.724s0.001s2110.107s
list-properties/list_flag.cil.cunknown1.550.850.619s0.000s2110.066s
list-properties/simple.cil.cunknown1.610.900.661s0.002s2110.097s
list-properties/simple_built_from_end.cil.cunknown1.470.860.615s0.001s3210.086s
list-properties/splice.cil.cunknown1.891.010.780s0.002s3210.191s
systemc/token_ring.01.BUG.cil.cunknown3.341.951.702s0.030s121110.789s
systemc/token_ring.02.BUG.cil.cunknown6.033.653.393s0.040s222112.339s
systemc/token_ring.03.BUG.cil.cunknown9.125.985.723s0.040s292814.402s
systemc/transmitter.01.BUG.cil.cunsafe4.122.282.033s0.032s151401.006s
systemc/transmitter.02.BUG.cil.cunsafe7.224.434.176s0.031s222102.969s
systemc/transmitter.03.BUG.cil.cunsafe9.436.295.997s0.039s272604.709s
systemc/transmitter.04.BUG.cil.cunsafe21.7416.5816.254s0.159s3736010.723s
systemc/bist_cell.cil.cunknown2.691.421.169s0.011s6510.413s
systemc/kundu.cil.cunknown16.0212.1411.875s0.077s201919.834s
systemc/mem_slave_tlm.1.cil.csafe8.285.785.494s0.044s121204.270s
systemc/mem_slave_tlm.2.cil.csafe15.9512.9512.644s0.053s1313011.253s
systemc/mem_slave_tlm.4.cil.csafe60.8757.0056.660s0.083s1515054.525s
systemc/pc_sfifo_1.cil.cunknown67.9061.3060.609s0.367s9900.743s
systemc/pc_sfifo_2.cil.cunknown66.8561.3260.622s0.436s111101.243s
systemc/pc_sfifo_3.cil.csafe2.451.521.156s0.019s2200.160s
systemc/token_ring.01.cil.cunknown3.512.061.788s0.022s121110.813s
systemc/token_ring.04.cil.cunknown12.088.408.108s0.051s323116.651s
systemc/toy.cil.cunknown3.311.881.529s0.021s6510.587s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.730.980.718s0.001s1000.021s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.740.970.700s0.000s1000.031s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.580.870.629s0.000s1000.015s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.140.68------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.911.070.801s0.000s2000.023s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.781.030.775s0.000s2000.022s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.901.140.844s0.001s1000.031s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.831.020.780s0.002s2100.043s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown2.121.170.900s0.001s2110.216s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.861.691.299s0.010s8700.239s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.881.030.725s0.000s2100.033s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.560.930.646s0.000s2100.026s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.710.930.691s0.000s2110.035s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.790.980.681s0.000s2110.028s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.660.920.636s0.001s2110.030s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.740.930.662s0.000s2110.026s
ldv-regression/ex3_forlist.c-safe.cil.cunknown2.381.401.120s0.008s4310.282s
ldv-regression/just_assert.c-safe.cil.csafe1.560.920.585s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.791.100.848s0.001s2000.028s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunsafe1.660.990.703s0.001s1000.026s
ldv-regression/nested_structure-safe.cil.cunsafe1.761.140.881s0.000s1000.059s
ldv-regression/nested_structure.c-safe.cil.cunknown1.731.040.794s0.001s1000.020s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.710.970.674s0.000s1100.022s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.640.970.649s0.000s1100.020s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe2.011.070.810s0.000s1000.117s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.701.100.757s0.000s1000.030s
ldv-regression/oomInt.c-safe.cil.csafe1.781.040.739s0.000s1100.024s
ldv-regression/oomInt.c-safe_1.cil.csafe1.861.120.742s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe2.151.281.013s0.000s2100.076s
ldv-regression/rule60_list.c-safe.cil.cunknown2.261.411.065s0.000s3000.053s
ldv-regression/rule60_list2.c-safe.cil.cunknown2.171.220.863s0.001s2110.170s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.781.080.818s0.000s1100.020s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.760.990.723s0.000s1000.016s
ldv-regression/test_address.c-safe.cil.cunknown1.811.000.732s0.001s1000.018s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.700.930.677s0.000s1100.028s
ldv-regression/test_malloc-1-safe.cil.cunknown1.761.040.778s0.002s2110.060s
ldv-regression/test_malloc-2-safe.cil.cunknown1.720.990.730s0.000s2110.051s
ldv-regression/test_overflow.c-safe.cil.csafe1.921.190.805s0.000s1100.028s
ldv-regression/test_union.c-safe.cil.csafe1.730.970.726s0.000s1100.020s
ldv-regression/test_union.c-safe_1.cil.cunknown1.730.980.676s0.000s1000.015s
ldv-regression/test_union_cast-1-safe.cil.csafe1.601.070.661s0.001s1100.030s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.520.890.583s0.001s2110.043s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.841.050.782s0.000s1000.021s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.801.030.739s0.000s1100.029s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.771.050.773s0.000s2110.030s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.720.990.749s0.000s2110.039s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown6.424.083.827s0.016s9812.320s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown5.543.553.182s0.006s4311.669s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown4.732.862.473s0.007s3210.912s
ddv-machzwd/ddv_machzwd_inb.cil.csafe3.221.661.369s0.016s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.191.791.468s0.006s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe3.101.691.407s0.006s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe3.271.751.424s0.012s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe3.321.751.457s0.015s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe3.051.671.357s0.011s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe3.431.881.569s0.015s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe3.361.861.522s0.018s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe3.081.711.381s0.003s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe3.051.831.465s0.018s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.525.565.235s0.019s1000.179s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe17.2813.2612.950s0.044s87010.300s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown7.793.603.301s0.033s1100.541s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe19.789.869.579s0.027s5404.619s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe12.355.575.298s0.012s3201.688s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown14.038.648.350s0.078s3215.382s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown17.4312.9112.635s0.023s65110.529s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe10.965.234.956s0.020s3201.849s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown27.2515.2014.851s0.017s3218.168s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown15.3213.4213.129s0.017s76111.469s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown12.559.819.526s0.009s6518.029s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown22.9318.8418.508s0.021s76116.287s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown19.8316.4816.145s0.033s1110114.560s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown8.6010.3410.023s0.026s5418.039s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown8.005.955.512s0.071s1100.613s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe13.329.498.078s0.052s1100.808s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown102.3785.1862.977s0.950s4409.802s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.682.762.488s0.029s1100.480s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown6.183.413.122s0.020s3301.459s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe18.588.598.261s0.049s1101.491s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown4.132.091.802s0.022s1100.283s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe6.533.132.843s0.045s1100.553s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe11.014.684.221s0.108s1100.634s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.3561.5160.959s0.302s3305.441s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe8.784.013.638s0.092s1100.473s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown14.855.555.166s0.143s1100.830s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown11.224.143.856s0.031s1100.601s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown8.446.255.976s0.015s5414.740s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe10.525.865.295s0.203s2201.074s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe8.704.243.831s0.090s2200.697s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe6.053.162.749s0.091s2200.660s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe14.036.195.788s0.089s2201.711s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown8.716.185.916s0.018s7614.561s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown10.315.965.673s0.066s5413.560s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.222.151.864s0.010s3200.476s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe9.444.053.683s0.087s2200.751s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe6.863.583.250s0.064s2201.044s