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.0958
Test setintegration-explicitAnalysis
branch-r5639
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 files2231955.781432.251355.4039.1721781163082474.806
correct results103717.90455.63426.4733.7649338850206.740
false negatives35.142.902.1090.0082200.101
false positives49.575.174.0550.0127300.637
score (223 files, max score: 361)140
pthread/fib_bench_BUG.cil.cunknown1.601.000.667s0.000s1000.013s
pthread/fib_bench_longer_BUG.cil.cunknown1.651.000.653s0.000s1000.011s
pthread/queue_BUG.cil.csafe1.801.080.779s0.003s2200.101s
pthread/reorder_5_BUG.cil.csafe1.700.920.677s0.003s0---
pthread/twostage_3_BUG.cil.csafe1.640.900.653s0.002s0---
pthread/fib_bench.cil.cunknown1.470.820.566s0.000s1000.013s
pthread/fib_bench_longer.cil.cunknown1.540.850.585s0.001s1000.013s
pthread/queue_ok.cil.csafe1.841.040.795s0.002s2200.137s
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.cunsafe10.426.065.784s0.069s434203.913s
ntdrivers-simplified/floppy_simpl3_BUG.cil.cunsafe6.023.042.785s0.040s201901.376s
ntdrivers-simplified/floppy_simpl4_BUG.cil.cunsafe8.624.674.392s0.067s424102.658s
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.cunsafe4.312.272.000s0.041s181700.805s
ntdrivers-simplified/cdaudio_simpl1.cil.csafe11.406.956.619s0.083s525204.456s
ntdrivers-simplified/diskperf_simpl1.cil.csafe7.484.584.271s0.061s252502.591s
ntdrivers-simplified/floppy_simpl3.cil.csafe6.603.613.319s0.050s232301.750s
ntdrivers-simplified/floppy_simpl4.cil.csafe9.425.244.905s0.053s454503.038s
ntdrivers-simplified/kbfiltr_simpl1.cil.csafe3.341.941.681s0.017s111100.621s
ntdrivers-simplified/kbfiltr_simpl2.cil.csafe4.452.262.001s0.040s161600.694s
ntdrivers/cdaudio.BUG.i.cil.cunsafe6.543.733.432s0.017s4301.583s
ntdrivers/diskperf.BUG.i.cil.cunsafe4.522.672.388s0.007s3201.123s
ntdrivers/floppy.BUG.i.cil.cunsafe4.942.902.590s0.010s4300.718s
ntdrivers/kbfiltr.BUG.i.cil.cunsafe6.774.594.320s0.025s131203.080s
ntdrivers/parport.BUG.i.cil.cunsafe5.853.413.166s0.010s4301.464s
ntdrivers/cdaudio.i.cil.csafe29.4024.0123.721s0.089s4545020.874s
ntdrivers/diskperf.i.cil.csafe17.6513.1912.861s0.078s2020010.289s
ntdrivers/floppy.i.cil.cunknown23.2218.4018.129s0.074s4140115.506s
ntdrivers/parport.i.cil.cunknown14.3210.4410.123s0.032s121118.037s
ssh-simplified/s3_clnt_1_BUG.cil.cunsafe4.672.382.092s0.026s131200.799s
ssh-simplified/s3_clnt_2_BUG.cil.cunsafe4.792.512.230s0.043s131200.891s
ssh-simplified/s3_clnt_3_BUG.cil.cunsafe5.512.762.482s0.038s131201.013s
ssh-simplified/s3_clnt_4_BUG.cil.cunsafe5.182.722.457s0.044s131200.987s
ssh-simplified/s3_srvr_10_BUG.cil.cunsafe2.861.471.203s0.011s6500.238s
ssh-simplified/s3_srvr_11_BUG.cil.cunsafe5.302.812.499s0.053s191801.131s
ssh-simplified/s3_srvr_12_BUG.cil.cunsafe5.102.632.354s0.037s171600.975s
ssh-simplified/s3_srvr_14_BUG.cil.cunknown2.181.120.867s0.003s4310.140s
ssh-simplified/s3_srvr_1_BUG.cil.cunsafe3.051.491.229s0.021s5400.238s
ssh-simplified/s3_srvr_2_BUG.cil.cunsafe3.151.651.388s0.028s5400.306s
ssh-simplified/s3_srvr_6_BUG.cil.cunsafe9.165.895.611s0.092s161503.117s
ssh-simplified/s3_clnt_1.cil.csafe5.172.732.478s0.042s141401.086s
ssh-simplified/s3_clnt_2.cil.csafe6.273.573.317s0.037s151501.803s
ssh-simplified/s3_clnt_3.cil.csafe6.013.323.058s0.049s141401.665s
ssh-simplified/s3_clnt_4.cil.csafe6.023.373.091s0.052s151501.581s
ssh-simplified/s3_srvr_1a.cil.cunknown2.141.180.893s0.005s8710.151s
ssh-simplified/s3_srvr_1b.cil.cunknown1.811.100.843s0.003s6510.087s
ssh-simplified/s3_srvr_1.cil.cunknown4.502.161.843s0.035s9810.704s
ssh-simplified/s3_srvr_3.cil.cunknown4.212.151.870s0.033s9810.627s
ssh-simplified/s3_srvr_4.cil.cunknown4.782.452.086s0.034s111010.800s
ssh-simplified/s3_srvr_6.cil.csafe8.765.925.566s0.078s141403.249s
ssh-simplified/s3_srvr_7.cil.cunknown4.902.712.387s0.035s111010.901s
ssh-simplified/s3_srvr_8.cil.cunknown4.702.342.082s0.039s10910.888s
ssh/s3_clnt.blast.01.BUG.i.cil.cunknown8.325.335.035s0.049s131213.751s
ssh/s3_clnt.blast.02.BUG.i.cil.cunknown7.484.554.299s0.035s121112.953s
ssh/s3_clnt.blast.03.BUG.i.cil.cunknown7.744.994.737s0.024s131213.493s
ssh/s3_clnt.blast.04.BUG.i.cil.cunknown7.864.984.722s0.044s121113.342s
ssh/s3_srvr.blast.01.BUG.i.cil.cunsafe3.782.091.827s0.019s5400.495s
ssh/s3_srvr.blast.02.BUG.i.cil.cunsafe3.341.861.575s0.016s4300.368s
ssh/s3_srvr.blast.03.BUG.i.cil.cunsafe3.421.991.730s0.012s4300.361s
ssh/s3_srvr.blast.04.BUG.i.cil.cunsafe3.351.871.619s0.026s4300.375s
ssh/s3_srvr.blast.06.BUG.i.cil.cunsafe5.493.062.808s0.025s8701.383s
ssh/s3_srvr.blast.07.BUG.i.cil.cunknown4.112.352.096s0.033s7610.895s
ssh/s3_srvr.blast.08.BUG.i.cil.cunknown8.115.244.978s0.042s121113.621s
ssh/s3_srvr.blast.10.BUG.i.cil.cunknown8.235.315.033s0.039s121113.656s
ssh/s3_srvr.blast.11.BUG.i.cil.cunknown3.942.221.913s0.031s6510.679s
ssh/s3_srvr.blast.12.BUG.i.cil.cunsafe5.773.393.132s0.027s8701.705s
ssh/s3_srvr.blast.13.BUG.i.cil.cunknown4.312.382.114s0.025s7610.836s
ssh/s3_srvr.blast.14.BUG.i.cil.cunsafe5.643.283.009s0.061s8701.421s
ssh/s3_srvr.blast.15.BUG.i.cil.cunknown7.434.824.554s0.039s111013.136s
ssh/s3_srvr.blast.16.BUG.i.cil.cunsafe5.623.343.006s0.032s8701.407s
ssh/s3_clnt.blast.01.i.cil.cunknown9.466.626.346s0.055s131214.875s
ssh/s3_clnt.blast.03.i.cil.cunknown20.8717.3016.963s0.061s1817115.109s
ssh/s3_clnt.blast.04.i.cil.cunknown8.695.835.494s0.034s131214.031s
ssh/s3_srvr.blast.01.i.cil.cunknown6.233.473.186s0.046s8711.506s
ssh/s3_srvr.blast.06.i.cil.cunknown14.3310.5010.197s0.132s232217.509s
ssh/s3_srvr.blast.07.i.cil.cunknown4.322.782.511s0.022s7611.133s
ssh/s3_srvr.blast.08.i.cil.cunknown8.105.315.004s0.051s111013.289s
ssh/s3_srvr.blast.09.i.cil.cunknown4.102.372.123s0.022s7610.892s
ssh/s3_srvr.blast.10.i.cil.cunknown6.964.243.963s0.044s10912.589s
ssh/s3_srvr.blast.12.i.cil.cunknown7.544.424.139s0.055s141312.475s
ssh/s3_srvr.blast.13.i.cil.cunknown3.982.622.349s0.023s7611.187s
ssh/s3_srvr.blast.14.i.cil.cunknown8.3816.6416.130s0.049s1716114.565s
ssh/s3_srvr.blast.15.i.cil.cunknown8.728.528.258s0.040s131216.253s
ssh/s3_srvr.blast.16.i.cil.cunknown10.327.687.401s0.077s201915.570s
locks/test_locks_14.BUG.cunknown2.161.210.976s0.004s161510.330s
locks/test_locks_15.BUG.cunknown2.291.341.101s0.011s171610.367s
locks/test_locks_10.csafe54.4550.1149.732s0.259s202001.050s
locks/test_locks_11.cunknown65.4560.9560.616s0.253s161600.990s
locks/test_locks_12.cunknown64.9860.9360.570s0.180s141400.641s
locks/test_locks_13.cunknown64.8660.8760.490s0.136s141400.725s
locks/test_locks_14.cunknown63.6861.1060.663s0.179s141400.457s
locks/test_locks_15.cunknown63.5560.9660.581s0.173s151500.408s
locks/test_locks_5.csafe2.281.200.951s0.017s101000.135s
locks/test_locks_6.csafe3.021.491.223s0.028s121200.189s
locks/test_locks_7.csafe4.712.211.928s0.044s141400.307s
locks/test_locks_8.csafe5.623.333.019s0.059s161600.381s
locks/test_locks_9.csafe11.358.428.095s0.092s181800.585s
heap-manipulation/bubble_sort_linux_BUG.cil.cunknown2.361.200.958s0.002s2110.272s
heap-manipulation/dll_of_dll_BUG.cil.cunknown1.610.870.642s0.004s0---
heap-manipulation/merge_sort_BUG.cil.cunknown1.790.970.735s0.001s3210.110s
heap-manipulation/sll_to_dll_rev_BUG.cil.cunknown2.961.911.663s0.000s2110.966s
heap-manipulation/bubble_sort_linux.cil.cunknown2.381.190.946s0.002s2110.264s
heap-manipulation/dll_of_dll.cil.cunknown1.570.830.606s0.000s0---
heap-manipulation/merge_sort.cil.cunknown1.780.980.730s0.004s3210.109s
heap-manipulation/sll_to_dll_rev.cil.cunknown3.111.951.708s0.002s2111.070s
list-properties/alternating_list.cil.cunknown1.580.850.623s0.000s2110.068s
list-properties/list.cil.cunknown1.570.940.688s0.000s2110.086s
list-properties/list_flag.cil.cunknown1.580.830.604s0.000s2110.066s
list-properties/simple.cil.cunknown1.490.860.623s0.001s2110.085s
list-properties/simple_built_from_end.cil.cunknown1.410.830.610s0.002s3210.083s
list-properties/splice.cil.cunknown1.861.000.770s0.005s3210.181s
systemc/token_ring.01.BUG.cil.cunknown3.421.951.696s0.024s121110.819s
systemc/token_ring.02.BUG.cil.cunknown6.303.823.571s0.042s222112.457s
systemc/token_ring.03.BUG.cil.cunknown9.366.195.935s0.049s292814.557s
systemc/transmitter.01.BUG.cil.cunsafe4.702.792.494s0.042s151401.245s
systemc/transmitter.02.BUG.cil.cunsafe7.074.273.998s0.035s222102.810s
systemc/transmitter.03.BUG.cil.cunsafe8.935.925.670s0.053s272604.407s
systemc/transmitter.04.BUG.cil.cunsafe20.9016.3015.963s0.187s3736010.813s
systemc/bist_cell.cil.cunknown2.721.471.217s0.012s6510.416s
systemc/kundu.cil.cunknown16.1912.1711.899s0.076s201919.943s
systemc/mem_slave_tlm.1.cil.csafe8.916.115.810s0.040s121204.372s
systemc/mem_slave_tlm.2.cil.csafe18.1414.7414.434s0.048s1313012.899s
systemc/mem_slave_tlm.4.cil.csafe60.8656.6156.271s0.078s1515054.021s
systemc/pc_sfifo_1.cil.cunknown68.5861.0660.492s0.340s9900.598s
systemc/pc_sfifo_2.cil.cunknown70.3361.1260.508s0.493s111101.175s
systemc/pc_sfifo_3.cil.csafe2.061.130.877s0.007s2200.145s
systemc/token_ring.01.cil.cunknown3.702.111.851s0.026s121110.846s
systemc/token_ring.04.cil.cunknown12.148.458.146s0.048s323116.645s
systemc/toy.cil.cunknown3.091.681.425s0.016s6510.531s
ldv-regression/1_3.c-unsafe.cil.cunsafe1.560.920.666s0.003s1000.019s
ldv-regression/alt_test.c-unsafe.cil.cunsafe1.810.990.730s0.000s1000.031s
ldv-regression/callfpointer.c-unsafe.cil.cunsafe1.660.950.676s0.001s1000.014s
ldv-regression/fo_test.c-unsafe.cil.cunknown1.320.72------
ldv-regression/mutex_lock_int.c-unsafe.cil.cunsafe1.580.880.635s0.000s2000.025s
ldv-regression/mutex_lock_struct.c-unsafe.cil.cunsafe1.540.850.617s0.000s2000.021s
ldv-regression/recursive_list.c-unsafe.cil.cunsafe1.590.870.646s0.000s1000.027s
ldv-regression/rule57_ebda_blast.c-unsafe.cil.cunsafe1.580.940.708s0.003s2100.037s
ldv-regression/rule60_list2.c-unsafe_1.cil.cunknown1.961.130.863s0.003s2110.167s
ldv-regression/stateful_check-unsafe.cil.cunsafe2.221.311.016s0.013s8700.179s
ldv-regression/test_while_int.c-unsafe.cil.cunsafe1.700.970.713s0.001s2100.027s
ldv-regression/test_while_int.c-unsafe_1.cil.cunsafe1.610.900.668s0.000s2100.027s
ldv-regression/alias_of_return.c-safe.cil.cunknown1.580.870.640s0.000s2110.027s
ldv-regression/alias_of_return.c-safe_1.cil.cunknown1.640.880.625s0.000s2110.025s
ldv-regression/alias_of_return_2.c-safe.cil.cunknown1.560.880.631s0.000s2110.031s
ldv-regression/alias_of_return_2.c-safe_1.cil.cunknown1.600.830.594s0.000s2110.023s
ldv-regression/ex3_forlist.c-safe.cil.cunknown2.151.210.944s0.009s4310.264s
ldv-regression/just_assert.c-safe.cil.csafe1.560.870.602s0.000s0---
ldv-regression/mutex_lock_int.c-safe_1.cil.cunknown1.751.010.751s0.000s2000.027s
ldv-regression/mutex_lock_struct.c-safe_1.cil.cunknown1.801.020.765s0.000s2000.025s
ldv-regression/nested_structure-safe.cil.cunsafe1.640.910.642s0.000s1000.048s
ldv-regression/nested_structure.c-safe.cil.cunknown1.700.960.708s0.000s1000.020s
ldv-regression/nested_structure_noptr-safe.cil.csafe1.720.910.653s0.000s1100.022s
ldv-regression/nested_structure_noptr.c-safe.cil.csafe1.750.940.624s0.000s1100.019s
ldv-regression/nested_structure_ptr-safe.cil.cunsafe2.031.120.841s0.000s1000.110s
ldv-regression/nested_structure_ptr.c-safe.cil.cunknown1.660.930.685s0.001s1000.020s
ldv-regression/oomInt.c-safe.cil.csafe1.700.930.671s0.000s1100.022s
ldv-regression/oomInt.c-safe_1.cil.csafe1.660.860.606s0.000s0---
ldv-regression/rule57_ebda_blast.c-safe_1.cil.cunsafe1.841.110.807s0.002s2100.053s
ldv-regression/rule60_list.c-safe.cil.cunknown1.761.080.832s0.000s3000.042s
ldv-regression/rule60_list2.c-safe.cil.cunknown1.981.060.786s0.002s2110.130s
ldv-regression/sizeofparameters_test.c-safe.cil.csafe1.630.940.684s0.000s1100.030s
ldv-regression/structure_assignment.c-safe.cil.cunknown1.720.990.733s0.000s1000.015s
ldv-regression/test_address.c-safe.cil.cunknown1.600.910.664s0.000s1000.018s
ldv-regression/test_cut_trace.c-safe.cil.csafe1.520.860.573s0.001s1100.024s
ldv-regression/test_malloc-1-safe.cil.cunknown1.730.940.700s0.000s2110.053s
ldv-regression/test_malloc-2-safe.cil.cunknown1.580.930.680s0.000s2110.054s
ldv-regression/test_overflow.c-safe.cil.csafe1.580.900.637s0.000s1100.035s
ldv-regression/test_union.c-safe.cil.csafe1.540.850.595s0.000s1100.020s
ldv-regression/test_union.c-safe_1.cil.cunknown1.640.940.661s0.000s1000.016s
ldv-regression/test_union_cast-1-safe.cil.csafe1.680.940.642s0.001s1100.021s
ldv-regression/test_union_cast-2-safe.cil.cunknown1.610.920.666s0.000s2110.041s
ldv-regression/test_union_cast.c-safe.cil.cunknown1.550.860.625s0.000s1000.023s
ldv-regression/test_union_cast.c-safe_1.cil.csafe1.550.860.623s0.000s1100.020s
ldv-regression/volatile_alias.c-safe.cil.cunknown1.520.850.617s0.000s2110.029s
ldv-regression/volatile_alias.c-safe_1.cil.cunknown1.450.840.603s0.000s2110.028s
ddv-machzwd/ddv_machzwd_all_BUG.cil.cunknown5.923.953.706s0.021s9812.242s
ddv-machzwd/ddv_machzwd_inw_BUG.cil.cunknown4.382.702.446s0.008s4311.127s
ddv-machzwd/ddv_machzwd_outb_BUG.cil.cunknown3.872.332.048s0.007s3210.806s
ddv-machzwd/ddv_machzwd_inb.cil.csafe2.961.581.319s0.005s0---
ddv-machzwd/ddv_machzwd_inb_p.cil.csafe3.011.601.338s0.013s0---
ddv-machzwd/ddv_machzwd_inl.cil.csafe2.941.561.300s0.008s0---
ddv-machzwd/ddv_machzwd_inl_p.cil.csafe2.681.491.214s0.013s0---
ddv-machzwd/ddv_machzwd_inw_p.cil.csafe2.661.391.122s0.009s0---
ddv-machzwd/ddv_machzwd_outb_p.cil.csafe2.891.501.247s0.007s0---
ddv-machzwd/ddv_machzwd_outl.cil.csafe2.711.441.138s0.006s0---
ddv-machzwd/ddv_machzwd_outl_p.cil.csafe2.701.401.160s0.016s0---
ddv-machzwd/ddv_machzwd_outw_p.cil.csafe2.701.461.189s0.003s0---
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.csafe2.641.391.095s0.007s0---
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.cunsafe12.675.034.780s0.014s1000.128s
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.cunsafe15.1211.2511.001s0.040s8708.784s
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.cunknown6.593.082.788s0.024s1100.478s
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.cunsafe14.917.737.484s0.014s5404.087s
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.cunsafe11.525.154.877s0.026s3201.563s
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.cunknown13.038.277.982s0.080s3215.104s
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.cunknown15.9112.3412.079s0.015s65110.317s
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.cunsafe9.344.494.223s0.015s3201.589s
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.cunknown27.1014.1513.856s0.016s3217.174s
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.cunknown13.7411.4011.140s0.017s7619.865s
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.cunknown11.258.998.737s0.012s6517.562s
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.cunknown20.4216.8016.544s0.020s76114.715s
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.cunknown18.0414.9014.638s0.030s1110113.242s
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.cunknown8.005.415.154s0.021s5413.550s
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.cunknown7.523.513.165s0.063s1100.516s
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.csafe13.985.705.409s0.052s1100.775s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.cunknown94.5076.9163.095s1.032s4409.479s
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.csafe5.252.402.128s0.025s1100.424s
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.cunknown5.553.072.815s0.015s3301.333s
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.csafe17.307.737.415s0.062s1101.172s
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.cunknown3.551.841.586s0.026s1100.260s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.csafe6.102.832.557s0.028s1100.486s
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.csafe9.583.923.581s0.103s1100.523s
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.cunknown66.6461.3960.865s0.271s3304.731s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.csafe7.723.593.236s0.085s1100.483s
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.cunknown12.545.134.784s0.137s1100.523s
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.cunknown9.603.593.325s0.026s1100.525s
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.cunknown7.705.715.463s0.015s5414.332s
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.csafe9.144.844.337s0.187s2200.869s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.csafe7.833.513.135s0.103s2200.610s
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.csafe5.962.912.566s0.069s2200.619s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.csafe12.145.465.133s0.069s2201.098s
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.cunknown7.995.665.389s0.008s7614.231s
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.cunknown10.075.885.606s0.058s5413.637s
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.cunsafe4.062.031.765s0.010s3200.426s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.csafe9.704.293.933s0.087s2200.735s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.csafe7.033.663.315s0.058s2201.052s