| ntdrivers/cdaudio_false-unreach-call.i.cil.c |
error: exception |
7.41 |
7.44 |
274264064 |
unknown |
8.30 |
8.38 |
214642688 |
| ntdrivers/diskperf_false-unreach-call.i.cil.c |
error: exception |
9.38 |
9.43 |
227999744 |
unknown |
7.85 |
7.89 |
195067904 |
| ntdrivers/floppy_false-unreach-call.i.cil.c |
error: exception |
9.87 |
9.94 |
250920960 |
unknown |
8.26 |
8.48 |
212373504 |
| ntdrivers/kbfiltr_false-unreach-call.i.cil.c |
error: exception |
8.68 |
8.72 |
201494528 |
unknown |
7.63 |
7.68 |
190078976 |
| ntdrivers/parport_false-unreach-call.i.cil.c |
error: exception |
10.4 |
10.4 |
256081920 |
unknown |
5.96 |
6.01 |
220762112 |
| ntdrivers/cdaudio_true-unreach-call.i.cil.c |
error: exception |
10.5 |
10.6 |
268247040 |
unknown |
8.49 |
8.56 |
216616960 |
| ntdrivers/diskperf_true-unreach-call.i.cil.c |
error: exception |
6.60 |
6.64 |
230879232 |
unknown |
8.15 |
8.20 |
195416064 |
| ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c |
error: exception |
10.3 |
10.4 |
254103552 |
unknown |
5.67 |
5.70 |
216322048 |
| ntdrivers/parport_true-unreach-call.i.cil.c |
error: exception |
7.27 |
7.31 |
256606208 |
unknown |
8.44 |
8.50 |
219877376 |
| eca-rers2012/Problem09_label38_false-unreach-call.c |
unknown |
117 |
118 |
3291217920 |
timeout |
121 |
121 |
3323895808 |
| eca-rers2012/Problem09_label05_true-unreach-call.c |
timeout |
121 |
121 |
3302522880 |
unknown |
118 |
118 |
3299373056 |
| eca-rers2012/Problem09_label14_true-unreach-call.c |
unknown |
117 |
118 |
3300679680 |
timeout |
121 |
121 |
3289505792 |
| eca-rers2012/Problem09_label22_true-unreach-call.c |
unknown |
118 |
118 |
3315445760 |
timeout |
121 |
121 |
3296595968 |
| eca-rers2012/Problem09_label24_true-unreach-call.c |
unknown |
119 |
119 |
3294265344 |
timeout |
121 |
121 |
3336683520 |
| eca-rers2012/Problem09_label26_true-unreach-call.c |
unknown |
76.3 |
76.4 |
3207254016 |
timeout |
120 |
121 |
3317841920 |
| eca-rers2012/Problem09_label37_true-unreach-call.c |
unknown |
115 |
115 |
3194077184 |
timeout |
121 |
121 |
3298201600 |
| eca-rers2012/Problem09_label39_true-unreach-call.c |
unknown |
116 |
117 |
3331665920 |
timeout |
121 |
121 |
3299262464 |
| eca-rers2012/Problem09_label40_true-unreach-call.c |
unknown |
117 |
117 |
3315888128 |
timeout |
120 |
121 |
3321663488 |
| eca-rers2012/Problem09_label49_true-unreach-call.c |
unknown |
78.0 |
78.1 |
3319103488 |
timeout |
121 |
121 |
3285254144 |
| list-properties/list_search_true-unreach-call_false-valid-memcleanup.i |
error: exception |
5.03 |
5.06 |
167440384 |
unknown |
7.71 |
7.78 |
188190720 |
| ldv-regression/alt_test_true-termination.c_false-unreach-call.i |
error: exception |
6.98 |
7.02 |
167661568 |
unknown |
7.59 |
7.64 |
189550592 |
| ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i |
error: exception |
6.91 |
6.98 |
166121472 |
unknown |
6.66 |
6.70 |
189091840 |
| ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i |
error: exception |
4.85 |
4.87 |
169558016 |
unknown |
7.45 |
7.50 |
189648896 |
| ldv-regression/rule60_list_true-termination.c_true-unreach-call.i |
error: exception |
6.91 |
7.13 |
167424000 |
unknown |
7.22 |
7.28 |
170098688 |
| ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i |
error: exception |
6.20 |
6.23 |
166649856 |
unknown |
6.33 |
6.37 |
167137280 |
| ldv-regression/test_address_true-termination.c_true-unreach-call.i |
error: exception |
6.14 |
6.19 |
163934208 |
unknown |
6.87 |
6.93 |
186544128 |
| ldv-regression/test_malloc-1_true-unreach-call_true-termination.i |
error: exception |
6.78 |
6.82 |
166105088 |
unknown |
7.20 |
7.25 |
172150784 |
| ldv-regression/test_malloc-2_true-unreach-call_true-termination.i |
error: exception |
6.60 |
6.98 |
168603648 |
unknown |
7.31 |
7.36 |
184418304 |
| ldv-regression/test_overflow_true-termination.c_true-unreach-call.i |
error: exception |
4.73 |
4.76 |
167616512 |
unknown |
6.82 |
6.86 |
187625472 |
| seq-pthread/cs_queue_false-unreach-call.i |
error: exception |
4.84 |
4.86 |
166854656 |
unknown |
9.51 |
9.59 |
235499520 |
| seq-pthread/cs_stack_false-unreach-call.i |
error: exception |
7.70 |
7.77 |
172961792 |
unknown |
9.17 |
9.23 |
210993152 |
| seq-pthread/cs_queue_true-unreach-call.i |
error: exception |
7.08 |
7.13 |
172249088 |
unknown |
10.2 |
10.2 |
237371392 |
| seq-pthread/cs_stack_true-unreach-call.i |
error: exception |
7.20 |
7.25 |
168755200 |
unknown |
8.93 |
9.13 |
213217280 |
| seq-pthread/cs_sync_true-unreach-call.i |
error: exception |
7.58 |
7.64 |
169992192 |
unknown |
9.10 |
9.15 |
206610432 |
| ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i |
error: exception |
10.7 |
10.8 |
398290944 |
unknown |
17.8 |
17.9 |
574238720 |
| ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i |
error: type error |
19.6 |
19.7 |
748150784 |
error: exception |
14.3 |
14.3 |
487292928 |
| ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i |
unknown |
16.5 |
16.6 |
613232640 |
error: exception |
11.9 |
12.0 |
291217408 |
| 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 |
10.6 |
10.6 |
719683584 |
unknown |
12.7 |
12.7 |
434073600 |
| 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 |
unknown |
8.43 |
8.48 |
435879936 |
error: exception |
9.12 |
9.18 |
256561152 |
| 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 |
unknown |
12.0 |
12.1 |
429731840 |
error: exception |
8.96 |
9.00 |
237867008 |
| 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 |
13.2 |
13.3 |
556875776 |
error: exception |
10.3 |
10.4 |
286433280 |
| 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.0 |
10.1 |
288567296 |
error: exception |
7.93 |
7.99 |
208113664 |
| 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 |
8.34 |
8.40 |
251195392 |
error: exception |
8.55 |
8.61 |
204103680 |
| 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 |
12.2 |
12.3 |
398807040 |
error: exception |
12.2 |
12.3 |
332062720 |
| 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 |
10.3 |
10.4 |
314429440 |
error: exception |
10.4 |
10.5 |
301051904 |
| 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.74 |
8.79 |
206614528 |
unknown |
7.13 |
7.31 |
179023872 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
121 |
121 |
702992384 |
error: exception |
9.10 |
9.15 |
241192960 |
| 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 |
7.60 |
7.63 |
195235840 |
unknown |
6.89 |
6.92 |
188002304 |
| 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 |
4.94 |
4.97 |
181616640 |
unknown |
7.64 |
7.67 |
200466432 |
| 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 |
7.55 |
7.59 |
194293760 |
unknown |
7.05 |
7.08 |
179265536 |
| 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.43 |
7.47 |
195796992 |
unknown |
7.19 |
7.22 |
186478592 |
| 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 |
5.11 |
5.15 |
198889472 |
unknown |
7.24 |
7.28 |
182407168 |
| 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 |
5.23 |
5.26 |
195686400 |
unknown |
7.21 |
7.24 |
188284928 |
| 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 |
7.50 |
7.54 |
198107136 |
unknown |
7.21 |
7.25 |
189444096 |
| 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 |
18.1 |
18.2 |
742334464 |
error: exception |
13.5 |
13.6 |
398004224 |
| 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 |
8.24 |
8.28 |
373350400 |
unknown |
11.5 |
11.6 |
339693568 |
| 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.2 |
13.2 |
499908608 |
unknown |
11.9 |
12.0 |
375218176 |
| 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.0 |
16.0 |
728162304 |
unknown |
16.8 |
16.9 |
735838208 |
| 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.4 |
16.5 |
762728448 |
unknown |
16.7 |
17.0 |
737378304 |
| 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.2 |
13.3 |
526643200 |
unknown |
12.7 |
12.8 |
389398528 |
| 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.5 |
15.5 |
723492864 |
unknown |
12.4 |
12.5 |
385273856 |
| 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 |
14.0 |
14.1 |
734609408 |
unknown |
14.0 |
14.0 |
705003520 |
| 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 |
12.1 |
12.2 |
338743296 |
unknown |
10.5 |
10.6 |
319365120 |
| 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 |
9.91 |
9.95 |
623951872 |
unknown |
13.5 |
13.6 |
589238272 |
| 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 |
11.8 |
11.9 |
766275584 |
unknown |
15.0 |
15.1 |
642199552 |
| 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 |
13.0 |
13.1 |
490516480 |
unknown |
12.5 |
12.6 |
378449920 |
| 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 |
9.28 |
9.32 |
471519232 |
unknown |
8.22 |
8.26 |
370126848 |
| 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 |
12.4 |
12.4 |
379301888 |
unknown |
11.3 |
11.3 |
336248832 |
| 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 |
18.5 |
18.7 |
758091776 |
unknown |
16.5 |
16.6 |
729075712 |
| 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 |
13.3 |
13.4 |
478289920 |
unknown |
12.8 |
12.9 |
378171392 |
| 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 |
16.4 |
16.4 |
726192128 |
unknown |
12.7 |
12.8 |
417656832 |
| 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.9 |
16.0 |
718278656 |
unknown |
14.7 |
14.8 |
566181888 |
| 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 |
16.2 |
16.3 |
725364736 |
unknown |
15.2 |
15.2 |
724844544 |
| 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 |
8.18 |
8.21 |
528330752 |
unknown |
11.2 |
11.3 |
290009088 |
| 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 |
11.4 |
11.5 |
384081920 |
unknown |
11.3 |
11.3 |
322662400 |
| 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 |
21.0 |
21.1 |
782102528 |
unknown |
20.4 |
20.5 |
781672448 |
| 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 |
734347264 |
error: exception |
10.8 |
10.9 |
303697920 |
| 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 |
17.0 |
17.1 |
756928512 |
error: exception |
10.3 |
10.4 |
328642560 |
| 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 |
14.2 |
14.3 |
604270592 |
error: exception |
11.7 |
11.8 |
341336064 |
| 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.8 |
13.9 |
674725888 |
error: exception |
11.0 |
11.0 |
336424960 |
| 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 |
297779200 |
error: exception |
9.04 |
9.09 |
233029632 |
| 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 |
14.5 |
14.6 |
555114496 |
error: exception |
11.8 |
11.9 |
437444608 |
| 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 |
11.6 |
11.7 |
339193856 |
error: exception |
10.2 |
10.3 |
319250432 |
| 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.8 |
24.0 |
793419776 |
error: exception |
14.8 |
14.9 |
470835200 |
| 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.4 |
12.5 |
351436800 |
error: exception |
10.0 |
10.1 |
279810048 |
| 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 |
346976256 |
error: exception |
7.06 |
7.10 |
276008960 |
| 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 |
12.2 |
12.3 |
345649152 |
error: exception |
9.68 |
9.89 |
273874944 |
| 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 |
7.82 |
7.85 |
302727168 |
error: exception |
9.99 |
10.1 |
282828800 |
| 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 |
10.5 |
10.6 |
255594496 |
error: exception |
8.72 |
8.78 |
204615680 |
| 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 |
9.39 |
9.44 |
244879360 |
unknown |
8.12 |
8.19 |
200474624 |
| 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.98 |
6.01 |
201400320 |
unknown |
7.46 |
7.53 |
185483264 |
| 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.66 |
8.71 |
209817600 |
unknown |
8.09 |
8.16 |
196579328 |
| 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.7 |
16.8 |
732377088 |
error: exception |
10.6 |
10.7 |
292352000 |
| 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.8 |
14.9 |
671567872 |
error: exception |
12.2 |
12.3 |
337756160 |
| 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 |
unknown |
12.5 |
12.6 |
417992704 |
error: exception |
9.34 |
9.39 |
261988352 |
| 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 |
11.4 |
11.4 |
309170176 |
error: exception |
10.0 |
10.1 |
291708928 |
| 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.5 |
16.6 |
711639040 |
unknown |
10.5 |
10.5 |
633229312 |
| 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 |
18.1 |
18.2 |
730910720 |
error: exception |
13.2 |
13.3 |
335749120 |
| 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.73 |
9.78 |
262496256 |
error: exception |
8.97 |
9.02 |
229388288 |
| 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.10 |
7.13 |
260419584 |
error: exception |
8.67 |
8.72 |
213659648 |
| 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.7 |
277458944 |
error: exception |
9.11 |
9.18 |
235798528 |
| 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.05 |
8.10 |
182108160 |
unknown |
7.70 |
7.75 |
177553408 |
| 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 |
15.3 |
15.3 |
732577792 |
unknown |
12.0 |
12.1 |
395935744 |
| 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-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
15.3 |
15.4 |
711368704 |
unknown |
6.69 |
6.74 |
245424128 |
| 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.4 |
18.5 |
779227136 |
unknown |
12.4 |
12.8 |
422924288 |
| 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.5 |
27.6 |
838955008 |
unknown |
9.76 |
9.82 |
306307072 |
| 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 |
14.8 |
14.9 |
728961024 |
unknown |
12.5 |
12.7 |
488460288 |
| 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 |
8.00 |
8.04 |
334176256 |
error: exception |
10.1 |
10.2 |
302301184 |
| 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 |
15.5 |
15.6 |
720441344 |
unknown |
5.88 |
5.91 |
226996224 |
| 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.62 |
8.67 |
218931200 |
unknown |
8.74 |
8.79 |
225116160 |
| 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 |
10.4 |
10.6 |
289447936 |
error: exception |
6.69 |
6.73 |
258412544 |
| 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.74 |
5.76 |
190459904 |
unknown |
6.69 |
6.73 |
181383168 |
| 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 |
unknown |
11.5 |
11.6 |
435245056 |
error: exception |
8.80 |
8.86 |
266174464 |
| 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 |
unknown |
7.62 |
7.65 |
393568256 |
error: exception |
8.76 |
8.81 |
246132736 |
| 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 |
unknown |
12.4 |
12.4 |
455274496 |
error: exception |
9.46 |
9.51 |
276549632 |
| 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 |
12.0 |
12.1 |
508649472 |
error: exception |
9.50 |
9.55 |
295653376 |
| 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 |
9.91 |
9.95 |
283561984 |
error: exception |
8.14 |
8.18 |
217423872 |
| 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 |
6.33 |
6.36 |
279572480 |
error: exception |
8.07 |
8.11 |
199069696 |
| 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 |
11.3 |
11.4 |
307843072 |
error: exception |
9.17 |
9.21 |
311513088 |
| 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.08 |
8.13 |
190128128 |
unknown |
7.49 |
7.55 |
175939584 |
| 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 |
7.40 |
7.43 |
295841792 |
error: exception |
9.59 |
9.65 |
261271552 |
| 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.63 |
8.68 |
199086080 |
unknown |
4.98 |
5.01 |
188018688 |
| 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 |
7.86 |
7.91 |
177102848 |
unknown |
8.48 |
8.54 |
199270400 |
| 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 |
5.68 |
5.71 |
193572864 |
unknown |
7.88 |
7.93 |
183578624 |
| 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 |
8.13 |
8.19 |
197763072 |
unknown |
7.76 |
7.81 |
188403712 |
| 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 |
7.43 |
7.49 |
201916416 |
unknown |
8.08 |
8.13 |
189702144 |
| 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.94 |
7.99 |
198438912 |
unknown |
7.81 |
7.87 |
184356864 |
| 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 |
7.75 |
7.81 |
197648384 |
unknown |
7.70 |
7.77 |
184864768 |
| 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 |
12.9 |
13.0 |
741539840 |
error: exception |
13.5 |
13.6 |
433532928 |
| 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 |
12.2 |
12.2 |
350863360 |
unknown |
11.2 |
11.2 |
314306560 |
| 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 |
8.76 |
8.80 |
431243264 |
unknown |
12.3 |
12.4 |
349143040 |
| 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 |
16.6 |
16.7 |
739782656 |
unknown |
16.2 |
16.3 |
658145280 |
| 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 |
12.1 |
12.1 |
739876864 |
unknown |
16.3 |
16.4 |
715612160 |
| 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 |
13.7 |
13.8 |
441765888 |
unknown |
12.8 |
12.9 |
361926656 |
| 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 |
13.6 |
13.6 |
620007424 |
unknown |
12.1 |
12.2 |
350666752 |
| 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.0 |
14.1 |
591294464 |
unknown |
11.9 |
12.0 |
355053568 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: type error |
14.9 |
15.0 |
514265088 |
unknown |
9.08 |
9.14 |
256217088 |
| 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 |
15.3 |
15.3 |
733769728 |
unknown |
14.5 |
14.6 |
449912832 |
| 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 |
11.4 |
11.5 |
321179648 |
unknown |
11.0 |
11.1 |
353792000 |
| 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 |
9.79 |
9.83 |
545849344 |
unknown |
9.09 |
9.12 |
408461312 |
| 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 |
18.1 |
18.2 |
741105664 |
unknown |
14.3 |
14.4 |
496975872 |
| 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 |
16.5 |
16.6 |
750714880 |
unknown |
8.26 |
8.30 |
369373184 |
| 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 |
12.0 |
12.0 |
432857088 |
unknown |
10.9 |
11.0 |
347885568 |
| 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 |
12.8 |
12.9 |
423596032 |
unknown |
12.4 |
12.5 |
347496448 |
| 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.5 |
26.7 |
835903488 |
unknown |
9.56 |
9.62 |
296194048 |
| 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.29 |
8.33 |
349667328 |
unknown |
11.0 |
11.0 |
315711488 |
| 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 |
18.7 |
18.8 |
736055296 |
unknown |
14.8 |
14.9 |
580878336 |
| 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 |
403554304 |
unknown |
12.0 |
12.1 |
336908288 |
| 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 |
17.1 |
17.2 |
734466048 |
unknown |
14.2 |
14.3 |
444178432 |
| 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 |
17.0 |
17.1 |
745218048 |
unknown |
13.3 |
13.4 |
414453760 |
| 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 |
10.3 |
10.3 |
686432256 |
unknown |
12.4 |
12.5 |
367357952 |
| 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 |
15.7 |
15.8 |
696983552 |
unknown |
12.4 |
12.4 |
375484416 |
| 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 |
14.8 |
14.9 |
656736256 |
unknown |
13.9 |
14.0 |
525746176 |
| 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 |
15.8 |
15.9 |
716636160 |
unknown |
14.1 |
14.2 |
458186752 |
| 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 |
11.4 |
11.5 |
537866240 |
unknown |
6.68 |
6.71 |
280330240 |
| 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.8 |
11.9 |
353808384 |
unknown |
10.9 |
11.0 |
280956928 |
| 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 |
16.9 |
17.0 |
732282880 |
error: exception |
10.9 |
11.0 |
295272448 |
| 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 |
12.6 |
12.7 |
769064960 |
error: exception |
10.8 |
10.9 |
318287872 |
| 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.33 |
8.37 |
346161152 |
error: exception |
6.92 |
6.96 |
306106368 |
| 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.1 |
14.2 |
593068032 |
error: exception |
11.6 |
11.7 |
428646400 |
| 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 |
13.6 |
13.8 |
528060416 |
error: exception |
7.49 |
7.53 |
406573056 |
| 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 |
7.63 |
7.66 |
295485440 |
error: exception |
9.29 |
9.35 |
244428800 |
| 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 |
9.07 |
9.10 |
472186880 |
error: exception |
7.65 |
7.69 |
388427776 |
| 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 |
12.3 |
12.4 |
371286016 |
error: exception |
11.0 |
11.0 |
337567744 |
| 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 |
24.5 |
24.6 |
784384000 |
error: exception |
15.6 |
15.7 |
511868928 |
| 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.6 |
12.7 |
376705024 |
error: exception |
10.1 |
10.1 |
291627008 |
| 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.5 |
12.6 |
361127936 |
error: exception |
9.62 |
9.69 |
276271104 |
| 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.5 |
12.6 |
378662912 |
error: exception |
6.70 |
6.73 |
289435648 |
| 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.2 |
12.3 |
366977024 |
error: exception |
10.0 |
10.1 |
279838720 |
| 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.76 |
7.79 |
326414336 |
error: exception |
10.1 |
10.3 |
289210368 |
| 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.22 |
7.26 |
283680768 |
error: exception |
9.79 |
9.86 |
261599232 |
| 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.2 |
10.3 |
271499264 |
error: exception |
5.87 |
5.90 |
209698816 |
| 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 |
6.08 |
6.11 |
216330240 |
unknown |
8.07 |
8.12 |
200359936 |
| 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.63 |
8.70 |
206086144 |
unknown |
7.38 |
7.43 |
206757888 |
| 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 |
9.34 |
9.39 |
214499328 |
unknown |
7.60 |
7.67 |
195354624 |
| 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.4 |
11.4 |
312557568 |
unknown |
7.82 |
7.86 |
301940736 |
| 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.4 |
11.4 |
297304064 |
unknown |
10.6 |
10.7 |
288280576 |
| 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 |
11.8 |
11.9 |
354508800 |
unknown |
11.4 |
11.5 |
322871296 |
| 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 |
11.1 |
11.1 |
295227392 |
unknown |
11.0 |
11.3 |
286994432 |
| 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 |
14.3 |
14.4 |
539422720 |
error: exception |
12.1 |
12.2 |
361582592 |
| 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.65 |
8.71 |
196526080 |
unknown |
7.31 |
7.36 |
173322240 |
| 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 |
unknown |
12.1 |
12.2 |
398557184 |
error: exception |
8.81 |
8.88 |
247144448 |
| 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 |
11.6 |
11.6 |
324190208 |
error: exception |
9.79 |
9.85 |
292577280 |
| 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.18 |
9.24 |
252280832 |
error: exception |
8.16 |
8.21 |
187502592 |
| 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 |
17.0 |
17.1 |
710578176 |
unknown |
10.4 |
10.4 |
541687808 |
| 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 |
16.2 |
16.3 |
728944640 |
unknown |
6.12 |
6.15 |
221736960 |
| 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.9 |
17.0 |
731205632 |
error: exception |
12.5 |
12.6 |
374575104 |
| 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.4 |
10.5 |
284590080 |
error: exception |
8.70 |
8.76 |
214634496 |
| 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 |
8.83 |
8.90 |
260333568 |
error: exception |
8.27 |
8.35 |
212021248 |
| 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 |
11.0 |
11.1 |
281714688 |
error: exception |
9.46 |
9.52 |
234135552 |
| 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.81 |
6.85 |
250888192 |
error: exception |
6.13 |
6.17 |
226672640 |
| 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 |
12.2 |
12.3 |
356933632 |
error: exception |
9.79 |
9.83 |
300625920 |
| 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.2 |
11.3 |
291340288 |
error: exception |
9.36 |
9.62 |
224133120 |
| 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.09 |
8.15 |
188067840 |
unknown |
7.61 |
7.67 |
178610176 |
| 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.6 |
10.6 |
272687104 |
unknown |
10.4 |
10.5 |
259969024 |
| 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.77 |
7.81 |
273125376 |
unknown |
9.32 |
9.37 |
241016832 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36-1.c |
error: exception |
8.47 |
8.52 |
216723456 |
unknown |
7.72 |
7.77 |
177930240 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36-1.c |
error: exception |
9.18 |
9.24 |
235311104 |
unknown |
5.49 |
5.53 |
177127424 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c |
error: exception |
10.0 |
10.1 |
236527616 |
unknown |
7.93 |
7.98 |
191913984 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36-1.c |
error: exception |
6.28 |
6.32 |
220139520 |
unknown |
7.81 |
7.88 |
178118656 |
| ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_pcidio-ko--107_1a--adbbc36-1.c |
error: exception |
9.83 |
9.89 |
244658176 |
unknown |
7.79 |
7.85 |
198529024 |
| ldv-commit-tester/m0_true-unreach-call_drivers-media-rc-imon--32_7a--a9e7fb5.c |
error: exception |
10.0 |
10.1 |
229777408 |
unknown |
16.7 |
16.7 |
699478016 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36.c |
error: exception |
8.49 |
8.55 |
212398080 |
unknown |
7.67 |
7.72 |
183468032 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36.c |
error: exception |
6.00 |
6.04 |
235212800 |
unknown |
7.89 |
7.96 |
184602624 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36.c |
error: exception |
9.82 |
9.90 |
240943104 |
unknown |
8.12 |
8.16 |
194318336 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36.c |
error: exception |
8.70 |
8.75 |
218284032 |
unknown |
7.56 |
7.62 |
181116928 |
| ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_pcidio-ko--107_1a--adbbc36.c |
error: exception |
6.54 |
6.57 |
248074240 |
unknown |
5.61 |
5.64 |
198422528 |
| ldv-commit-tester/main1_true-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1_false-termination.c |
error: exception |
12.6 |
12.7 |
312926208 |
unknown |
12.4 |
12.4 |
353824768 |
| ldv-commit-tester/main1_true-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa_false-termination.c |
error: exception |
13.0 |
13.1 |
314585088 |
unknown |
8.33 |
8.37 |
368128000 |
| ldv-commit-tester/main3_true-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1_false-termination.c |
error: exception |
11.4 |
11.5 |
310702080 |
unknown |
10.3 |
10.5 |
449007616 |
| ldv-commit-tester/main3_true-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa_false-termination.c |
error: exception |
11.9 |
12.0 |
316383232 |
unknown |
15.2 |
15.3 |
466554880 |
| ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
121 |
121 |
763588608 |
error: type error |
24.7 |
24.9 |
790167552 |
| ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--hwmon--abituguru3.ko-main.cil.out.c |
error: exception |
11.3 |
11.4 |
308391936 |
unknown |
8.14 |
8.36 |
188129280 |
| ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--pcmcia--pcmcia_rsrc.ko-main.cil.out.c |
error: exception |
9.27 |
9.32 |
226803712 |
unknown |
8.01 |
8.06 |
190054400 |
| 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 |
8.99 |
9.05 |
231010304 |
unknown |
7.78 |
7.84 |
213491712 |
| 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.5 |
10.6 |
277630976 |
unknown |
8.51 |
8.55 |
208064512 |
| 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 |
9.67 |
9.73 |
327733248 |
unknown |
9.65 |
9.71 |
314400768 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--mfd--sm501.ko-main.cil.out.c |
unknown |
16.7 |
16.8 |
725917696 |
error: exception |
10.4 |
10.5 |
333676544 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--misc--pch_phub.ko-main.cil.out.c |
unknown |
7.67 |
7.72 |
341217280 |
error: exception |
6.93 |
6.97 |
284499968 |
| 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 |
54.2 |
54.4 |
912433152 |
error: exception |
24.4 |
24.5 |
764768256 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--usb--host--r8a66597-hcd.ko-main.cil.out.c |
error: exception |
10.2 |
10.3 |
289374208 |
unknown |
8.50 |
8.56 |
206204928 |
| 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.4 |
17.5 |
726638592 |
unknown |
13.7 |
13.8 |
403677184 |
| 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.2 |
14.2 |
349024256 |
unknown |
10.3 |
10.4 |
252825600 |
| 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 |
12.8 |
12.8 |
754831360 |
unknown |
12.2 |
12.2 |
752607232 |
| 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.3 |
40.5 |
856543232 |
error: exception |
19.6 |
19.7 |
748318720 |
| ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ppp--ppp_synctty.ko-entry_point_false-unreach-call.cil.out.c |
unknown |
103 |
103 |
743051264 |
timeout |
121 |
121 |
747077632 |
| 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.13 |
8.19 |
208887808 |
unknown |
9.86 |
9.90 |
506392576 |
| 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 |
21.4 |
21.5 |
778629120 |
error: exception |
15.0 |
15.1 |
540774400 |
| 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 |
18.3 |
18.4 |
732135424 |
unknown |
17.5 |
17.6 |
731070464 |
| 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 |
33.0 |
33.2 |
809934848 |
error: exception |
10.6 |
10.7 |
501235712 |
| 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 |
38.3 |
38.5 |
861184000 |
error: exception |
26.2 |
26.4 |
809406464 |
| 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 |
50.9 |
51.1 |
936161280 |
error: exception |
28.5 |
28.6 |
778719232 |
| 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 |
18.0 |
18.0 |
722382848 |
error: exception |
11.7 |
11.8 |
310562816 |
| 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 |
15.6 |
15.7 |
739074048 |
unknown |
14.9 |
15.0 |
586608640 |
| 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.8 |
16.0 |
721063936 |
unknown |
9.45 |
9.48 |
436260864 |
| 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 |
29.7 |
29.8 |
815484928 |
error: exception |
17.3 |
17.4 |
685441024 |
| 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 |
22.4 |
22.5 |
756801536 |
error: exception |
15.0 |
15.1 |
555892736 |
| 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.9 |
22.0 |
765403136 |
unknown |
21.6 |
21.8 |
748191744 |
| 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 |
timeout |
121 |
121 |
752803840 |
error: exception |
9.20 |
9.24 |
385486848 |
| 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 |
17.4 |
17.6 |
735047680 |
error: exception |
15.5 |
15.6 |
450187264 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--pci--cs46xx--snd-cs46xx.ko-entry_point_true-unreach-call.cil.out.c |
timeout |
121 |
121 |
717307904 |
error: exception |
12.4 |
12.5 |
333742080 |
| 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 |
20.1 |
20.2 |
737972224 |
error: exception |
14.4 |
14.5 |
352428032 |
| 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 |
22.1 |
22.2 |
740466688 |
error: exception |
14.6 |
14.7 |
357748736 |
| 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 |
6.94 |
6.98 |
272613376 |
error: exception |
9.33 |
9.38 |
238002176 |
| 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 |
40.2 |
40.4 |
853200896 |
error: exception |
15.2 |
15.2 |
753201152 |
| 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.6 |
13.7 |
727773184 |
error: exception |
8.65 |
8.70 |
353562624 |
| 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 |
18.5 |
18.6 |
737849344 |
error: exception |
11.4 |
11.4 |
307294208 |
| 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.0 |
43.1 |
856518656 |
error: exception |
22.1 |
22.3 |
753123328 |
| 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 |
12.9 |
12.9 |
732803072 |
error: exception |
11.4 |
11.4 |
334639104 |
| 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.5 |
19.6 |
750620672 |
error: exception |
14.0 |
14.0 |
416047104 |
| 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 |
19.7 |
19.8 |
753803264 |
error: exception |
9.47 |
9.51 |
394178560 |
| 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 |
22.9 |
23.0 |
759406592 |
error: exception |
11.1 |
11.2 |
445952000 |
| 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 |
22.8 |
23.0 |
761720832 |
error: exception |
17.0 |
17.1 |
718348288 |
| ldv-challenges/linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful_true-unreach-call.cil.out.c |
timeout |
121 |
121 |
770764800 |
error: type error |
22.6 |
22.6 |
807575552 |
| 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 |
17.5 |
17.7 |
724545536 |
unknown |
25.3 |
25.4 |
779780096 |
| 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 |
15.5 |
15.5 |
722911232 |
unknown |
25.0 |
25.1 |
782659584 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-netconsole_true-unreach-call.cil.c |
error: exception |
14.8 |
14.9 |
423407616 |
unknown |
18.2 |
18.3 |
733687808 |
| 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 |
17.8 |
17.8 |
708947968 |
unknown |
24.2 |
24.3 |
785166336 |
| 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.7 |
16.8 |
715485184 |
unknown |
27.8 |
27.9 |
781438976 |
| 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 |
18.0 |
18.1 |
751321088 |
unknown |
25.5 |
25.6 |
758333440 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-usb-gspca-gspca_ov519_true-unreach-call.cil.c |
error: exception |
10.8 |
10.9 |
716111872 |
unknown |
24.4 |
24.5 |
783007744 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-media-usb-gspca-gspca_ov519_true-unreach-call.cil.c |
error: exception |
12.1 |
12.2 |
725258240 |
unknown |
25.2 |
25.3 |
786833408 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--mtd--sm_ftl.ko_false-unreach-call.cil.c |
error: exception |
8.89 |
8.93 |
342085632 |
unknown |
14.4 |
14.5 |
475561984 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---kernel--locking--locktorture.ko_false-unreach-call.cil.c |
error: exception |
8.68 |
8.71 |
317526016 |
unknown |
13.4 |
13.6 |
341090304 |
| 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 |
5.46 |
5.50 |
218894336 |
unknown |
11.0 |
11.1 |
275156992 |
| array-memsafety/cstrchr_unsafe_false-valid-deref.i |
unknown |
6.77 |
6.82 |
164937728 |
error: exception |
7.15 |
7.19 |
170401792 |
| array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i |
unknown |
4.76 |
4.79 |
166797312 |
error: exception |
6.84 |
6.88 |
167157760 |
| memsafety/test-0137_false-valid-deref.i |
unknown |
6.33 |
6.37 |
168251392 |
error: exception |
7.26 |
7.31 |
171458560 |
| memsafety/test-0232_false-valid-free.i |
unknown |
7.07 |
7.23 |
166551552 |
error: exception |
6.89 |
6.94 |
168337408 |
| memsafety/20020406-1_false-valid-memtrack.i |
error: exception |
4.86 |
5.09 |
170741760 |
unknown |
7.81 |
7.86 |
196366336 |
| memsafety/test-0102_false-valid-memtrack.i |
unknown |
6.30 |
6.35 |
169017344 |
error: exception |
5.31 |
5.35 |
190791680 |
| memsafety/test-0232_false-valid-memtrack.i |
unknown |
4.85 |
4.89 |
166944768 |
error: exception |
6.83 |
6.87 |
172371968 |
| memsafety/test-0102_true-valid-memsafety.i |
unknown |
6.77 |
7.02 |
170565632 |
error: exception |
7.77 |
7.84 |
187805696 |
| memsafety/test-0134_true-valid-memsafety.i |
unknown |
4.71 |
4.75 |
173117440 |
error: exception |
7.85 |
7.90 |
192184320 |
| memsafety/test-0232_true-valid-memsafety.i |
unknown |
7.16 |
7.22 |
166850560 |
error: exception |
4.85 |
4.88 |
164823040 |
| memsafety/test-0504_true-valid-memsafety.i |
unknown |
7.22 |
7.28 |
168845312 |
error: exception |
7.11 |
7.17 |
167903232 |
| memsafety/test-0513_true-valid-memsafety.i |
unknown |
6.37 |
6.41 |
166244352 |
error: exception |
6.38 |
6.43 |
167055360 |
| memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i |
unknown |
4.64 |
4.87 |
167768064 |
error: exception |
7.23 |
7.28 |
169472000 |
| memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i |
unknown |
7.05 |
7.11 |
170217472 |
error: exception |
4.87 |
4.90 |
170868736 |
| memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i |
unknown |
7.05 |
7.10 |
186155008 |
error: exception |
7.62 |
7.87 |
169762816 |
| memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i |
unknown |
4.60 |
4.63 |
160083968 |
error: exception |
5.09 |
5.12 |
184193024 |
| list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i |
unknown |
7.08 |
7.12 |
166391808 |
error: exception |
7.16 |
7.22 |
166117376 |
| list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i |
unknown |
5.01 |
5.05 |
165314560 |
error: exception |
6.97 |
7.01 |
168456192 |
| list-ext-properties/test-0504_1_true-valid-memsafety.i |
unknown |
6.97 |
7.02 |
166416384 |
error: exception |
7.20 |
7.25 |
171679744 |
| list-ext-properties/test-0513_1_true-valid-memsafety.i |
unknown |
6.50 |
6.54 |
164839424 |
error: exception |
7.03 |
7.08 |
168652800 |
| ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i |
unknown |
7.03 |
7.08 |
170983424 |
error: exception |
5.22 |
5.25 |
187170816 |
| heap-manipulation/tree_false-valid-deref.i |
unknown |
7.10 |
7.14 |
167051264 |
error: exception |
7.13 |
7.18 |
165609472 |
| busybox-1.22.0/basename_false-valid-deref.i |
error: exception |
5.17 |
5.21 |
173387776 |
unknown |
8.63 |
8.68 |
208326656 |
| busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i |
error: exception |
7.25 |
7.31 |
173748224 |
unknown |
8.83 |
8.91 |
207192064 |