| ntdrivers/cdaudio_false-unreach-call.i.cil.c |
error: exception |
10.1 |
10.2 |
265748480 |
unknown |
8.25 |
8.31 |
230363136 |
| ntdrivers/diskperf_false-unreach-call.i.cil.c |
error: exception |
9.04 |
9.24 |
208592896 |
unknown |
7.86 |
7.94 |
188125184 |
| ntdrivers/floppy_false-unreach-call.i.cil.c |
error: exception |
9.96 |
10.0 |
245673984 |
unknown |
8.28 |
8.48 |
219815936 |
| ntdrivers/kbfiltr_false-unreach-call.i.cil.c |
error: exception |
8.52 |
8.78 |
198647808 |
unknown |
5.35 |
5.38 |
187629568 |
| ntdrivers/parport_false-unreach-call.i.cil.c |
error: exception |
7.63 |
7.66 |
253890560 |
unknown |
8.43 |
8.48 |
218513408 |
| ntdrivers/cdaudio_true-unreach-call.i.cil.c |
error: exception |
10.7 |
10.7 |
263639040 |
unknown |
5.97 |
6.00 |
220999680 |
| ntdrivers/diskperf_true-unreach-call.i.cil.c |
error: exception |
9.24 |
9.44 |
225054720 |
unknown |
8.13 |
8.18 |
195874816 |
| ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c |
error: exception |
6.98 |
7.04 |
243965952 |
unknown |
5.85 |
5.88 |
208736256 |
| ntdrivers/parport_true-unreach-call.i.cil.c |
error: exception |
11.2 |
11.2 |
263962624 |
unknown |
5.97 |
6.00 |
222138368 |
| eca-rers2012/Problem08_label33_true-unreach-call.c |
timeout |
121 |
121 |
3312099328 |
unknown |
112 |
112 |
3192176640 |
| list-properties/list_search_true-unreach-call_false-valid-memcleanup.i |
error: exception |
6.80 |
6.85 |
171139072 |
unknown |
7.95 |
8.16 |
189030400 |
| ldv-regression/alt_test_true-termination.c_false-unreach-call.i |
error: exception |
7.05 |
7.10 |
172838912 |
unknown |
7.63 |
7.70 |
192503808 |
| ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i |
error: exception |
6.86 |
6.94 |
167481344 |
unknown |
5.27 |
5.32 |
187092992 |
| ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i |
error: exception |
6.94 |
6.99 |
164511744 |
unknown |
7.46 |
7.51 |
184553472 |
| ldv-regression/rule60_list_true-termination.c_true-unreach-call.i |
error: exception |
6.64 |
6.69 |
168370176 |
unknown |
7.43 |
7.49 |
182734848 |
| ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i |
error: exception |
6.91 |
6.96 |
164925440 |
unknown |
7.12 |
7.18 |
173846528 |
| ldv-regression/test_address_true-termination.c_true-unreach-call.i |
error: exception |
6.68 |
6.73 |
165986304 |
unknown |
7.16 |
7.23 |
169226240 |
| ldv-regression/test_malloc-1_true-unreach-call_true-termination.i |
error: exception |
6.69 |
6.75 |
171098112 |
unknown |
6.34 |
6.38 |
168271872 |
| ldv-regression/test_malloc-2_true-unreach-call_true-termination.i |
error: exception |
6.60 |
6.66 |
167170048 |
unknown |
5.31 |
5.36 |
187576320 |
| ldv-regression/test_overflow_true-termination.c_true-unreach-call.i |
error: exception |
4.90 |
4.93 |
164085760 |
unknown |
5.39 |
5.43 |
195387392 |
| seq-pthread/cs_queue_false-unreach-call.i |
error: exception |
7.21 |
7.28 |
169377792 |
unknown |
6.78 |
6.82 |
224940032 |
| seq-pthread/cs_stack_false-unreach-call.i |
error: exception |
7.54 |
7.59 |
176799744 |
unknown |
5.82 |
5.86 |
203804672 |
| seq-pthread/cs_queue_true-unreach-call.i |
error: exception |
7.19 |
7.24 |
165617664 |
unknown |
9.40 |
9.48 |
216690688 |
| seq-pthread/cs_stack_true-unreach-call.i |
error: exception |
7.33 |
7.60 |
174665728 |
unknown |
8.59 |
8.65 |
210313216 |
| seq-pthread/cs_sync_true-unreach-call.i |
error: exception |
7.31 |
7.38 |
176463872 |
unknown |
8.82 |
8.89 |
199245824 |
| ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i |
error: exception |
10.4 |
10.4 |
403738624 |
unknown |
16.8 |
16.9 |
590888960 |
| ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i |
error: type error |
20.4 |
20.5 |
742801408 |
error: exception |
13.3 |
13.3 |
477196288 |
| ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i |
unknown |
11.9 |
12.0 |
720973824 |
error: exception |
11.8 |
11.9 |
331665408 |
| ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i |
unknown |
15.8 |
15.9 |
546230272 |
error: exception |
11.8 |
11.8 |
288972800 |
| ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
14.5 |
14.6 |
653295616 |
unknown |
8.72 |
8.77 |
401952768 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
12.0 |
12.1 |
406392832 |
error: exception |
9.40 |
9.47 |
252784640 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.9 |
12.0 |
372355072 |
error: exception |
9.22 |
9.29 |
241106944 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
12.6 |
12.6 |
501547008 |
error: exception |
7.01 |
7.05 |
285007872 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.5 |
10.6 |
281776128 |
error: exception |
8.57 |
8.66 |
206565376 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.64 |
9.71 |
248897536 |
error: exception |
8.43 |
8.49 |
196452352 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
13.2 |
13.3 |
403697664 |
error: exception |
11.3 |
11.3 |
328785920 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
7.77 |
7.80 |
300134400 |
error: exception |
9.84 |
9.94 |
295026688 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.23 |
8.30 |
224632832 |
unknown |
7.54 |
7.62 |
175042560 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.87 |
8.93 |
201969664 |
unknown |
8.02 |
8.10 |
193282048 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
7.96 |
8.03 |
178364416 |
unknown |
8.31 |
8.38 |
199364608 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.28 |
8.35 |
192311296 |
unknown |
7.68 |
7.74 |
183050240 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
7.99 |
8.06 |
192163840 |
unknown |
7.75 |
7.80 |
181829632 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.35 |
8.42 |
198430720 |
unknown |
7.61 |
7.67 |
186753024 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.19 |
8.38 |
197578752 |
unknown |
7.59 |
7.65 |
181874688 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.09 |
8.17 |
218079232 |
unknown |
8.04 |
8.10 |
187437056 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
17.3 |
17.4 |
740298752 |
error: exception |
13.9 |
14.0 |
386523136 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
12.3 |
12.5 |
343998464 |
unknown |
11.2 |
11.2 |
319025152 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
13.0 |
13.1 |
429608960 |
unknown |
12.3 |
12.3 |
350986240 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
16.7 |
17.0 |
733970432 |
unknown |
16.4 |
16.5 |
706449408 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
16.7 |
16.9 |
731885568 |
unknown |
15.8 |
15.9 |
723947520 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
13.4 |
13.4 |
485580800 |
unknown |
12.8 |
12.9 |
359403520 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.2 |
15.3 |
623861760 |
unknown |
12.4 |
12.6 |
375808000 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
10.3 |
10.4 |
736841728 |
unknown |
13.1 |
13.2 |
463843328 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.8 |
11.9 |
321765376 |
unknown |
10.5 |
10.5 |
303251456 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
14.2 |
14.4 |
675037184 |
unknown |
13.3 |
13.4 |
538124288 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
17.5 |
17.6 |
746184704 |
unknown |
13.7 |
13.8 |
482725888 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
8.75 |
8.80 |
424513536 |
unknown |
11.6 |
11.7 |
350429184 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
8.86 |
8.89 |
409206784 |
unknown |
12.3 |
12.3 |
348491776 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
27.3 |
27.5 |
849367040 |
unknown |
24.1 |
24.3 |
815828992 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
8.53 |
8.56 |
354009088 |
unknown |
10.7 |
10.8 |
316502016 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
17.5 |
17.6 |
739667968 |
unknown |
10.9 |
11.0 |
736751616 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
12.9 |
13.0 |
400961536 |
unknown |
7.75 |
7.79 |
351522816 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.5 |
15.6 |
725319680 |
unknown |
12.5 |
12.6 |
367779840 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.3 |
15.4 |
734793728 |
unknown |
14.3 |
14.4 |
517156864 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.9 |
15.9 |
730296320 |
unknown |
15.0 |
15.1 |
721645568 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.9 |
12.0 |
526614528 |
unknown |
10.8 |
10.9 |
273334272 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
7.64 |
7.68 |
365428736 |
unknown |
7.96 |
8.00 |
305029120 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
18.5 |
18.6 |
802783232 |
unknown |
18.1 |
18.2 |
801538048 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
8.89 |
8.94 |
426491904 |
unknown |
12.3 |
12.3 |
362373120 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
16.6 |
16.7 |
680546304 |
error: exception |
10.0 |
10.1 |
284532736 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
18.7 |
18.8 |
762888192 |
error: exception |
10.9 |
11.0 |
323223552 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
9.85 |
9.90 |
556326912 |
error: exception |
12.2 |
12.5 |
358858752 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
13.7 |
13.8 |
513953792 |
error: exception |
10.9 |
11.0 |
371421184 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--intel_vr_nor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
11.2 |
11.3 |
277073920 |
error: exception |
9.18 |
9.26 |
235130880 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--com20020_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
13.0 |
13.3 |
462520320 |
error: exception |
11.6 |
11.7 |
417255424 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
12.1 |
12.1 |
335470592 |
error: exception |
10.2 |
10.3 |
307855360 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
23.6 |
23.8 |
795348992 |
error: exception |
14.5 |
14.6 |
454180864 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
12.6 |
12.7 |
337297408 |
error: exception |
9.92 |
9.99 |
275181568 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
12.1 |
12.2 |
331051008 |
error: exception |
6.79 |
6.83 |
266846208 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
8.21 |
8.26 |
331849728 |
error: exception |
9.90 |
9.97 |
270704640 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
11.1 |
11.2 |
294227968 |
error: exception |
10.1 |
10.3 |
273940480 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pci--ioapic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.55 |
9.63 |
267001856 |
error: exception |
8.35 |
8.42 |
206741504 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-dcdc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
6.12 |
6.16 |
214757376 |
unknown |
5.79 |
5.82 |
198021120 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-isink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
5.78 |
5.82 |
200159232 |
unknown |
7.78 |
7.83 |
185507840 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-ldo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.76 |
8.82 |
208224256 |
unknown |
8.13 |
8.19 |
193810432 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--dmx3191d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
16.6 |
16.7 |
728932352 |
error: exception |
10.3 |
10.3 |
285052928 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--pcmcia--sym53c500_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
14.2 |
14.3 |
517853184 |
error: exception |
11.7 |
11.7 |
312778752 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
8.41 |
8.46 |
390471680 |
error: exception |
8.94 |
9.00 |
237584384 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--telephony--ixj_pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.9 |
11.1 |
297144320 |
error: exception |
9.68 |
9.78 |
284954624 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--zram--zram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
16.1 |
16.2 |
627376128 |
unknown |
14.8 |
14.8 |
494014464 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
17.3 |
17.5 |
733057024 |
error: exception |
13.1 |
13.2 |
309248000 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_aec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.96 |
10.0 |
264294400 |
error: exception |
8.79 |
8.86 |
210882560 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_pci_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
7.02 |
7.06 |
245202944 |
error: exception |
8.49 |
8.55 |
205733888 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_sercos3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.7 |
10.8 |
257978368 |
error: exception |
9.31 |
9.37 |
226140160 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--watchdog--wm831x_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.24 |
8.49 |
188043264 |
unknown |
7.56 |
7.63 |
174575616 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
9.78 |
9.82 |
612540416 |
unknown |
12.4 |
12.4 |
369795072 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
18.0 |
18.1 |
739856384 |
unknown |
12.4 |
12.5 |
389709824 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
27.7 |
27.9 |
834105344 |
unknown |
9.62 |
9.70 |
295141376 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.5 |
15.6 |
730402816 |
unknown |
13.8 |
13.8 |
406458368 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--video--cx88--cx88-vp3054-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
7.87 |
7.91 |
320417792 |
error: exception |
9.83 |
9.90 |
285409280 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--mtd--devices--doc2001plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.8 |
11.9 |
316551168 |
unknown |
8.96 |
9.05 |
226336768 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--zram--zram.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
16.4 |
16.5 |
714768384 |
unknown |
8.52 |
8.58 |
221085696 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--xen--xenfs--xenfs.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.98 |
9.03 |
224628736 |
unknown |
8.97 |
9.06 |
216330240 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--pci--hotplug--cpcihp_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
11.4 |
11.4 |
283287552 |
error: exception |
9.61 |
9.69 |
239804416 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--staging--iio--iio_dummy_evgen.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
5.67 |
5.70 |
192905216 |
unknown |
7.64 |
7.70 |
174845952 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.8 |
11.9 |
428310528 |
error: exception |
9.27 |
9.32 |
254881792 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
12.0 |
12.1 |
550486016 |
error: exception |
8.89 |
8.98 |
239472640 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ata--pata_opti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
12.1 |
12.2 |
433709056 |
error: exception |
9.72 |
9.94 |
272711680 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
13.6 |
13.7 |
501661696 |
error: exception |
10.5 |
10.5 |
288440320 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.5 |
10.5 |
373514240 |
error: exception |
8.41 |
8.48 |
212566016 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.65 |
9.72 |
274051072 |
error: exception |
8.02 |
8.12 |
194490368 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
7.56 |
7.60 |
317018112 |
error: exception |
10.2 |
10.2 |
314429440 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.16 |
8.23 |
189747200 |
unknown |
7.45 |
7.50 |
178585600 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.5 |
10.6 |
293658624 |
error: exception |
6.43 |
6.47 |
251899904 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.55 |
8.62 |
194994176 |
unknown |
7.78 |
7.87 |
182820864 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.07 |
8.14 |
182263808 |
unknown |
8.13 |
8.19 |
195186688 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
7.94 |
8.01 |
193359872 |
unknown |
7.36 |
7.42 |
183222272 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
7.91 |
7.97 |
201773056 |
unknown |
5.52 |
5.56 |
188268544 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
5.68 |
5.73 |
203927552 |
unknown |
7.69 |
7.76 |
186892288 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
7.80 |
7.86 |
198676480 |
unknown |
7.50 |
7.58 |
180674560 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.14 |
8.20 |
200118272 |
unknown |
7.43 |
7.48 |
185331712 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
18.2 |
18.3 |
742408192 |
error: exception |
14.1 |
14.2 |
561053696 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
8.02 |
8.07 |
343728128 |
unknown |
7.57 |
7.61 |
339738624 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
12.7 |
12.8 |
424730624 |
unknown |
12.2 |
12.3 |
345346048 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
17.1 |
17.2 |
733745152 |
unknown |
15.3 |
15.5 |
550588416 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
16.6 |
16.7 |
737517568 |
unknown |
15.9 |
15.9 |
604401664 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
12.9 |
13.0 |
431063040 |
unknown |
12.0 |
12.1 |
361127936 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
14.6 |
14.7 |
597970944 |
unknown |
12.0 |
12.1 |
352776192 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2_false-termination.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
14.1 |
14.2 |
592719872 |
unknown |
8.68 |
8.73 |
358019072 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
14.9 |
15.0 |
739635200 |
unknown |
9.18 |
9.24 |
390557696 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
8.24 |
8.28 |
422584320 |
unknown |
10.3 |
10.4 |
325246976 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
14.4 |
14.6 |
556982272 |
unknown |
14.4 |
14.5 |
391303168 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
17.3 |
17.4 |
742273024 |
unknown |
12.9 |
13.0 |
424112128 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u_false-termination.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.8 |
11.9 |
744124416 |
unknown |
12.0 |
12.1 |
365858816 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
8.82 |
8.86 |
425025536 |
unknown |
11.9 |
12.1 |
342974464 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
13.3 |
13.4 |
412344320 |
unknown |
12.1 |
12.2 |
346476544 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
26.8 |
26.9 |
840462336 |
unknown |
16.6 |
16.7 |
799178752 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf_false-termination.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
26.2 |
26.4 |
849788928 |
unknown |
6.56 |
6.59 |
298012672 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
8.11 |
8.16 |
339988480 |
unknown |
10.9 |
10.9 |
316047360 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
17.7 |
17.8 |
734482432 |
unknown |
14.8 |
14.9 |
618909696 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
13.0 |
13.1 |
399265792 |
unknown |
11.8 |
11.9 |
336633856 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-vp702x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.8 |
15.9 |
724279296 |
unknown |
14.1 |
14.2 |
416702464 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-vp702x.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
16.6 |
16.7 |
734908416 |
unknown |
12.8 |
12.9 |
409300992 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.3 |
15.4 |
654151680 |
unknown |
12.1 |
12.1 |
350502912 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-vp7045_false-termination.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
10.3 |
10.3 |
653631488 |
unknown |
12.5 |
12.6 |
377450496 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.9 |
16.0 |
669749248 |
unknown |
13.3 |
13.3 |
482439168 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
10.5 |
10.6 |
683917312 |
unknown |
13.1 |
13.1 |
406511616 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--dvb_dummy_fe_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
12.3 |
12.3 |
535269376 |
unknown |
9.87 |
9.95 |
281067520 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.6 |
11.7 |
340037632 |
unknown |
10.5 |
10.6 |
273514496 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--rtl2830_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
13.0 |
13.0 |
446488576 |
unknown |
8.19 |
8.24 |
326111232 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
17.1 |
17.2 |
732434432 |
error: exception |
10.5 |
10.6 |
294359040 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
20.1 |
20.2 |
742907904 |
error: exception |
11.0 |
11.1 |
312463360 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--video--cx88--cx88-vp3054-i2c_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
8.72 |
8.77 |
345821184 |
error: exception |
7.05 |
7.10 |
318087168 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
14.8 |
14.9 |
590225408 |
error: exception |
11.7 |
11.7 |
431570944 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.78 |
9.84 |
517468160 |
error: exception |
11.0 |
11.1 |
387252224 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--devices--doc2001plus_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.8 |
11.8 |
322191360 |
unknown |
9.05 |
9.11 |
233230336 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--maps--intel_vr_nor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
11.1 |
11.2 |
351408128 |
error: exception |
9.13 |
9.20 |
226791424 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--arcnet--com20020_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
8.95 |
8.99 |
467218432 |
error: exception |
11.5 |
11.6 |
383885312 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
8.25 |
8.34 |
360951808 |
error: exception |
10.4 |
10.5 |
326586368 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--wireless--mwifiex--mwifiex_pcie_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
23.7 |
23.9 |
799670272 |
error: exception |
15.6 |
15.7 |
540921856 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
12.3 |
12.4 |
517963776 |
error: exception |
9.53 |
9.61 |
276934656 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--wireless--orinoco--orinoco_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
12.0 |
12.0 |
456331264 |
error: exception |
9.57 |
9.66 |
263561216 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--wireless--orinoco--orinoco_plx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
12.4 |
12.4 |
376328192 |
error: exception |
9.79 |
9.87 |
267735040 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
12.6 |
12.8 |
416923648 |
error: exception |
9.68 |
9.78 |
268161024 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
7.85 |
7.89 |
380788736 |
error: exception |
9.84 |
9.92 |
285057024 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--pci--hotplug--cpcihp_generic_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
7.18 |
7.22 |
277286912 |
error: exception |
9.29 |
9.34 |
250945536 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--pci--ioapic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.3 |
10.4 |
307396608 |
error: exception |
5.94 |
5.97 |
207507456 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--regulator--wm831x-dcdc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.96 |
9.05 |
212680704 |
unknown |
5.38 |
5.42 |
204562432 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--regulator--wm831x-isink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.49 |
8.56 |
205467648 |
unknown |
7.83 |
7.89 |
184770560 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--regulator--wm831x-ldo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.77 |
8.84 |
210890752 |
unknown |
7.88 |
7.95 |
193294336 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--rtc--rtc-m41t93.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.0 |
11.0 |
296681472 |
unknown |
7.99 |
8.04 |
292634624 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--rtc--rtc-m41t94.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.1 |
11.2 |
297766912 |
unknown |
7.57 |
7.64 |
316153856 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--rtc--rtc-pcf2123.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
7.94 |
7.99 |
340942848 |
unknown |
11.2 |
11.3 |
326340608 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--rtc--rtc-rs5c348.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
10.2 |
10.3 |
279404544 |
unknown |
10.5 |
10.6 |
283852800 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--scsi--pcmcia--sym53c500_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
13.8 |
13.9 |
503214080 |
error: exception |
12.4 |
12.5 |
418516992 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--iio--iio_dummy_evgen_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.22 |
8.27 |
194125824 |
unknown |
7.59 |
7.64 |
174886912 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
11.9 |
12.0 |
560046080 |
error: exception |
8.99 |
9.06 |
243347456 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--telephony--ixj_pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
7.69 |
7.72 |
333942784 |
error: exception |
9.97 |
10.0 |
312496128 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--vme--boards--vme_vmivme7805.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.40 |
9.47 |
275308544 |
error: exception |
5.74 |
5.77 |
187465728 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--zram--zram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
16.1 |
16.2 |
681521152 |
unknown |
10.3 |
10.4 |
535592960 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--zram--zram_false-termination.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.7 |
15.7 |
683233280 |
unknown |
8.53 |
8.59 |
227061760 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
16.8 |
16.9 |
736796672 |
error: exception |
12.1 |
12.2 |
402141184 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--uio--uio_aec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.3 |
10.4 |
282984448 |
error: exception |
8.70 |
8.78 |
214114304 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--uio--uio_pci_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.1 |
10.2 |
302268416 |
error: exception |
8.46 |
8.55 |
207384576 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--uio--uio_sercos3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.4 |
10.5 |
287911936 |
error: exception |
8.97 |
9.04 |
223453184 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--dwc3--dwc3-pci_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
6.87 |
6.90 |
246906880 |
error: exception |
8.61 |
8.68 |
232873984 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--video--matrox--i2c-matroxfb_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
11.5 |
11.6 |
352587776 |
error: exception |
6.73 |
6.77 |
305967104 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--watchdog--wdt_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
11.0 |
11.1 |
270065664 |
error: exception |
9.25 |
9.32 |
220151808 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--watchdog--wm831x_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.13 |
8.20 |
185999360 |
unknown |
5.01 |
5.05 |
177262592 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--xen--xenfs--xenfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
10.8 |
10.8 |
302755840 |
unknown |
10.0 |
10.1 |
292241408 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--xen--xenfs--xenfs_false-termination.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
7.31 |
7.35 |
303919104 |
unknown |
9.24 |
9.31 |
234561536 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36-1.c |
error: exception |
8.70 |
8.75 |
210755584 |
unknown |
5.44 |
5.47 |
175456256 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36-1.c |
error: exception |
6.32 |
6.36 |
236974080 |
unknown |
7.51 |
7.57 |
190238720 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c |
error: exception |
9.62 |
9.68 |
238030848 |
unknown |
8.10 |
8.29 |
195125248 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36-1.c |
error: exception |
8.52 |
8.59 |
213917696 |
unknown |
7.50 |
7.57 |
181059584 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_pcidio-ko--107_1a--adbbc36-1.c |
error: exception |
9.56 |
9.62 |
241639424 |
unknown |
7.87 |
7.94 |
191578112 |
| ldv-commit-tester/m0_true-unreach-call_drivers-media-rc-imon--32_7a--a9e7fb5.c |
error: exception |
10.0 |
10.1 |
231301120 |
unknown |
16.7 |
16.8 |
613249024 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36.c |
error: exception |
8.85 |
8.92 |
218075136 |
unknown |
7.89 |
7.95 |
177569792 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36.c |
error: exception |
8.94 |
9.01 |
243105792 |
unknown |
7.79 |
7.85 |
184258560 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36.c |
error: exception |
9.97 |
10.0 |
238743552 |
unknown |
7.94 |
8.02 |
191029248 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36.c |
error: exception |
8.58 |
8.77 |
210444288 |
unknown |
7.55 |
7.64 |
180076544 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_pcidio-ko--107_1a--adbbc36.c |
error: exception |
9.27 |
9.34 |
235327488 |
unknown |
7.80 |
7.86 |
194232320 |
| ldv-commit-tester/main1_true-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1_false-termination.c |
error: exception |
11.8 |
11.9 |
301314048 |
unknown |
8.17 |
8.21 |
353488896 |
| ldv-commit-tester/main1_true-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa_false-termination.c |
error: exception |
8.51 |
8.56 |
312602624 |
unknown |
12.1 |
12.2 |
357212160 |
| ldv-commit-tester/main3_true-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1_false-termination.c |
error: exception |
11.9 |
11.9 |
300871680 |
unknown |
14.5 |
14.6 |
469254144 |
| ldv-commit-tester/main3_true-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa_false-termination.c |
error: exception |
11.6 |
11.6 |
313610240 |
unknown |
15.0 |
15.2 |
446074880 |
| ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--hwmon--abituguru3.ko-main.cil.out.c |
error: exception |
10.5 |
10.5 |
268673024 |
unknown |
7.73 |
7.82 |
186306560 |
| ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--pcmcia--pcmcia_rsrc.ko-main.cil.out.c |
error: exception |
9.09 |
9.30 |
223948800 |
unknown |
5.43 |
5.48 |
191070208 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--message--i2o--i2o_core.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
6.08 |
6.11 |
225431552 |
unknown |
8.55 |
8.61 |
216997888 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--usb--host--r8a66597-hcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
10.8 |
10.9 |
285396992 |
unknown |
5.43 |
5.47 |
210309120 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--infiniband--hw--mthca--ib_mthca.ko-main.cil.out.c |
error: exception |
6.95 |
6.98 |
332386304 |
unknown |
6.78 |
7.01 |
311541760 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--mfd--sm501.ko-main.cil.out.c |
unknown |
15.6 |
15.7 |
716578816 |
error: exception |
11.2 |
11.2 |
331972608 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--misc--pch_phub.ko-main.cil.out.c |
unknown |
12.3 |
12.4 |
333361152 |
error: exception |
9.62 |
9.71 |
281235456 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--rtlwifi--rtl8192de--rtl8192de.ko-main.cil.out.c |
error: type error |
33.4 |
33.5 |
952262656 |
error: exception |
22.2 |
22.3 |
768262144 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--usb--host--r8a66597-hcd.ko-main.cil.out.c |
error: exception |
7.15 |
7.18 |
287555584 |
unknown |
8.14 |
8.21 |
207237120 |
| ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--dsa--mv88e6xxx_drv.ko-ldv_main2_true-unreach-call.cil.out.c |
error: type error |
17.2 |
17.3 |
725692416 |
unknown |
13.5 |
13.6 |
375713792 |
| ldv-consumption/linux-3_false-termination.8-rc1-32_7a-drivers--md--persistent-data--dm-persistent-data.ko-ldv_main3_true-unreach-call.cil.out.c |
error: exception |
14.7 |
14.8 |
397574144 |
unknown |
10.0 |
10.1 |
255655936 |
| ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--wireless--mwifiex--mwifiex_usb.ko-entry_point_false-unreach-call.cil.out.c |
error: type error |
19.3 |
19.4 |
734257152 |
unknown |
18.6 |
18.7 |
756187136 |
| ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--wireless--rtlwifi--rtl8192se--rtl8192se.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
40.8 |
41.0 |
857042944 |
error: exception |
19.1 |
19.3 |
749469696 |
| ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--libertas--usb8xxx.ko-entry_point_false-unreach-call.cil.out.c |
error: exception |
8.58 |
8.67 |
211062784 |
unknown |
13.5 |
13.5 |
496988160 |
| ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-entry_point_false-unreach-call.cil.out.c |
error: type error |
15.2 |
15.2 |
781438976 |
error: exception |
15.5 |
15.6 |
531476480 |
| ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_usb.ko-entry_point_false-unreach-call.cil.out.c |
error: type error |
17.6 |
17.7 |
730603520 |
unknown |
17.8 |
17.9 |
734064640 |
| ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtl818x--rtl8180--rtl818x_pci.ko-entry_point_false-unreach-call.cil.out.c |
error: type error |
34.3 |
34.5 |
808194048 |
error: exception |
18.1 |
18.2 |
481275904 |
| ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtlwifi--rtl8192cu--rtl8192cu.ko-entry_point_false-unreach-call.cil.out.c |
error: type error |
36.7 |
36.9 |
842358784 |
error: exception |
26.9 |
27.0 |
811565056 |
| ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtlwifi--rtl8723ae--rtl8723ae.ko-entry_point_false-unreach-call.cil.out.c |
error: type error |
30.7 |
30.8 |
910204928 |
error: exception |
17.0 |
17.1 |
780324864 |
| ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--dec--tulip--xircom_cb.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
11.8 |
11.8 |
725929984 |
error: exception |
12.3 |
12.4 |
396840960 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--dvb-usb--dvb-usb-gp8psk.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
11.6 |
11.7 |
739172352 |
unknown |
14.5 |
14.6 |
513167360 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--dvb-usb--dvb-usb-vp7045.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
15.3 |
15.4 |
723591168 |
unknown |
8.94 |
8.99 |
408141824 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--dec--tulip--tulip.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
27.3 |
27.5 |
810815488 |
error: exception |
11.2 |
11.3 |
602386432 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--sis--sis900.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
15.1 |
15.1 |
757415936 |
error: exception |
14.2 |
14.3 |
547864576 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--fddi--defxx.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
29.0 |
29.2 |
901939200 |
error: exception |
15.1 |
15.2 |
522702848 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--usb--pegasus.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
21.3 |
21.5 |
750321664 |
unknown |
12.7 |
12.8 |
744628224 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--vmw_pvscsi.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
18.1 |
18.3 |
745689088 |
error: exception |
14.0 |
14.0 |
390836224 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--tty--serial--8250--8250_pci.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
19.1 |
19.2 |
735977472 |
error: exception |
13.9 |
14.0 |
430596096 |
| ldv-validator-v0.6/linux-stable-90a4845-1-110_1a-drivers--char--ipmi--ipmi_si.ko-entry_point_false-unreach-call.cil.out.c |
error: type error |
19.4 |
19.6 |
732094464 |
error: exception |
14.1 |
14.4 |
363896832 |
| ldv-validator-v0.8/linux-stable-90a4845-1-110_1a-drivers--char--ipmi--ipmi_si.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c |
error: type error |
19.9 |
20.0 |
737775616 |
error: exception |
14.0 |
14.1 |
361705472 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--mtd--maps--l440gx.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
10.1 |
10.2 |
285335552 |
error: exception |
6.60 |
6.65 |
241762304 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--rtlwifi--rtl8192se--rtl8192se.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
41.3 |
41.5 |
859922432 |
error: exception |
21.5 |
21.6 |
751247360 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--tm6000--tm6000.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
13.3 |
13.3 |
686542848 |
error: exception |
12.5 |
12.6 |
346038272 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--ttusb-budget--dvb-ttusb-budget.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
13.3 |
13.4 |
738148352 |
error: exception |
11.3 |
11.4 |
295497728 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--rtlwifi--rtl8192se--rtl8192se.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
43.3 |
43.6 |
868675584 |
error: exception |
22.3 |
22.5 |
757284864 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--media--usb--tm6000--tm6000.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
18.6 |
18.7 |
713924608 |
error: exception |
12.5 |
12.5 |
331399168 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--hp--hp100.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
19.7 |
19.8 |
746213376 |
error: exception |
13.8 |
13.9 |
408825856 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--packetengines--hamachi.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
13.1 |
13.1 |
733323264 |
error: exception |
12.9 |
13.0 |
441610240 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--sis--sis900.ko-entry_point_true-unreach-call.cil.out.c |
error: type error |
23.2 |
23.3 |
757264384 |
error: exception |
10.3 |
10.4 |
447508480 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--fddi--defxx.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
20.5 |
20.6 |
766042112 |
error: exception |
15.0 |
15.1 |
449048576 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--hippi--rrunner.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
18.8 |
18.9 |
763437056 |
error: exception |
14.0 |
14.1 |
400916480 |
| ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
19.0 |
19.1 |
770506752 |
unknown |
31.9 |
32.1 |
959258624 |
| ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
18.9 |
19.0 |
842317824 |
unknown |
32.5 |
32.7 |
964710400 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
18.9 |
19.0 |
771244032 |
unknown |
31.6 |
31.8 |
968790016 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c |
unknown |
17.6 |
17.7 |
763359232 |
error: exception |
19.4 |
19.5 |
595271680 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
18.8 |
18.9 |
837611520 |
unknown |
30.7 |
30.8 |
964767744 |
| ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
12.9 |
13.0 |
772177920 |
unknown |
32.1 |
32.4 |
968040448 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c |
unknown |
29.8 |
29.9 |
760524800 |
error: exception |
14.2 |
14.3 |
595361792 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-media-usb-gspca-gspca_ov519_true-unreach-call.cil.c |
error: exception |
16.2 |
16.3 |
666357760 |
unknown |
24.7 |
24.8 |
778063872 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c |
unknown |
29.0 |
29.1 |
746553344 |
error: exception |
21.7 |
21.8 |
586907648 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-gspca-gspca_ov519_true-unreach-call.cil.c |
error: exception |
17.3 |
17.4 |
665120768 |
unknown |
26.3 |
26.4 |
775692288 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-netconsole_true-unreach-call.cil.c |
error: exception |
8.92 |
8.96 |
416874496 |
unknown |
13.0 |
13.1 |
728051712 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-usb-gspca-gspca_ov519_true-unreach-call.cil.c |
error: exception |
11.9 |
11.9 |
624140288 |
unknown |
26.0 |
26.1 |
769126400 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-media-pci-saa7134-saa7134_true-unreach-call.cil.c |
unknown |
25.6 |
25.7 |
756875264 |
error: exception |
12.7 |
12.7 |
607940608 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-gspca-gspca_ov519_true-unreach-call.cil.c |
error: exception |
16.6 |
16.7 |
750346240 |
unknown |
25.4 |
25.6 |
800976896 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-gspca-gspca_xirlink_cit_true-unreach-call.cil.c |
error: exception |
17.3 |
17.4 |
758231040 |
unknown |
27.6 |
27.8 |
758738944 |
| ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
12.9 |
13.0 |
839569408 |
unknown |
33.1 |
33.2 |
965324800 |
| ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
19.0 |
19.1 |
774160384 |
unknown |
32.3 |
32.4 |
968974336 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-usb-gspca-gspca_ov519_true-unreach-call.cil.c |
error: exception |
11.6 |
11.6 |
620081152 |
unknown |
25.9 |
26.0 |
773505024 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
18.0 |
18.1 |
832036864 |
unknown |
31.7 |
31.9 |
969383936 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-media-usb-gspca-gspca_ov519_true-unreach-call.cil.c |
error: exception |
16.0 |
16.1 |
693993472 |
unknown |
24.9 |
25.1 |
767766528 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
19.4 |
19.5 |
840261632 |
unknown |
32.8 |
32.9 |
970809344 |
| ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-media-usb-gspca-gspca_topro_true-unreach-call.cil.c |
error: exception |
20.0 |
20.1 |
838434816 |
unknown |
31.7 |
31.9 |
966012928 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--mtd--sm_ftl.ko_false-unreach-call.cil.c |
error: exception |
13.9 |
14.0 |
354562048 |
unknown |
16.4 |
16.5 |
399585280 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---kernel--locking--locktorture.ko_false-unreach-call.cil.c |
error: exception |
8.56 |
8.61 |
309882880 |
unknown |
15.1 |
15.2 |
336678912 |
| ldv-linux-4.0-rc1-mav/linux-4_true-termination.0-rc1---drivers--media--rc--lirc_dev.ko_true-unreach-call.cil.c |
error: exception |
8.29 |
8.38 |
219447296 |
unknown |
11.3 |
11.3 |
292126720 |
| array-memsafety/cstrchr_unsafe_false-valid-deref.i |
unknown |
6.91 |
6.96 |
173207552 |
error: exception |
7.00 |
7.04 |
172625920 |
| array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i |
unknown |
7.10 |
7.17 |
168771584 |
error: exception |
6.93 |
7.00 |
172040192 |
| memsafety/test-0137_false-valid-deref.i |
unknown |
6.84 |
6.91 |
166428672 |
error: exception |
6.95 |
7.02 |
170700800 |
| memsafety/test-0232_false-valid-free.i |
unknown |
6.87 |
6.96 |
164945920 |
error: exception |
6.98 |
7.05 |
164462592 |
| memsafety/20020406-1_false-valid-memtrack.i |
error: exception |
7.02 |
7.08 |
168706048 |
unknown |
8.13 |
8.21 |
190320640 |
| memsafety/test-0102_false-valid-memtrack.i |
unknown |
6.90 |
6.97 |
165113856 |
error: exception |
7.63 |
7.69 |
188788736 |
| memsafety/test-0232_false-valid-memtrack.i |
unknown |
6.86 |
6.91 |
163368960 |
error: exception |
5.11 |
5.18 |
169308160 |
| memsafety/test-0102_true-valid-memsafety.i |
unknown |
6.86 |
6.93 |
166227968 |
error: exception |
7.30 |
7.35 |
187416576 |
| memsafety/test-0134_true-valid-memsafety.i |
unknown |
7.09 |
7.15 |
169734144 |
error: exception |
7.77 |
7.84 |
191459328 |
| memsafety/test-0232_true-valid-memsafety.i |
unknown |
6.95 |
7.01 |
165421056 |
error: exception |
7.01 |
7.08 |
175783936 |
| memsafety/test-0504_true-valid-memsafety.i |
unknown |
6.97 |
7.04 |
167649280 |
error: exception |
4.99 |
5.03 |
170041344 |
| memsafety/test-0513_true-valid-memsafety.i |
unknown |
7.06 |
7.11 |
166162432 |
error: exception |
5.12 |
5.17 |
169451520 |
| memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i |
unknown |
5.08 |
5.12 |
163397632 |
error: exception |
7.05 |
7.11 |
166109184 |
| memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i |
unknown |
4.86 |
4.89 |
167321600 |
error: exception |
7.11 |
7.16 |
167354368 |
| memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i |
unknown |
7.01 |
7.07 |
162889728 |
error: exception |
7.11 |
7.17 |
174796800 |
| memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i |
unknown |
6.80 |
6.87 |
167231488 |
error: exception |
7.22 |
7.30 |
172199936 |
| list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i |
unknown |
4.80 |
4.83 |
165224448 |
error: exception |
6.95 |
7.00 |
173719552 |
| list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i |
unknown |
6.78 |
6.86 |
162390016 |
error: exception |
6.94 |
7.02 |
165355520 |
| list-ext-properties/test-0504_1_true-valid-memsafety.i |
unknown |
6.98 |
7.03 |
168849408 |
error: exception |
5.21 |
5.25 |
170942464 |
| list-ext-properties/test-0513_1_true-valid-memsafety.i |
unknown |
6.96 |
7.01 |
166285312 |
error: exception |
7.28 |
7.35 |
170188800 |
| ldv-memsafety/memleaks_test23_2_false-valid-deref.i |
unknown |
7.15 |
7.20 |
170074112 |
error: exception |
7.24 |
7.30 |
171966464 |
| ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i |
unknown |
7.18 |
7.24 |
169529344 |
error: exception |
7.41 |
7.47 |
191483904 |
| ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i |
unknown |
7.00 |
7.06 |
170242048 |
error: exception |
5.21 |
5.25 |
169201664 |
| heap-manipulation/tree_false-valid-deref.i |
unknown |
7.07 |
7.13 |
164171776 |
error: exception |
7.17 |
7.40 |
167604224 |
| busybox-1.22.0/basename_false-valid-deref.i |
error: exception |
6.92 |
7.12 |
163479552 |
unknown |
8.34 |
8.40 |
200880128 |
| busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i |
error: exception |
7.10 |
7.18 |
170582016 |
unknown |
8.48 |
8.57 |
198000640 |
| signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i |
error: exception |
6.69 |
6.74 |
165773312 |
unknown |
7.10 |
7.17 |
169668608 |
| signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i |
error: exception |
6.69 |
6.74 |
167268352 |
unknown |
6.96 |
7.02 |
167370752 |
| signedintegeroverflow-regression/Division_false-no-overflow.c.i |
error: exception |
6.78 |
6.84 |
170885120 |
unknown |
7.22 |
7.28 |
169381888 |
| signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i |
error: exception |
6.64 |
6.70 |
164384768 |
unknown |
7.17 |
7.23 |
173375488 |
| signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i |
error: exception |
6.40 |
6.45 |
160108544 |
unknown |
7.09 |
7.16 |
171921408 |
| signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i |
error: exception |
6.70 |
6.75 |
169951232 |
unknown |
6.93 |
6.97 |
171405312 |
| signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i |
error: exception |
6.52 |
6.56 |
166674432 |
unknown |
7.22 |
7.29 |
170967040 |
| signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i |
error: exception |
6.95 |
7.01 |
166694912 |
unknown |
4.82 |
4.86 |
172875776 |
| signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i |
error: exception |
6.87 |
6.95 |
166133760 |
unknown |
5.06 |
5.10 |
174301184 |
| signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i |
error: exception |
7.00 |
7.05 |
166051840 |
unknown |
7.06 |
7.12 |
171909120 |
| signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i |
error: exception |
7.01 |
7.09 |
169394176 |
unknown |
6.93 |
6.99 |
169750528 |
| signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i |
error: exception |
6.84 |
6.91 |
165986304 |
unknown |
6.53 |
6.59 |
171986944 |
| signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i |
error: exception |
6.66 |
6.73 |
165113856 |
unknown |
6.57 |
6.76 |
173182976 |
| signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i |
error: exception |
6.88 |
6.93 |
164122624 |
unknown |
7.25 |
7.31 |
173387776 |
| signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i |
error: exception |
6.73 |
6.79 |
166903808 |
unknown |
7.16 |
7.26 |
172417024 |