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-19.0042
Test setintegration-explicitAnalysis
branch-r5662
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 files2211863.921337.111258.06311.6411748159682415.799
correct results102627.21370.24339.9833.5599008510160.201
false negatives36.017.925.0070.0142200.151
false positives49.464.923.9600.0107300.753
score (221 files, max score: 357)137
pthread/fib_bench_BUG.cil.cunknown1.791.260.949s0.001s1000.016s
pthread/fib_bench_longer_BUG.cil.cunknown1.812.041.463s0.000s1000.017s
pthread/queue_BUG.cil.csafe2.163.201.796s0.006s2200.151s
pthread/reorder_5_BUG.cil.csafe1.861.821.440s0.005s0---
pthread/twostage_3_BUG.cil.csafe1.992.901.771s0.003s0---
pthread/fib_bench.cil.cunknown1.783.081.670s0.000s1000.019s
pthread/fib_bench_longer.cil.cunknown1.762.901.499s0.000s1000.013s
pthread/queue_ok.cil.csafe2.303.343.015s0.004s2200.186s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe12.1511.099.760s0.080s434204.979s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe7.184.003.664s0.062s201902.013s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.805.405.075s0.054s424103.218s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.672.492.187s0.034s181700.839s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe12.508.137.801s0.102s525205.279s
ntdrivers-simplified/diskperf_simpl1.cil.csafe8.995.805.475s0.068s252503.359s
ntdrivers-simplified/floppy_simpl3.cil.csafe7.384.163.817s0.048s232301.997s
ntdrivers-simplified/floppy_simpl4.cil.csafe10.645.855.542s0.063s454503.473s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.512.271.851s0.025s111100.693s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.612.392.036s0.038s161600.722s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.493.773.485s0.011s4301.428s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.442.582.230s0.008s3200.891s
ntdrivers/floppy.BUG.i.cil.cunsafe4.572.492.191s0.008s4300.686s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.625.264.958s0.024s131203.657s
ntdrivers/parport.BUG.i.cil.cunsafe6.023.493.183s0.010s4301.586s
ntdrivers/cdaudio.i.cil.csafe33.0927.1626.846s0.082s4545023.683s
ntdrivers/diskperf.i.cil.csafe18.1313.7313.389s0.091s2020010.823s
ntdrivers/floppy.i.cil.cunknown23.5718.5318.191s0.064s4140115.737s
ntdrivers/parport.i.cil.cunknown14.4010.5010.227s0.034s121118.254s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe4.842.552.211s0.030s131200.886s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.752.472.194s0.067s131200.870s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.273.152.796s0.043s131201.150s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.772.552.293s0.030s131200.914s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.721.541.212s0.007s6500.245s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.983.242.925s0.045s191801.293s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.292.602.342s0.037s171600.947s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.281.130.859s0.005s4310.139s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe2.971.471.213s0.012s5400.250s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.021.461.213s0.006s5400.261s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.235.785.491s0.079s161503.065s
ssh-simplified/s3_clnt_1.cil.csafe5.382.692.428s0.039s141401.088s
ssh-simplified/s3_clnt_2.cil.csafe6.113.423.145s0.057s151501.750s
ssh-simplified/s3_clnt_3.cil.csafe6.003.273.012s0.044s141401.626s
ssh-simplified/s3_clnt_4.cil.csafe5.862.992.736s0.039s151501.388s
ssh-simplified/s3_srvr_1a.cil.cunknown1.951.040.790s0.003s8710.144s
ssh-simplified/s3_srvr_1b.cil.cunknown1.640.950.701s0.002s6510.077s
ssh-simplified/s3_srvr_1.cil.cunknown4.322.191.940s0.031s9810.760s
ssh-simplified/s3_srvr_3.cil.cunknown4.172.011.762s0.029s9810.641s
ssh-simplified/s3_srvr_4.cil.cunknown4.612.201.928s0.027s111010.787s
ssh-simplified/s3_srvr_6.cil.csafe9.276.035.754s0.074s141403.320s
ssh-simplified/s3_srvr_7.cil.cunknown4.562.372.088s0.031s111010.936s
ssh-simplified/s3_srvr_8.cil.cunknown4.572.241.970s0.028s10910.824s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.345.645.364s0.040s131213.914s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown7.845.014.751s0.051s121113.301s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown7.985.284.992s0.036s131213.656s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.824.884.620s0.047s121113.130s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.522.001.747s0.020s5400.511s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.181.771.528s0.020s4300.354s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.461.931.679s0.014s4300.379s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.461.981.724s0.013s4300.403s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.703.182.918s0.032s8701.396s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.482.582.318s0.022s7610.973s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown7.765.074.805s0.025s121113.491s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown7.995.174.899s0.036s121113.572s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.531.891.644s0.008s6510.623s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.653.363.119s0.042s8701.561s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown3.922.171.903s0.028s7610.786s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.613.222.964s0.028s8701.441s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.204.604.297s0.030s111012.862s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.413.122.877s0.032s8701.391s
ssh/s3_clnt.blast.01.i.cil.cunknown8.345.515.264s0.047s131214.066s
ssh/s3_clnt.blast.03.i.cil.cunknown19.1415.6315.377s0.038s1817113.992s
ssh/s3_clnt.blast.04.i.cil.cunknown8.415.635.370s0.043s131214.105s
ssh/s3_srvr.blast.01.i.cil.cunknown5.022.752.483s0.033s8711.124s
ssh/s3_srvr.blast.06.i.cil.cunknown12.548.748.466s0.066s232216.408s
ssh/s3_srvr.blast.07.i.cil.cunknown4.012.231.984s0.027s7610.837s
ssh/s3_srvr.blast.08.i.cil.cunknown8.445.355.096s0.047s111013.583s
ssh/s3_srvr.blast.09.i.cil.cunknown3.902.191.924s0.016s7610.831s
ssh/s3_srvr.blast.10.i.cil.cunknown7.404.454.180s0.067s10912.553s
ssh/s3_srvr.blast.12.i.cil.cunknown7.954.834.558s0.057s141312.883s
ssh/s3_srvr.blast.13.i.cil.cunknown4.402.502.225s0.037s7610.963s
ssh/s3_srvr.blast.14.i.cil.cunknown9.866.075.761s0.060s171613.770s
ssh/s3_srvr.blast.15.i.cil.cunknown9.646.376.097s0.048s131214.374s
ssh/s3_srvr.blast.16.i.cil.cunknown11.457.537.244s0.083s201915.287s
locks/test_locks_14.BUG.cunknown2.571.461.191s0.014s161510.408s
locks/test_locks_15.BUG.cunknown2.701.411.143s0.011s171610.399s
locks/test_locks_11.cunknown65.8260.8860.490s0.238s161600.835s
locks/test_locks_12.cunknown65.0960.9660.583s0.163s141400.683s
locks/test_locks_13.cunknown64.8060.8460.498s0.171s141400.609s
locks/test_locks_14.cunknown63.5460.8760.516s0.145s141400.311s
locks/test_locks_15.cunknown63.5660.9160.536s0.162s151500.394s
locks/test_locks_5.csafe2.521.461.138s0.020s101000.172s
locks/test_locks_6.csafe3.481.761.483s0.030s121200.212s
locks/test_locks_7.csafe5.192.492.206s0.068s141400.337s
locks/test_locks_8.csafe6.143.413.127s0.075s161600.377s
locks/test_locks_9.csafe11.878.628.294s0.127s181800.579s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.331.190.951s0.003s2110.287s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.850.940.692s0.001s0---
heap-manipulation/merge_sort_BUG.cil.cunknown1.971.020.748s0.003s3210.121s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown2.891.781.541s0.008s2110.891s
heap-manipulation/bubble_sort_linux.cil.cunknown2.441.271.028s0.007s2110.330s
heap-manipulation/dll_of_dll.cil.cunknown1.640.870.618s0.001s0---
heap-manipulation/merge_sort.cil.cunknown1.790.980.721s0.003s3210.116s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.121.951.718s0.006s2111.066s
list-properties/alternating_list.cil.cunknown1.620.890.668s0.000s2110.076s
list-properties/list.cil.cunknown1.730.890.669s0.002s2110.095s
list-properties/list_flag.cil.cunknown1.680.880.640s0.000s2110.080s
list-properties/simple.cil.cunknown1.730.940.713s0.002s2110.098s
list-properties/simple_built_from_end.cil.cunknown1.680.900.670s0.002s3210.095s
list-properties/splice.cil.cunknown2.071.120.833s0.003s3210.194s
systemc/token_ring.01.BUG.cil.cunknown3.662.171.880s0.017s121110.925s
systemc/token_ring.02.BUG.cil.cunknown6.563.973.701s0.034s222112.482s
systemc/token_ring.03.BUG.cil.cunknown9.726.556.282s0.054s292814.886s
systemc/transmitter.01.BUG.cil.cunsafe4.202.422.130s0.030s151401.102s
systemc/transmitter.02.BUG.cil.cunsafe7.434.464.185s0.028s222102.933s
systemc/transmitter.03.BUG.cil.cunsafe9.626.306.035s0.040s272604.599s
systemc/transmitter.04.BUG.cil.cunsafe22.4117.1816.776s0.185s3736011.703s
systemc/bist_cell.cil.cunknown2.841.641.380s0.014s6510.526s
systemc/kundu.cil.cunknown17.0012.6312.253s0.055s2019110.203s
systemc/mem_slave_tlm.1.cil.csafe8.385.795.498s0.046s121204.242s
systemc/mem_slave_tlm.2.cil.csafe15.8412.8812.584s0.038s1313011.253s
systemc/pc_sfifo_1.cil.cunknown68.9661.7161.075s0.299s9900.643s
systemc/pc_sfifo_2.cil.cunknown68.3361.2960.610s0.333s111101.222s
systemc/pc_sfifo_3.cil.csafe2.431.411.077s0.013s2200.190s
systemc/token_ring.01.cil.cunknown3.462.131.870s0.022s121110.915s
systemc/token_ring.04.cil.cunknown12.048.418.125s0.050s323116.740s
systemc/toy.cil.cunknown2.831.521.274s0.010s6510.491s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.550.880.640s0.001s1000.020s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.630.870.642s0.000s1000.034s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.450.780.559s0.000s1000.014s
ldv-regression/fo_test.c-unsafe.cil.cunsafe1.740.900.665s0.002s2100.058s
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.560.900.672s0.000s2000.023s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.540.840.612s0.000s2000.021s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.540.840.613s0.000s1000.029s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.560.860.634s0.000s2100.040s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.820.950.718s0.002s2110.156s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.001.120.891s0.016s8700.177s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.510.830.605s0.003s2100.026s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.460.810.584s0.002s2100.024s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.480.770.550s0.001s2110.030s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.470.780.550s0.000s2110.023s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.460.770.543s0.000s2110.030s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.520.790.559s0.000s2110.024s
ldv-regression/ex3_forlist.c-safe.cil.cunknown2.001.150.915s0.006s4310.257s
ldv-regression/just_assert.c-safe.cil.csafe1.440.750.521s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.540.870.647s0.000s2000.028s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.440.870.644s0.000s2000.021s
ldv-regression/nested_structure-safe.cil.cunsafe1.760.980.738s0.000s1000.067s
ldv-regression/nested_structure.c-safe.cil.cunknown1.540.820.590s0.000s1000.019s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.470.760.535s0.001s1100.019s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.500.790.565s0.000s1100.019s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.810.950.708s0.000s1000.124s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.520.820.590s0.000s1000.024s
ldv-regression/oomInt.c-safe.cil.csafe1.440.760.538s0.001s1100.021s
ldv-regression/oomInt.c-safe_1.cil.csafe1.440.750.513s0.001s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.610.890.663s0.002s2100.051s
ldv-regression/rule60_list.c-safe.cil.cunknown1.590.950.722s0.002s3000.041s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.800.930.692s0.001s2110.135s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.430.760.536s0.000s1100.019s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.580.890.662s0.000s1000.015s
ldv-regression/test_address.c-safe.cil.cunknown1.500.820.595s0.001s1000.018s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.430.750.530s0.000s1100.018s
ldv-regression/test_malloc-1-safe.cil.cunknown1.560.810.583s0.001s2110.057s
ldv-regression/test_malloc-2-safe.cil.cunknown1.530.800.571s0.000s2110.045s
ldv-regression/test_overflow.c-safe.cil.csafe1.400.760.534s0.001s1100.025s
ldv-regression/test_union.c-safe.cil.csafe1.480.770.540s0.000s1100.018s
ldv-regression/test_union.c-safe_1.cil.cunknown1.600.890.653s0.000s1000.014s
ldv-regression/test_union_cast-1-safe.cil.csafe1.640.940.662s0.001s1100.022s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.750.970.682s0.000s2110.058s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.650.920.671s0.000s1000.020s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.430.790.555s0.000s1100.019s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.580.800.573s0.000s2110.034s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.360.790.533s0.000s2110.030s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown5.963.873.629s0.033s9812.237s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.292.482.228s0.013s4311.103s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.762.151.909s0.007s3210.763s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.661.351.106s0.008s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe2.661.421.167s0.010s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.691.421.180s0.014s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe2.641.431.174s0.005s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.611.381.123s0.016s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.591.351.101s0.008s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.701.501.252s0.007s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe3.191.631.354s0.009s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.991.601.313s0.009s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.711.491.223s0.005s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe13.024.964.706s0.010s1000.087s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe15.6211.1010.831s0.052s8708.844s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown6.232.802.512s0.022s1100.511s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe18.019.168.846s0.018s5404.210s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe11.225.224.923s0.013s3201.614s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.548.217.923s0.048s3215.220s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown15.6612.5012.211s0.020s65110.277s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe9.104.454.179s0.019s3201.506s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown24.1713.1012.849s0.009s3217.204s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown14.0911.8111.553s0.020s76110.356s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown12.189.609.320s0.020s6517.956s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown20.5916.6216.331s0.021s76114.426s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown18.0415.0414.792s0.020s1110113.259s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown8.055.355.100s0.025s5413.587s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown10.114.133.650s0.069s1100.537s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe13.305.625.328s0.034s1100.730s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown89.1373.9062.524s3.994s4409.920s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.342.642.353s0.023s1100.469s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown6.103.483.152s0.018s3301.477s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe19.078.928.579s0.062s1101.375s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.681.911.615s0.015s1100.318s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe6.242.902.630s0.046s1100.479s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe11.154.554.120s0.084s1100.581s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.8561.4960.911s0.329s3305.069s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe9.204.524.029s0.158s1100.584s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown14.105.685.218s0.187s1100.739s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown12.214.474.151s0.028s1100.610s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown7.925.885.623s0.007s5414.422s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe9.785.434.907s0.199s2201.023s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe8.534.203.767s0.136s2200.699s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe6.333.112.744s0.061s2200.656s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe13.025.505.180s0.088s2201.141s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown8.376.005.746s0.018s7614.446s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown10.335.925.647s0.041s5413.609s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.282.101.851s0.008s3200.511s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe9.204.303.958s0.055s2200.757s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe6.953.533.205s0.059s2201.100s