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.0906
Test setintegration-explicitAnalysis
branch-r5631
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 files2232041.811503.271410.47012.5831780162982490.981
correct results102697.53427.11397.0933.5289138650212.258
false negatives35.913.272.4080.0092200.139
false positives49.915.424.3700.0147300.697
score (223 files, max score: 361)138
pthread/fib_bench_BUG.cil.cunknown1.470.870.628s0.002s1000.012s
pthread/fib_bench_longer_BUG.cil.cunknown1.480.870.603s0.000s1000.013s
pthread/queue_BUG.cil.csafe2.081.140.880s0.002s2200.139s
pthread/reorder_5_BUG.cil.csafe2.001.130.793s0.002s0---
pthread/twostage_3_BUG.cil.csafe1.831.000.735s0.005s0---
pthread/fib_bench.cil.cunknown1.770.920.658s0.000s1000.017s
pthread/fib_bench_longer.cil.cunknown1.680.850.597s0.000s1000.013s
pthread/queue_ok.cil.csafe2.001.080.825s0.000s2200.102s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe11.947.076.712s0.082s434204.333s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe6.803.613.362s0.052s201901.732s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe9.885.274.981s0.044s424102.983s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.242.271.987s0.031s181700.790s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe11.506.916.567s0.100s525204.394s
ntdrivers-simplified/diskperf_simpl1.cil.csafe7.864.874.507s0.079s252502.734s
ntdrivers-simplified/floppy_simpl3.cil.csafe6.783.613.331s0.049s232301.678s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.805.535.191s0.069s454503.160s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.362.051.688s0.020s111100.512s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.292.151.892s0.033s161600.707s
ntdrivers/cdaudio.BUG.i.cil.cunsafe5.983.052.771s0.008s4301.112s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.302.502.241s0.011s3200.945s
ntdrivers/floppy.BUG.i.cil.cunsafe4.772.522.245s0.005s4300.717s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe7.104.664.400s0.028s131203.062s
ntdrivers/parport.BUG.i.cil.cunsafe6.053.453.209s0.015s4301.541s
ntdrivers/cdaudio.i.cil.csafe31.7225.9825.673s0.090s4545022.705s
ntdrivers/diskperf.i.cil.csafe17.4413.4113.089s0.086s2020010.599s
ntdrivers/floppy.i.cil.cunknown21.4116.7616.494s0.062s4140114.352s
ntdrivers/parport.i.cil.cunknown14.2910.229.937s0.041s121117.856s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe5.002.682.388s0.043s131200.934s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.582.422.125s0.027s131200.799s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.132.732.468s0.031s131201.042s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe4.792.502.205s0.040s131200.874s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.541.361.042s0.006s6500.183s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.432.862.599s0.051s191801.142s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.192.482.206s0.023s171600.882s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.511.321.021s0.002s4310.157s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.071.531.228s0.014s5400.235s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.461.831.542s0.019s5400.319s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.386.095.803s0.101s161503.193s
ssh-simplified/s3_clnt_1.cil.csafe5.442.902.639s0.047s141401.139s
ssh-simplified/s3_clnt_2.cil.csafe6.183.423.160s0.046s151501.752s
ssh-simplified/s3_clnt_3.cil.csafe6.123.283.005s0.036s141401.657s
ssh-simplified/s3_clnt_4.cil.csafe5.743.283.012s0.076s151501.518s
ssh-simplified/s3_srvr_1a.cil.cunknown2.161.251.003s0.013s8710.194s
ssh-simplified/s3_srvr_1b.cil.cunknown1.821.010.759s0.000s6510.073s
ssh-simplified/s3_srvr_1.cil.cunknown4.462.221.910s0.036s9810.691s
ssh-simplified/s3_srvr_3.cil.cunknown3.841.841.583s0.026s9810.530s
ssh-simplified/s3_srvr_4.cil.cunknown4.662.191.947s0.048s111010.774s
ssh-simplified/s3_srvr_6.cil.csafe8.915.735.452s0.081s141403.240s
ssh-simplified/s3_srvr_7.cil.cunknown4.622.532.262s0.032s111010.932s
ssh-simplified/s3_srvr_8.cil.cunknown4.832.432.170s0.035s10910.912s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.345.675.308s0.029s131213.867s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown7.414.714.438s0.041s121113.042s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown8.055.395.100s0.044s131213.701s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.424.714.449s0.050s121113.033s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.772.151.908s0.018s5400.514s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.582.001.733s0.015s4300.425s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.702.071.796s0.018s4300.464s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.632.041.765s0.013s4300.403s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe6.013.513.233s0.027s8701.535s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.302.382.104s0.023s7610.848s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown8.515.555.265s0.044s121113.654s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.365.495.204s0.034s121113.716s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.762.171.922s0.021s6510.694s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.783.433.175s0.025s8701.566s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.112.332.052s0.030s7610.800s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.793.323.022s0.037s8701.470s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.764.944.657s0.032s111013.201s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe6.013.633.321s0.025s8701.632s
ssh/s3_clnt.blast.01.i.cil.cunknown9.536.746.405s0.055s131214.797s
ssh/s3_clnt.blast.03.i.cil.cunknown22.0118.4718.113s0.069s1817116.287s
ssh/s3_clnt.blast.04.i.cil.cunknown9.046.075.792s0.042s131214.281s
ssh/s3_srvr.blast.01.i.cil.cunknown5.563.212.937s0.040s8711.300s
ssh/s3_srvr.blast.06.i.cil.cunknown14.2410.029.726s0.089s232217.272s
ssh/s3_srvr.blast.07.i.cil.cunknown4.532.632.313s0.021s7610.943s
ssh/s3_srvr.blast.08.i.cil.cunknown9.586.305.979s0.050s111014.264s
ssh/s3_srvr.blast.09.i.cil.cunknown4.632.562.212s0.027s7610.936s
ssh/s3_srvr.blast.10.i.cil.cunknown7.944.654.373s0.034s10912.752s
ssh/s3_srvr.blast.12.i.cil.cunknown7.854.504.243s0.046s141312.604s
ssh/s3_srvr.blast.13.i.cil.cunknown4.722.752.452s0.031s7611.031s
ssh/s3_srvr.blast.14.i.cil.cunknown11.067.076.730s0.068s171614.505s
ssh/s3_srvr.blast.15.i.cil.cunknown10.507.156.744s0.061s131214.844s
ssh/s3_srvr.blast.16.i.cil.cunknown12.368.548.180s0.071s201915.746s
locks/test_locks_14.BUG.cunknown3.322.161.754s0.015s161510.549s
locks/test_locks_15.BUG.cunknown2.941.691.394s0.017s171610.451s
locks/test_locks_10.cunknown65.5460.9560.541s0.274s202001.212s
locks/test_locks_11.cunknown65.3061.1060.655s0.266s151500.716s
locks/test_locks_12.cunknown64.9361.0460.653s0.271s141400.744s
locks/test_locks_13.cunknown64.9061.0360.637s0.206s141400.706s
locks/test_locks_14.cunknown63.1560.9960.592s0.192s141400.346s
locks/test_locks_15.cunknown61.8863.4661.602s0.195s151500.438s
locks/test_locks_5.csafe2.461.331.073s0.014s101000.155s
locks/test_locks_6.csafe3.121.571.286s0.034s121200.205s
locks/test_locks_7.csafe4.782.382.077s0.058s141400.338s
locks/test_locks_8.csafe6.223.523.188s0.076s161600.388s
locks/test_locks_9.csafe16.1812.7012.304s0.130s181800.699s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.821.551.225s0.004s2110.322s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.921.100.810s0.001s0---
heap-manipulation/merge_sort_BUG.cil.cunknown2.101.170.914s0.002s3210.122s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown3.522.292.024s0.005s2111.269s
heap-manipulation/bubble_sort_linux.cil.cunknown2.821.581.282s0.007s2110.361s
heap-manipulation/dll_of_dll.cil.cunknown1.891.060.782s0.000s0---
heap-manipulation/merge_sort.cil.cunknown2.191.371.026s0.001s3210.123s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.722.442.167s0.008s2111.352s
list-properties/alternating_list.cil.cunknown1.701.130.787s0.000s2110.074s
list-properties/list.cil.cunknown1.951.200.875s0.004s2110.101s
list-properties/list_flag.cil.cunknown1.951.070.816s0.000s2110.097s
list-properties/simple.cil.cunknown1.861.100.777s0.000s2110.091s
list-properties/simple_built_from_end.cil.cunknown1.771.160.815s0.000s3210.106s
list-properties/splice.cil.cunknown2.131.341.094s0.007s3210.270s
systemc/token_ring.01.BUG.cil.cunknown3.612.241.889s0.022s121110.887s
systemc/token_ring.02.BUG.cil.cunknown6.734.123.860s0.047s222112.582s
systemc/token_ring.03.BUG.cil.cunknown10.276.756.427s0.053s292814.959s
systemc/transmitter.01.BUG.cil.cunsafe4.422.502.226s0.032s151401.093s
systemc/transmitter.02.BUG.cil.cunsafe7.834.804.518s0.046s222103.157s
systemc/transmitter.03.BUG.cil.cunsafe10.457.176.876s0.053s272605.387s
systemc/transmitter.04.BUG.cil.cunsafe23.5618.3317.991s0.172s3736011.555s
systemc/bist_cell.cil.cunknown3.041.741.455s0.017s6510.535s
systemc/kundu.cil.cunknown17.5913.4813.095s0.080s2019110.646s
systemc/mem_slave_tlm.1.cil.csafe9.066.526.215s0.040s121204.747s
systemc/mem_slave_tlm.2.cil.csafe17.1913.8913.584s0.048s1313011.982s
systemc/mem_slave_tlm.4.cil.csafe61.9957.9557.591s0.078s1515055.522s
systemc/pc_sfifo_1.cil.cunknown68.3461.0760.508s0.430s9900.743s
systemc/pc_sfifo_2.cil.cunknown68.5561.2660.551s0.318s111101.072s
systemc/pc_sfifo_3.cil.csafe2.141.220.959s0.009s2200.161s
systemc/token_ring.01.cil.cunknown3.762.262.014s0.023s121110.981s
systemc/token_ring.04.cil.cunknown12.279.088.789s0.074s323117.050s
systemc/toy.cil.cunknown3.151.791.450s0.020s6510.526s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.670.990.734s0.001s1000.028s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.801.360.855s0.002s1000.031s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.601.030.791s0.000s1000.053s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.180.71------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.681.040.739s0.000s2000.026s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.830.990.725s0.000s2000.021s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.640.930.666s0.001s1000.042s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.711.000.753s0.002s2100.041s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.941.090.844s0.004s2110.165s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.441.291.016s0.015s8700.180s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.590.880.640s0.000s2100.031s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.810.960.695s0.000s2100.025s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.510.850.605s0.001s2110.028s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.540.850.611s0.000s2110.023s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.470.830.566s0.000s2110.030s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.620.860.620s0.000s2110.023s
ldv-regression/ex3_forlist.c-safe.cil.cunknown1.951.080.844s0.005s4310.219s
ldv-regression/just_assert.c-safe.cil.csafe1.440.820.563s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.660.970.719s0.000s2000.023s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.761.010.744s0.000s2000.020s
ldv-regression/nested_structure-safe.cil.cunsafe1.831.030.767s0.000s1000.046s
ldv-regression/nested_structure.c-safe.cil.cunknown1.700.960.686s0.000s1000.019s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.520.840.606s0.001s1100.019s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.760.950.686s0.000s1100.020s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe1.801.000.756s0.001s1000.103s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.730.960.701s0.001s1000.032s
ldv-regression/oomInt.c-safe.cil.csafe1.490.810.569s0.000s1100.021s
ldv-regression/oomInt.c-safe_1.cil.csafe1.480.770.541s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.640.920.677s0.000s2100.048s
ldv-regression/rule60_list.c-safe.cil.cunknown1.641.000.752s0.002s3000.043s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.761.010.755s0.001s2110.148s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.620.930.680s0.001s1100.029s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.720.940.689s0.000s1000.015s
ldv-regression/test_address.c-safe.cil.cunknown1.630.890.661s0.000s1000.017s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.600.870.626s0.000s1100.020s
ldv-regression/test_malloc-1-safe.cil.cunknown1.760.920.676s0.001s2110.051s
ldv-regression/test_malloc-2-safe.cil.cunknown1.760.960.724s0.001s2110.050s
ldv-regression/test_overflow.c-safe.cil.csafe1.570.840.601s0.000s1100.024s
ldv-regression/test_union.c-safe.cil.csafe1.740.960.662s0.000s1100.017s
ldv-regression/test_union.c-safe_1.cil.cunknown1.640.980.707s0.000s1000.014s
ldv-regression/test_union_cast-1-safe.cil.csafe1.681.010.709s0.000s1100.020s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.660.970.704s0.000s2110.065s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.751.040.744s0.000s1000.020s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.630.910.677s0.000s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.600.990.714s0.000s2110.041s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.760.980.716s0.001s2110.028s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown6.844.844.593s0.034s9812.897s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.462.532.268s0.007s4311.112s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown4.002.201.928s0.002s3210.794s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.771.421.141s0.008s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.201.651.336s0.016s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.741.441.154s0.009s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe2.751.481.192s0.011s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.821.421.160s0.011s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe3.051.611.338s0.014s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.781.511.257s0.011s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.841.471.220s0.015s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.971.491.233s0.012s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.791.451.181s0.010s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe14.915.465.202s0.010s1000.080s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe14.9710.8310.538s0.034s8708.570s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown6.492.972.714s0.015s1100.464s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe16.618.478.189s0.016s5404.239s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe11.775.415.144s0.009s3201.633s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown14.609.118.737s0.096s3215.945s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown17.2513.8213.500s0.021s65111.245s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe9.494.604.320s0.011s3201.480s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown28.1214.6714.400s0.013s3217.521s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown14.2411.9011.627s0.019s76110.384s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown11.449.609.337s0.016s6518.079s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown20.8522.4021.203s0.019s76116.659s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown18.1919.2618.979s0.024s1110117.431s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown8.0811.9511.706s0.026s5417.273s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown8.743.983.615s0.049s1100.631s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe15.316.446.030s0.044s1100.794s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown103.7887.1663.173s4.080s44011.325s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.432.672.374s0.039s1100.447s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown6.273.493.199s0.015s3301.553s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe18.398.648.305s0.053s1101.335s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown4.082.071.773s0.020s1100.288s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe7.013.282.965s0.036s1100.559s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe10.074.173.778s0.088s1100.530s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown67.1361.4260.848s0.321s3305.066s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe8.773.923.529s0.100s1100.496s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown16.796.065.660s0.214s1100.807s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown9.163.803.536s0.033s1100.351s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown8.096.015.737s0.015s5414.576s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe10.365.715.117s0.211s2200.925s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe8.804.143.739s0.089s2200.740s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe6.243.022.673s0.062s2200.636s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe14.066.085.721s0.066s2201.201s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown8.606.105.801s0.010s7614.469s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown10.346.235.953s0.058s5413.868s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.642.472.170s0.013s3200.500s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe10.344.764.403s0.063s2200.822s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe6.553.282.934s0.046s2200.990s