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-22.1341
Test setintegration-explicitAnalysis
branch-r5692
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 files2211881.801338.951251.95711.9661748159682415.175
correct results102629.10367.46338.2623.6299008510160.591
false negatives35.703.112.2670.0072200.143
false positives49.685.404.3780.0127300.709
score (221 files, max score: 357)137
pthread/fib_bench_BUG.cil.cunknown1.710.930.669s0.000s1000.013s
pthread/fib_bench_longer_BUG.cil.cunknown1.681.020.700s0.000s1000.013s
pthread/queue_BUG.cil.csafe2.291.210.931s0.002s2200.143s
pthread/reorder_5_BUG.cil.csafe1.790.980.717s0.003s0---
pthread/twostage_3_BUG.cil.csafe1.620.920.619s0.002s0---
pthread/fib_bench.cil.cunknown1.801.100.823s0.000s1000.023s
pthread/fib_bench_longer.cil.cunknown1.951.220.928s0.000s1000.021s
pthread/queue_ok.cil.csafe2.201.220.967s0.002s2200.121s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe11.957.417.049s0.066s434204.699s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe7.103.853.534s0.074s201901.809s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.955.795.484s0.074s424103.518s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.642.502.201s0.040s181700.849s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe12.387.847.497s0.097s525205.100s
ntdrivers-simplified/diskperf_simpl1.cil.csafe9.225.965.590s0.085s252503.346s
ntdrivers-simplified/floppy_simpl3.cil.csafe7.664.344.017s0.067s232302.194s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.735.485.191s0.062s454503.284s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.481.981.667s0.031s111100.641s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe5.062.612.334s0.052s161600.901s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.443.513.224s0.010s4301.251s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.752.872.575s0.009s3201.013s
ntdrivers/floppy.BUG.i.cil.cunsafe5.082.812.525s0.010s4300.779s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.605.485.218s0.027s131203.628s
ntdrivers/parport.BUG.i.cil.cunsafe6.864.133.825s0.016s4301.786s
ntdrivers/cdaudio.i.cil.csafe32.1226.6426.317s0.102s4545023.121s
ntdrivers/diskperf.i.cil.csafe18.8214.2513.832s0.087s2020011.237s
ntdrivers/floppy.i.cil.cunknown22.2417.4517.146s0.056s4140114.638s
ntdrivers/parport.i.cil.cunknown14.5910.3110.018s0.026s121118.083s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe5.132.642.346s0.048s131200.905s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe5.302.742.452s0.053s131200.972s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.082.782.454s0.047s131200.994s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.832.702.400s0.050s131200.926s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.761.431.134s0.012s6500.229s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.483.012.701s0.057s191801.219s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.272.472.207s0.039s171600.886s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.471.491.152s0.005s4310.218s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.291.771.437s0.021s5400.307s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.101.701.359s0.017s5400.285s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.916.356.017s0.072s161503.485s
ssh-simplified/s3_clnt_1.cil.csafe5.362.752.495s0.055s141401.157s
ssh-simplified/s3_clnt_2.cil.csafe6.343.443.182s0.043s151501.786s
ssh-simplified/s3_clnt_3.cil.csafe5.703.232.969s0.048s141401.652s
ssh-simplified/s3_clnt_4.cil.csafe5.783.293.018s0.055s151501.529s
ssh-simplified/s3_srvr_1a.cil.cunknown1.951.050.786s0.006s8710.143s
ssh-simplified/s3_srvr_1b.cil.cunknown1.710.910.674s0.004s6510.078s
ssh-simplified/s3_srvr_1.cil.cunknown4.462.161.899s0.036s9810.712s
ssh-simplified/s3_srvr_3.cil.cunknown4.072.031.779s0.031s9810.640s
ssh-simplified/s3_srvr_4.cil.cunknown4.252.081.830s0.026s111010.748s
ssh-simplified/s3_srvr_6.cil.csafe9.075.495.225s0.068s141403.034s
ssh-simplified/s3_srvr_7.cil.cunknown4.482.322.055s0.033s111010.907s
ssh-simplified/s3_srvr_8.cil.cunknown4.812.532.273s0.049s10910.999s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.405.505.232s0.053s131213.896s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown7.514.544.280s0.030s121112.980s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown8.305.244.968s0.052s131213.644s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.904.954.656s0.046s121113.144s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.992.231.969s0.022s5400.519s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.461.991.725s0.022s4300.388s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.522.001.749s0.018s4300.429s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.512.001.765s0.017s4300.409s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe6.103.513.244s0.029s8701.588s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.172.282.009s0.024s7610.787s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown7.875.054.760s0.044s121113.460s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.235.365.081s0.029s121113.672s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.712.071.745s0.016s6510.663s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.823.423.144s0.031s8701.542s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.182.402.136s0.022s7610.915s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.493.042.769s0.026s8701.411s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.024.384.079s0.040s111012.814s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.693.252.990s0.037s8701.383s
ssh/s3_clnt.blast.01.i.cil.cunknown8.655.905.636s0.033s131214.268s
ssh/s3_clnt.blast.03.i.cil.cunknown19.9516.1515.901s0.055s1817114.345s
ssh/s3_clnt.blast.04.i.cil.cunknown8.095.365.108s0.036s131213.838s
ssh/s3_srvr.blast.01.i.cil.cunknown5.362.872.608s0.048s8711.216s
ssh/s3_srvr.blast.06.i.cil.cunknown13.119.178.882s0.095s232216.654s
ssh/s3_srvr.blast.07.i.cil.cunknown4.012.201.947s0.023s7610.809s
ssh/s3_srvr.blast.08.i.cil.cunknown7.664.684.433s0.054s111013.052s
ssh/s3_srvr.blast.09.i.cil.cunknown3.922.211.959s0.035s7610.839s
ssh/s3_srvr.blast.10.i.cil.cunknown6.763.893.647s0.049s10912.337s
ssh/s3_srvr.blast.12.i.cil.cunknown7.584.404.149s0.055s141312.506s
ssh/s3_srvr.blast.13.i.cil.cunknown4.142.272.014s0.023s7610.785s
ssh/s3_srvr.blast.14.i.cil.cunknown9.495.755.480s0.062s171613.658s
ssh/s3_srvr.blast.15.i.cil.cunknown9.616.316.039s0.053s131214.417s
ssh/s3_srvr.blast.16.i.cil.cunknown11.307.527.203s0.083s201915.028s
locks/test_locks_14.BUG.cunknown2.821.491.221s0.019s161510.403s
locks/test_locks_15.BUG.cunknown2.991.651.358s0.011s171610.453s
locks/test_locks_11.cunknown65.3860.9660.574s0.239s161600.880s
locks/test_locks_12.cunknown64.8760.8960.521s0.194s141400.722s
locks/test_locks_13.cunknown65.0761.0460.668s0.166s141400.656s
locks/test_locks_14.cunknown63.6660.8460.480s0.135s141400.313s
locks/test_locks_15.cunknown63.4160.8660.489s0.126s151500.343s
locks/test_locks_5.csafe2.611.331.078s0.025s101000.155s
locks/test_locks_6.csafe3.051.541.240s0.029s121200.192s
locks/test_locks_7.csafe4.572.181.850s0.058s141400.306s
locks/test_locks_8.csafe5.843.413.142s0.062s161600.394s
locks/test_locks_9.csafe13.6910.149.798s0.119s181800.634s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.531.321.074s0.002s2110.312s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.931.100.764s0.001s0---
heap-manipulation/merge_sort_BUG.cil.cunknown2.271.200.937s0.003s3210.170s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown3.502.221.935s0.002s2111.122s
heap-manipulation/bubble_sort_linux.cil.cunknown2.471.371.075s0.005s2110.293s
heap-manipulation/dll_of_dll.cil.cunknown1.680.900.647s0.001s0---
heap-manipulation/merge_sort.cil.cunknown2.101.100.849s0.002s3210.147s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.252.141.853s0.002s2111.125s
list-properties/alternating_list.cil.cunknown1.861.010.762s0.002s2110.092s
list-properties/list.cil.cunknown1.690.950.666s0.003s2110.096s
list-properties/list_flag.cil.cunknown1.951.030.782s0.000s2110.087s
list-properties/simple.cil.cunknown1.741.010.772s0.002s2110.132s
list-properties/simple_built_from_end.cil.cunknown1.700.920.671s0.000s3210.094s
list-properties/splice.cil.cunknown1.891.040.786s0.002s3210.185s
systemc/token_ring.01.BUG.cil.cunknown3.301.871.626s0.019s121110.777s
systemc/token_ring.02.BUG.cil.cunknown6.263.693.431s0.038s222112.310s
systemc/token_ring.03.BUG.cil.cunknown9.436.296.031s0.057s292814.694s
systemc/transmitter.01.BUG.cil.cunsafe4.162.412.158s0.031s151401.020s
systemc/transmitter.02.BUG.cil.cunsafe7.464.684.337s0.030s222103.073s
systemc/transmitter.03.BUG.cil.cunsafe9.196.155.885s0.039s272604.582s
systemc/transmitter.04.BUG.cil.cunsafe21.8916.8316.474s0.193s3736010.888s
systemc/bist_cell.cil.cunknown2.881.591.330s0.015s6510.454s
systemc/kundu.cil.cunknown16.6012.3912.116s0.086s2019110.074s
systemc/mem_slave_tlm.1.cil.csafe8.365.655.377s0.035s121204.188s
systemc/mem_slave_tlm.2.cil.csafe16.6313.6313.325s0.056s1313011.828s
systemc/pc_sfifo_1.cil.cunknown68.5861.0660.490s0.316s9900.632s
systemc/pc_sfifo_2.cil.cunknown70.6461.1160.498s0.345s111101.105s
systemc/pc_sfifo_3.cil.csafe2.141.200.938s0.006s2200.137s
systemc/token_ring.01.cil.cunknown3.732.131.864s0.019s121110.880s
systemc/token_ring.04.cil.cunknown11.688.277.987s0.056s323116.634s
systemc/toy.cil.cunknown3.021.731.471s0.010s6510.592s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.530.860.631s0.000s1000.021s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.630.940.709s0.001s1000.038s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.650.890.621s0.000s1000.016s
ldv-regression/fo_test.c-unsafe.cil.cunsafe1.881.090.823s0.003s2100.072s
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.620.880.651s0.000s2000.028s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.720.970.736s0.000s2000.019s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.891.080.820s0.000s1000.031s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.841.090.775s0.001s2100.041s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown2.031.140.878s0.000s2110.173s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.311.291.046s0.014s8700.185s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.630.940.695s0.001s2100.027s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.570.890.636s0.000s2100.024s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.400.810.571s0.000s2110.029s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.470.780.559s0.000s2110.025s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.360.750.526s0.000s2110.030s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.500.770.540s0.000s2110.024s
ldv-regression/ex3_forlist.c-safe.cil.cunknown1.961.060.826s0.004s4310.218s
ldv-regression/just_assert.c-safe.cil.csafe1.470.790.565s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.660.970.682s0.000s2000.024s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.660.870.645s0.000s2000.022s
ldv-regression/nested_structure-safe.cil.cunsafe1.770.980.751s0.001s1000.070s
ldv-regression/nested_structure.c-safe.cil.cunknown1.550.810.586s0.000s1000.018s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.500.790.568s0.000s1100.018s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.500.770.544s0.000s1100.019s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.850.950.716s0.000s1000.124s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.520.890.659s0.001s1000.019s
ldv-regression/oomInt.c-safe.cil.csafe1.480.840.614s0.000s1100.022s
ldv-regression/oomInt.c-safe_1.cil.csafe1.400.760.534s0.001s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.791.030.741s0.002s2100.050s
ldv-regression/rule60_list.c-safe.cil.cunknown1.821.190.927s0.000s3000.038s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.851.010.756s0.001s2110.136s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.440.770.548s0.000s1100.020s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.620.810.589s0.000s1000.016s
ldv-regression/test_address.c-safe.cil.cunknown1.500.850.622s0.000s1000.017s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.420.760.536s0.000s1100.020s
ldv-regression/test_malloc-1-safe.cil.cunknown1.540.870.605s0.001s2110.058s
ldv-regression/test_malloc-2-safe.cil.cunknown1.530.800.572s0.001s2110.045s
ldv-regression/test_overflow.c-safe.cil.csafe1.500.810.587s0.002s1100.025s
ldv-regression/test_union.c-safe.cil.csafe1.490.760.537s0.001s1100.017s
ldv-regression/test_union.c-safe_1.cil.cunknown1.510.850.629s0.000s1000.015s
ldv-regression/test_union_cast-1-safe.cil.csafe1.520.860.625s0.000s1100.019s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.540.800.574s0.001s2110.046s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.590.830.604s0.000s1000.021s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.440.840.601s0.001s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.470.790.568s0.000s2110.031s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.520.800.559s0.000s2110.028s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown5.983.863.619s0.025s9812.257s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.282.452.211s0.012s4311.092s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.902.231.977s0.007s3210.791s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.681.451.210s0.010s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe2.621.351.101s0.011s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe3.021.581.310s0.012s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe2.971.541.256s0.012s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.751.421.166s0.007s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.741.471.216s0.006s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.761.421.150s0.010s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.731.471.193s0.010s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.521.331.090s0.011s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.801.441.172s0.006s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.665.074.816s0.009s1000.088s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe15.2011.1610.890s0.037s8708.902s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown7.133.042.779s0.016s1100.495s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe14.497.887.625s0.015s5404.213s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe11.695.154.868s0.008s3201.542s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.078.368.068s0.074s3215.194s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown16.8013.1112.852s0.023s65110.879s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe9.464.724.446s0.012s3201.655s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown26.1913.9713.709s0.013s3217.524s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown13.5911.5411.249s0.028s76110.059s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown11.569.138.871s0.010s6517.626s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown21.1417.1116.838s0.025s76114.973s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown19.3116.0015.740s0.027s1110114.018s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown8.105.495.223s0.024s5413.641s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown7.743.623.233s0.057s1100.530s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe13.835.985.702s0.050s1100.794s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown102.2485.8661.102s4.150s4409.654s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.732.792.495s0.025s1100.514s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown6.163.613.333s0.018s3301.638s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe18.839.118.730s0.063s1101.608s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.942.101.797s0.027s1100.307s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe6.373.082.772s0.035s1100.547s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe10.814.323.985s0.100s1100.541s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.5461.5561.038s0.298s3304.946s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe8.684.003.555s0.085s1100.507s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown14.106.155.665s0.154s1100.780s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown10.724.404.036s0.032s1100.474s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown8.786.566.209s0.024s5414.850s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe9.595.354.740s0.229s2200.953s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe8.033.633.275s0.067s2200.641s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe5.932.922.575s0.061s2200.658s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe12.685.365.028s0.101s2201.240s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown8.736.316.027s0.019s7614.656s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown9.755.865.585s0.036s5413.575s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.272.442.170s0.009s3200.465s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe9.604.223.884s0.078s2200.730s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe6.893.533.210s0.053s2201.067s