| array-memsafety/add_last_unsafe_false-valid-deref.i |
unknown |
5.98 |
3.21 |
198238208 |
| array-memsafety/bubblesort_unsafe_false-valid-deref.i |
false(valid-deref) |
8.68 |
4.85 |
264593408 |
| array-memsafety/count_down_unsafe_false-valid-deref.i |
unknown |
6.05 |
3.26 |
202723328 |
| array-memsafety/cstrcat_unsafe_false-valid-deref.i |
false(valid-deref) |
8.16 |
4.71 |
256090112 |
| array-memsafety/cstrchr_unsafe_false-valid-deref.i |
unknown |
6.06 |
3.27 |
196517888 |
| array-memsafety/cstrlen_unsafe_false-valid-deref.i |
unknown |
6.22 |
3.33 |
198848512 |
| array-memsafety/cstrncat_unsafe_false-valid-deref.i |
false(valid-deref) |
8.04 |
4.64 |
258408448 |
| array-memsafety/cstrncpy_unsafe_false-valid-deref.i |
false(valid-deref) |
7.75 |
4.76 |
254259200 |
| array-memsafety/cstrpbrk_unsafe_false-valid-deref.i |
unknown |
6.12 |
3.47 |
197029888 |
| array-memsafety/diff_usafe_false-valid-deref.i |
false(valid-deref) |
8.37 |
4.73 |
269500416 |
| array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i |
unknown |
6.33 |
3.36 |
196448256 |
| array-memsafety/lis_unsafe_false-valid-deref.i |
unknown |
6.33 |
3.36 |
193331200 |
| array-memsafety/mult_array_unsafe_false-valid-deref.i |
unknown |
6.29 |
3.52 |
196431872 |
| array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i |
unknown |
6.07 |
3.20 |
196673536 |
| array-memsafety/reverse_array_unsafe_false-valid-deref.i |
unknown |
6.14 |
3.32 |
194670592 |
| array-memsafety/selectionsort_unsafe_false-valid-deref.i |
false(valid-deref) |
9.26 |
5.06 |
269320192 |
| array-memsafety/stroeder1_unsafe_false-valid-deref.i |
false(valid-deref) |
7.64 |
4.30 |
250523648 |
| array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.30 |
3.33 |
196694016 |
| array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.13 |
3.28 |
194551808 |
| array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.18 |
3.30 |
203812864 |
| array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.48 |
3.43 |
196861952 |
| array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.10 |
3.26 |
197054464 |
| array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i |
unknown |
5.80 |
3.18 |
194519040 |
| array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.28 |
3.34 |
199098368 |
| array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.36 |
3.38 |
207331328 |
| array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.09 |
3.29 |
199737344 |
| array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.01 |
3.27 |
193855488 |
| array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.19 |
3.45 |
194867200 |
| array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.36 |
3.37 |
195252224 |
| array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i |
unknown |
5.99 |
3.40 |
204025856 |
| array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.14 |
3.25 |
201134080 |
| array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.21 |
3.31 |
200708096 |
| array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.10 |
3.29 |
207077376 |
| array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.22 |
3.49 |
195469312 |
| array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.13 |
3.30 |
196317184 |
| array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.33 |
3.37 |
200134656 |
| array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.26 |
3.35 |
195112960 |
| array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.37 |
3.41 |
198193152 |
| array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.18 |
3.32 |
194404352 |
| array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.25 |
3.50 |
196702208 |
| array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.07 |
3.23 |
196894720 |
| array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.45 |
3.62 |
211410944 |
| array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i |
unknown |
5.88 |
3.21 |
201383936 |
| array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.16 |
3.27 |
195047424 |
| array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
5.93 |
3.19 |
194654208 |
| array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i |
unknown |
5.88 |
3.23 |
192962560 |
| array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.14 |
3.27 |
196075520 |
| array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.21 |
3.29 |
193191936 |
| array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.18 |
3.28 |
193953792 |
| array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.22 |
3.34 |
206786560 |
| array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.25 |
3.30 |
201621504 |
| array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.09 |
3.27 |
195678208 |
| array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.13 |
3.28 |
198537216 |
| array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.01 |
3.23 |
196227072 |
| array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.27 |
3.34 |
197730304 |
| array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.25 |
3.37 |
196759552 |
| array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.13 |
3.27 |
195944448 |
| array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.21 |
3.32 |
203460608 |
| array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i |
unknown |
5.74 |
3.10 |
198176768 |
| array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.39 |
3.37 |
205594624 |
| array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.19 |
3.31 |
197136384 |
| array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.31 |
3.38 |
201560064 |
| array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.28 |
3.34 |
198647808 |
| array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.10 |
3.26 |
202035200 |
| array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i |
unknown |
6.39 |
3.41 |
197120000 |
| array-examples/relax_false-valid-deref.i |
unknown |
6.03 |
3.20 |
200781824 |
| array-examples/sanfoundry_24_false-valid-deref.i |
error: exception |
11.6 |
6.47 |
319049728 |
| array-examples/standard_strcpy_false-valid-deref_ground.i |
error: exception |
15.4 |
8.84 |
452362240 |
| array-examples/standard_strcpy_original_false-valid-deref.i |
error: exception |
13.2 |
7.47 |
376655872 |
| memsafety/960521-1_false-valid-deref.i |
unknown |
6.12 |
3.24 |
196182016 |
| memsafety/test-0137_false-valid-deref.i |
unknown |
6.56 |
3.47 |
195334144 |
| memsafety/test-0235_false-valid-deref.i |
unknown |
6.32 |
3.31 |
193695744 |
| memsafety/960521-1_false-valid-free.i |
unknown |
6.05 |
3.21 |
200908800 |
| memsafety/test-0158_false-valid-free.i |
unknown |
5.81 |
3.14 |
194076672 |
| memsafety/test-0232_false-valid-free.i |
unknown |
6.35 |
3.41 |
195518464 |
| memsafety/20020406-1_false-valid-memtrack.i |
error: exception |
6.28 |
3.34 |
201969664 |
| memsafety/20051113-1.c_false-valid-memtrack.i |
unknown |
6.15 |
3.25 |
198082560 |
| memsafety/lockfree-3.1_false-valid-memtrack.i |
unknown |
6.23 |
3.31 |
198135808 |
| memsafety/lockfree-3.2_false-valid-memtrack.i |
unknown |
6.14 |
3.29 |
199700480 |
| memsafety/lockfree-3.3_false-valid-memtrack.i |
unknown |
6.25 |
3.33 |
197681152 |
| memsafety/test-0019_false-valid-memtrack_true-termination.i |
unknown |
5.96 |
3.17 |
198582272 |
| memsafety/test-0102_false-valid-memtrack.i |
unknown |
5.96 |
3.20 |
194174976 |
| memsafety/test-0158_false-valid-memtrack_true-termination.i |
unknown |
6.09 |
3.24 |
192323584 |
| memsafety/test-0220_false-valid-memtrack.i |
unknown |
6.35 |
3.37 |
197193728 |
| memsafety/test-0232_false-valid-memtrack.i |
unknown |
5.98 |
3.21 |
193351680 |
| memsafety/test-0234_false-valid-memtrack.i |
unknown |
6.35 |
3.39 |
204591104 |
| memsafety/test-0235_false-valid-memtrack.i |
unknown |
6.07 |
3.22 |
208846848 |
| memsafety/960521-1_true-valid-memsafety.i |
unknown |
6.08 |
3.23 |
203464704 |
| memsafety/lockfree-3.0_true-valid-memsafety.i |
unknown |
6.01 |
3.27 |
203304960 |
| memsafety/test-0019_true-valid-memsafety_true-termination.i |
unknown |
6.03 |
3.18 |
194891776 |
| memsafety/test-0102_true-valid-memsafety.i |
unknown |
6.24 |
3.35 |
195784704 |
| memsafety/test-0134_true-valid-memsafety.i |
unknown |
6.33 |
3.40 |
196861952 |
| memsafety/test-0158_true-valid-memsafety_true-termination.i |
unknown |
6.06 |
3.23 |
192991232 |
| memsafety/test-0214_true-valid-memsafety_false-termination.i |
unknown |
6.26 |
3.33 |
205729792 |
| memsafety/test-0217_true-valid-memsafety_false-termination.i |
unknown |
6.08 |
3.29 |
195465216 |
| memsafety/test-0218_true-valid-memsafety_false-termination.i |
unknown |
6.24 |
3.28 |
197861376 |
| memsafety/test-0219_true-valid-memsafety.i |
unknown |
6.05 |
3.26 |
207097856 |
| memsafety/test-0232_true-valid-memsafety.i |
unknown |
6.07 |
3.27 |
197570560 |
| memsafety/test-0234_true-valid-memsafety.i |
unknown |
6.48 |
3.42 |
196849664 |
| memsafety/test-0235_true-valid-memsafety.i |
unknown |
6.03 |
3.26 |
204648448 |
| memsafety/test-0236_true-valid-memsafety.i |
unknown |
6.57 |
3.46 |
196935680 |
| memsafety/test-0237_true-valid-memsafety.i |
unknown |
6.21 |
3.35 |
197586944 |
| memsafety/test-0504_true-valid-memsafety.i |
unknown |
6.14 |
3.26 |
197873664 |
| memsafety/test-0513_true-valid-memsafety.i |
unknown |
6.03 |
3.22 |
197427200 |
| memsafety/test-0521_true-valid-memsafety.i |
unknown |
6.14 |
3.27 |
200183808 |
| memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i |
unknown |
6.30 |
3.31 |
195584000 |
| memsafety-ext/dll_extends_pointer_true-valid-memsafety.i |
unknown |
5.91 |
3.17 |
196370432 |
| memsafety-ext/skiplist_2lvl_true-valid-memsafety.i |
unknown |
6.17 |
3.32 |
199512064 |
| memsafety-ext/skiplist_3lvl_true-valid-memsafety.i |
unknown |
6.44 |
3.43 |
206848000 |
| memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i |
unknown |
6.28 |
3.28 |
201318400 |
| memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i |
unknown |
6.13 |
3.34 |
194748416 |
| memsafety-ext/tree_of_cslls_true-valid-memsafety.i |
unknown |
6.33 |
3.34 |
194822144 |
| memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i |
unknown |
5.90 |
3.16 |
195055616 |
| memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i |
unknown |
6.42 |
3.40 |
197324800 |
| memsafety-ext2/split_list_test05_false-valid-deref.i |
error: exception |
6.29 |
3.37 |
199553024 |
| memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i |
error: exception |
6.33 |
3.37 |
201953280 |
| memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i |
error: exception |
6.32 |
3.39 |
200507392 |
| memsafety-ext2/length_test03_false-valid-memtrack.i |
error: exception |
50.9 |
32.3 |
991387648 |
| memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i |
error: exception |
33.3 |
20.4 |
847749120 |
| memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i |
error: exception |
6.51 |
3.44 |
201453568 |
| memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i |
error: exception |
6.24 |
3.35 |
203915264 |
| memsafety-ext2/length_test03_true-valid-memsafety.i |
error: exception |
51.7 |
32.6 |
1016745984 |
| memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i |
error: exception |
35.9 |
21.6 |
856440832 |
| memsafety-ext2/split_list_test05_true-valid-memsafety.i |
error: exception |
5.95 |
3.23 |
198836224 |
| list-ext-properties/960521-1_1_false-valid-deref.i |
unknown |
6.07 |
3.25 |
201052160 |
| list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i |
unknown |
6.19 |
3.30 |
194777088 |
| list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i |
unknown |
6.44 |
3.38 |
199520256 |
| list-ext-properties/960521-1_1_false-valid-free.i |
unknown |
6.33 |
3.37 |
196935680 |
| list-ext-properties/test-0158_1_false-valid-free.i |
unknown |
6.21 |
3.30 |
203399168 |
| list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i |
unknown |
6.01 |
3.22 |
192778240 |
| list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i |
unknown |
6.47 |
3.40 |
198283264 |
| list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i |
unknown |
6.30 |
3.35 |
195579904 |
| list-ext-properties/960521-1_1_true-valid-memsafety.i |
unknown |
6.05 |
3.24 |
200830976 |
| list-ext-properties/list-ext_1_true-valid-memsafety.i |
unknown |
6.03 |
3.26 |
204509184 |
| list-ext-properties/list-ext_flag_1_true-valid-memsafety.i |
unknown |
6.06 |
3.26 |
193200128 |
| list-ext-properties/simple-ext_1_true-valid-memsafety.i |
unknown |
6.04 |
3.23 |
196182016 |
| list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i |
unknown |
6.09 |
3.25 |
198152192 |
| list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i |
unknown |
6.03 |
3.22 |
194465792 |
| list-ext-properties/test-0214_1_true-valid-memsafety.i |
unknown |
6.14 |
3.30 |
200605696 |
| list-ext-properties/test-0217_1_true-valid-memsafety.i |
unknown |
6.17 |
3.27 |
204324864 |
| list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i |
unknown |
6.30 |
3.30 |
193581056 |
| list-ext-properties/test-0504_1_true-valid-memsafety.i |
unknown |
6.39 |
3.38 |
195231744 |
| list-ext-properties/test-0513_1_true-valid-memsafety.i |
unknown |
6.17 |
3.26 |
197021696 |
| memory-alloca/c.03-alloca_true-valid-memsafety.i |
unknown |
6.21 |
3.31 |
201433088 |
| ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c |
false(valid-deref) |
10.1 |
5.74 |
278446080 |
| ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c |
false(valid-deref) |
12.9 |
7.35 |
377425920 |
| ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c |
false(valid-deref) |
7.63 |
4.30 |
261177344 |
| ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c |
false(valid-deref) |
7.90 |
4.41 |
260321280 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c |
error: exception |
12.3 |
6.96 |
335908864 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c |
error: exception |
12.4 |
7.02 |
347525120 |
| ldv-memsafety/memset2_false-valid-deref-write.c |
false(valid-deref) |
8.16 |
4.56 |
260354048 |
| ldv-memsafety/memset3_false-valid-deref-write.c |
false(valid-deref) |
8.09 |
4.42 |
262721536 |
| ldv-memsafety/memsetNonZero2_false-valid-deref-write.c |
false(valid-deref) |
7.77 |
4.40 |
270880768 |
| ldv-memsafety/memsetNonZero3_false-valid-deref-write.c |
false(valid-deref) |
8.25 |
4.59 |
264364032 |
| ldv-memsafety/memsetNonZero_false-valid-deref-write.c |
false(valid-deref) |
8.05 |
4.48 |
273113088 |
| ldv-memsafety/memset_false-valid-deref-write.c |
false(valid-deref) |
8.12 |
4.55 |
263188480 |
| ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c |
error: exception |
15.5 |
8.89 |
448438272 |
| ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c |
error: exception |
12.2 |
6.81 |
329388032 |
| ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c |
error: exception |
12.3 |
6.98 |
340742144 |
| ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c |
error: exception |
11.0 |
6.30 |
313425920 |
| ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c |
error: exception |
11.3 |
6.29 |
324485120 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c |
error: exception |
13.7 |
7.83 |
400072704 |
| ldv-memsafety/StructInitialization1_true-valid-memsafety.c |
true |
47.8 |
28.0 |
1040613376 |
| ldv-memsafety/StructInitialization2_true-valid-memsafety.c |
true |
47.5 |
28.1 |
1012420608 |
| ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c |
true |
7.93 |
4.42 |
273424384 |
| ldv-memsafety/memset2_true-valid-memsafety_true-termination.c |
error: exception |
9.24 |
5.17 |
265629696 |
| ldv-memsafety/memset3_true-valid-memsafety_true-termination.c |
error: exception |
9.77 |
5.48 |
276275200 |
| ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c |
error: exception |
9.38 |
5.23 |
266149888 |
| ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c |
error: exception |
9.56 |
5.31 |
272470016 |
| ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c |
error: exception |
9.48 |
5.23 |
267022336 |
| ldv-memsafety/memset_true-valid-memsafety_true-termination.c |
error: exception |
9.36 |
5.18 |
276025344 |
| ldv-memsafety/memleaks_test14_3_false-valid-deref.i |
unknown |
6.20 |
3.30 |
203788288 |
| ldv-memsafety/memleaks_test22_3_false-valid-deref.i |
unknown |
6.35 |
3.36 |
202813440 |
| ldv-memsafety/memleaks_test22_5_false-valid-deref.i |
unknown |
6.21 |
3.32 |
197967872 |
| ldv-memsafety/memleaks_test23_2_false-valid-deref.i |
unknown |
6.39 |
3.38 |
200871936 |
| ldv-memsafety/memleaks_test23_4_false-valid-deref.i |
unknown |
6.40 |
3.42 |
209829888 |
| ldv-memsafety/memleaks_test11_1_false-valid-free.i |
unknown |
6.24 |
3.34 |
206020608 |
| ldv-memsafety/memleaks_test12_false-valid-free.i |
unknown |
6.61 |
3.49 |
200441856 |
| ldv-memsafety/memleaks_test17_2_false-valid-free.i |
unknown |
6.14 |
3.24 |
202178560 |
| ldv-memsafety/memleaks_test19_false-valid-free.i |
unknown |
6.39 |
3.43 |
207855616 |
| ldv-memsafety/memleaks_test1_false-valid-free.i |
unknown |
6.25 |
3.27 |
202600448 |
| ldv-memsafety/memleaks_test3_false-valid-free.i |
unknown |
6.29 |
3.32 |
206893056 |
| ldv-memsafety/memleaks_test6_2_false-valid-free.i |
unknown |
6.33 |
3.35 |
195837952 |
| ldv-memsafety/memleaks_test8_2_false-valid-free.i |
unknown |
6.34 |
3.36 |
207458304 |
| ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i |
unknown |
6.17 |
3.30 |
200245248 |
| ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i |
unknown |
6.50 |
3.45 |
198537216 |
| ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i |
unknown |
5.97 |
3.46 |
207364096 |
| ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i |
unknown |
6.15 |
3.27 |
202625024 |
| ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i |
unknown |
5.99 |
3.23 |
204308480 |
| ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i |
unknown |
6.32 |
3.39 |
201379840 |
| ldv-memsafety/memleaks_test15_false-valid-memtrack.i |
unknown |
6.13 |
3.30 |
196804608 |
| ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i |
unknown |
6.49 |
3.40 |
197230592 |
| ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i |
unknown |
6.53 |
3.45 |
196100096 |
| ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i |
unknown |
6.55 |
3.46 |
208072704 |
| ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i |
unknown |
6.46 |
3.41 |
196231168 |
| ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i |
unknown |
6.34 |
3.37 |
198561792 |
| ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i |
unknown |
6.33 |
3.34 |
199319552 |
| ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i |
unknown |
6.23 |
3.35 |
208007168 |
| ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i |
unknown |
6.21 |
3.34 |
197320704 |
| ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i |
unknown |
6.35 |
3.41 |
204255232 |
| ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i |
unknown |
6.40 |
3.39 |
200077312 |
| ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i |
unknown |
6.39 |
3.37 |
199159808 |
| ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i |
unknown |
6.45 |
3.44 |
199835648 |
| ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i |
unknown |
6.48 |
3.40 |
206245888 |
| ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i |
unknown |
6.32 |
3.39 |
202739712 |
| ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i |
unknown |
6.26 |
3.30 |
199966720 |
| ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i |
unknown |
6.30 |
3.30 |
199409664 |
| ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i |
unknown |
6.37 |
3.41 |
204804096 |
| ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i |
unknown |
6.17 |
3.33 |
203112448 |
| ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i |
unknown |
6.39 |
3.36 |
202457088 |
| ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i |
unknown |
6.42 |
3.38 |
207220736 |
| ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i |
unknown |
6.01 |
3.23 |
209096704 |
| ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i |
unknown |
6.07 |
3.25 |
199086080 |
| ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i |
unknown |
6.38 |
3.34 |
199303168 |
| ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i |
unknown |
6.09 |
3.30 |
202887168 |
| ldv-memsafety/memleaks_test12_true-valid-memsafety.i |
unknown |
6.38 |
3.37 |
208564224 |
| ldv-memsafety/memleaks_test13_true-valid-memsafety.i |
unknown |
6.46 |
3.42 |
201060352 |
| ldv-memsafety/memleaks_test14_true-valid-memsafety.i |
unknown |
6.39 |
3.41 |
198823936 |
| ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i |
unknown |
6.32 |
3.35 |
198496256 |
| ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i |
unknown |
6.26 |
3.33 |
198414336 |
| ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i |
unknown |
6.40 |
3.38 |
201752576 |
| ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i |
unknown |
6.35 |
3.36 |
206200832 |
| ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i |
unknown |
6.02 |
3.28 |
200142848 |
| ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i |
unknown |
5.92 |
3.21 |
196575232 |
| ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i |
unknown |
6.48 |
3.44 |
201990144 |
| ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i |
unknown |
6.32 |
3.35 |
198004736 |
| ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i |
unknown |
6.25 |
3.31 |
203182080 |
| ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i |
unknown |
6.30 |
3.41 |
198672384 |
| ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i |
unknown |
6.20 |
3.33 |
199639040 |
| ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i |
unknown |
6.16 |
3.31 |
199163904 |
| ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i |
unknown |
6.02 |
3.28 |
196931584 |
| ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i |
unknown |
6.38 |
3.36 |
200511488 |
| ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i |
unknown |
6.38 |
3.40 |
207110144 |
| ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i |
unknown |
6.63 |
3.49 |
199229440 |
| ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i |
unknown |
6.55 |
3.49 |
202473472 |
| ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i |
unknown |
6.36 |
3.36 |
198238208 |
| ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i |
unknown |
6.16 |
3.33 |
199073792 |
| ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i |
unknown |
6.27 |
3.32 |
199892992 |
| ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i |
unknown |
6.30 |
3.36 |
196325376 |
| ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i |
unknown |
5.99 |
3.21 |
194158592 |
| ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i |
unknown |
5.83 |
3.11 |
192380928 |
| ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i |
unknown |
6.03 |
3.19 |
195121152 |
| ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i |
unknown |
6.02 |
3.25 |
196972544 |
| ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i |
unknown |
5.98 |
3.22 |
193507328 |
| ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i |
unknown |
5.64 |
3.04 |
194195456 |
| ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i |
unknown |
5.97 |
3.24 |
193433600 |
| ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i |
unknown |
6.05 |
3.24 |
201932800 |
| ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i |
unknown |
5.86 |
3.13 |
201437184 |
| ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i |
unknown |
5.68 |
3.12 |
192491520 |
| heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i |
unknown |
6.21 |
3.37 |
199270400 |
| heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.47 |
3.43 |
202850304 |
| heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i |
unknown |
5.92 |
3.17 |
196796416 |
| heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i |
unknown |
6.55 |
3.45 |
197910528 |
| heap-manipulation/tree_false-unreach-call_false-valid-deref.i |
unknown |
6.51 |
3.44 |
196947968 |
| heap-manipulation/tree_false-valid-deref.i |
unknown |
6.32 |
3.38 |
196575232 |
| heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i |
unknown |
6.41 |
3.39 |
196284416 |
| forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i |
error: exception |
6.13 |
3.28 |
198127616 |
| forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i |
error: exception |
6.38 |
3.39 |
199708672 |
| forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i |
error: exception |
51.9 |
34.2 |
1122947072 |
| list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i |
unknown |
6.33 |
3.37 |
194547712 |
| list-properties/list_flag_true-unreach-call_false-valid-memtrack.i |
unknown |
6.02 |
3.24 |
206204928 |
| list-properties/list_true-unreach-call_false-valid-memtrack.i |
unknown |
5.87 |
3.19 |
195477504 |
| list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i |
unknown |
6.29 |
3.31 |
193241088 |
| list-properties/simple_true-unreach-call_false-valid-memtrack.i |
unknown |
6.35 |
3.39 |
198516736 |
| list-properties/splice_true-unreach-call_false-valid-memtrack.i |
unknown |
6.17 |
3.26 |
196714496 |
| ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i |
unknown |
6.84 |
3.65 |
215498752 |
| ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i |
unknown |
6.91 |
4.06 |
216150016 |
| ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i |
unknown |
7.08 |
3.74 |
215429120 |
| ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i |
unknown |
7.00 |
3.70 |
217223168 |
| ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i |
unknown |
7.07 |
3.74 |
219856896 |
| ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i |
unknown |
6.79 |
3.63 |
214876160 |
| ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i |
unknown |
6.96 |
3.71 |
218845184 |
| ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i |
unknown |
7.09 |
3.81 |
222871552 |
| ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i |
unknown |
6.94 |
3.68 |
214847488 |
| ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i |
unknown |
7.36 |
3.87 |
219369472 |
| ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i |
unknown |
6.74 |
3.59 |
219623424 |
| ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i |
unknown |
7.04 |
3.76 |
216186880 |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i |
unknown |
6.55 |
3.53 |
216301568 |
| forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.09 |
3.32 |
199983104 |
| forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.46 |
3.43 |
200515584 |
| forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.19 |
3.33 |
200790016 |
| forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.30 |
3.35 |
199237632 |
| forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.09 |
3.22 |
199946240 |
| forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.29 |
3.34 |
196210688 |
| forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.31 |
3.31 |
208093184 |
| forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.33 |
3.38 |
196968448 |
| forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.02 |
3.22 |
199319552 |
| forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.33 |
3.36 |
198123520 |
| forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i |
error: exception |
63.6 |
41.0 |
1159561216 |
| forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.16 |
3.30 |
200556544 |
| forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.59 |
3.48 |
199557120 |
| forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.52 |
3.44 |
197709824 |
| forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i |
error: exception |
33.9 |
20.8 |
849690624 |
| forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i |
error: exception |
37.1 |
22.5 |
852979712 |
| forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.61 |
3.46 |
203640832 |
| forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.07 |
3.30 |
208596992 |
| forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i |
error: exception |
6.55 |
3.47 |
198811648 |
| forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i |
error: exception |
6.04 |
3.27 |
201080832 |
| forester-heap/sll-01_false-unreach-call_false-valid-deref.i |
error: exception |
6.17 |
3.34 |
200536064 |
| forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i |
error: exception |
48.3 |
29.9 |
1047187456 |
| loop-acceleration/array3_false-valid-deref.i |
error: exception |
10.5 |
5.97 |
282890240 |
| ntdrivers/floppy_false-valid-deref.i.cil.c |
unknown |
7.53 |
3.95 |
236949504 |
| ntdrivers/kbfiltr_false-valid-deref.i.cil.c |
unknown |
6.99 |
3.69 |
211853312 |
| ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
17.8 |
10.1 |
617598976 |
| ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
19.1 |
11.0 |
622645248 |
| ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
15.1 |
8.37 |
433987584 |
| ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
12.7 |
7.14 |
378372096 |
| ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
12.7 |
7.09 |
368680960 |
| ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
14.2 |
7.95 |
433057792 |
| ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
14.4 |
8.08 |
433082368 |
| ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
10.1 |
5.58 |
276746240 |
| ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
11.9 |
6.66 |
355774464 |
| ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
11.9 |
6.66 |
339718144 |
| locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
8.05 |
4.45 |
253378560 |
| locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.73 |
4.33 |
258564096 |
| locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
8.07 |
4.49 |
256520192 |
| locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
8.18 |
4.53 |
259706880 |
| locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.88 |
4.44 |
255315968 |
| locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.87 |
4.46 |
259530752 |
| locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.99 |
4.50 |
261189632 |
| locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
8.06 |
4.52 |
265822208 |
| locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.31 |
4.15 |
244191232 |
| locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.14 |
4.04 |
252063744 |
| locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.00 |
4.05 |
248356864 |
| locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.48 |
4.23 |
252862464 |
| locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.48 |
4.20 |
251330560 |