| array-memsafety/add_last_unsafe_false-valid-deref.i |
unknown |
68.4 |
44.3 |
2166202368 |
| array-memsafety/bubblesort_unsafe_false-valid-deref.i |
unknown |
25.1 |
10.4 |
910364672 |
| array-memsafety/count_down_unsafe_false-valid-deref.i |
unknown |
79.1 |
57.2 |
2183860224 |
| array-memsafety/cstrcat_unsafe_false-valid-deref.i |
unknown |
33.6 |
18.0 |
1682522112 |
| array-memsafety/cstrchr_unsafe_false-valid-deref.i |
unknown |
18.9 |
6.59 |
507756544 |
| array-memsafety/cstrlen_unsafe_false-valid-deref.i |
unknown |
16.4 |
5.65 |
439197696 |
| array-memsafety/cstrncat_unsafe_false-valid-deref.i |
timeout (error (143)) |
303 |
275 |
2342948864 |
| array-memsafety/cstrncpy_unsafe_false-valid-deref.i |
unknown |
71.6 |
52.1 |
2169217024 |
| array-memsafety/cstrpbrk_unsafe_false-valid-deref.i |
unknown |
24.1 |
8.41 |
604028928 |
| array-memsafety/diff_usafe_false-valid-deref.i |
unknown |
22.1 |
7.81 |
636534784 |
| array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i |
timeout (error (143)) |
301 |
254 |
2345816064 |
| array-memsafety/lis_unsafe_false-valid-deref.i |
timeout (error (143)) |
302 |
264 |
2345046016 |
| array-memsafety/mult_array_unsafe_false-valid-deref.i |
timeout (error (143)) |
302 |
258 |
2314354688 |
| array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i |
timeout (error (143)) |
302 |
266 |
2340696064 |
| array-memsafety/reverse_array_unsafe_false-valid-deref.i |
timeout (error (143)) |
304 |
266 |
2363326464 |
| array-memsafety/selectionsort_unsafe_false-valid-deref.i |
unknown |
30.7 |
12.7 |
1183457280 |
| array-memsafety/stroeder1_unsafe_false-valid-deref.i |
unknown |
7.14 |
2.74 |
225218560 |
| array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i |
unknown |
69.4 |
43.5 |
2168631296 |
| array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i |
unknown |
22.7 |
7.63 |
752467968 |
| array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i |
unknown |
79.6 |
54.7 |
2181074944 |
| array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
301 |
268 |
2343522304 |
| array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i |
unknown |
43.9 |
21.7 |
1598984192 |
| array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i |
unknown |
75.5 |
52.5 |
2191069184 |
| array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i |
unknown |
219 |
179 |
2265952256 |
| array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i |
unknown |
27.4 |
10.6 |
888893440 |
| array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i |
unknown |
109 |
72.3 |
2191732736 |
| array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
68.8 |
41.0 |
2160222208 |
| array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i |
unknown |
101 |
71.2 |
2207981568 |
| array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i |
unknown |
24.0 |
8.91 |
781197312 |
| array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
301 |
261 |
2251169792 |
| array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i |
unknown |
102 |
73.6 |
2201096192 |
| array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
301 |
261 |
2218651648 |
| array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i |
unknown |
106 |
73.3 |
2194034688 |
| array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i |
unknown |
107 |
73.0 |
2196054016 |
| array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i |
unknown |
75.8 |
46.5 |
2155298816 |
| array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i |
unknown |
47.8 |
24.2 |
1802637312 |
| array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i |
unknown |
50.0 |
27.8 |
2098720768 |
| array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
300 |
262 |
2437513216 |
| array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
302 |
261 |
2290733056 |
| array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i |
unknown |
31.8 |
13.0 |
1082654720 |
| array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i |
unknown |
17.4 |
5.89 |
425496576 |
| array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i |
unknown |
17.5 |
5.97 |
416251904 |
| array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i |
unknown |
31.1 |
12.2 |
962121728 |
| array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
76.1 |
40.6 |
2108329984 |
| array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
301 |
259 |
2407084032 |
| array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i |
unknown |
279 |
233 |
2268774400 |
| array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i |
unknown |
78.7 |
48.7 |
1865879552 |
| array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i |
unknown |
68.8 |
34.6 |
2137202688 |
| array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i |
unknown |
81.4 |
47.5 |
2016190464 |
| array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
301 |
247 |
2247987200 |
| array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i |
unknown |
23.9 |
8.47 |
686456832 |
| array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
303 |
262 |
2210459648 |
| array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i |
unknown |
97.2 |
69.3 |
2190680064 |
| array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
302 |
261 |
2215768064 |
| array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i |
unknown |
31.4 |
11.8 |
935223296 |
| array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i |
unknown |
69.0 |
42.0 |
2093875200 |
| array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i |
unknown |
65.3 |
37.6 |
2015465472 |
| array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i |
unknown |
113 |
76.0 |
2231087104 |
| array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i |
unknown |
24.4 |
8.57 |
666533888 |
| array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i |
unknown |
45.7 |
26.9 |
1858764800 |
| array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i |
unknown |
10.5 |
3.70 |
305426432 |
| array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i |
unknown |
32.5 |
10.9 |
969998336 |
| array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i |
unknown |
134 |
104 |
2214133760 |
| array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i |
unknown |
115 |
80.0 |
2203357184 |
| array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i |
unknown |
83.7 |
56.3 |
2189393920 |
| array-examples/relax_false-valid-deref.i |
unknown |
48.8 |
26.5 |
1857118208 |
| array-examples/sanfoundry_24_false-valid-deref.i |
unknown |
5.67 |
2.31 |
191803392 |
| array-examples/standard_strcpy_false-valid-deref_ground.i |
unknown |
5.74 |
2.30 |
192184320 |
| array-examples/standard_strcpy_original_false-valid-deref.i |
unknown |
5.83 |
2.21 |
188588032 |
| memsafety/960521-1_false-valid-deref.i |
unknown |
40.5 |
18.2 |
1166434304 |
| memsafety/test-0137_false-valid-deref.i |
timeout (error (143)) |
305 |
270 |
2279788544 |
| memsafety/test-0235_false-valid-deref.i |
timeout (error (143)) |
301 |
243 |
2848944128 |
| memsafety/960521-1_false-valid-free.i |
unknown |
42.1 |
18.6 |
1317687296 |
| memsafety/test-0158_false-valid-free.i |
unknown |
103 |
77.4 |
2196082688 |
| memsafety/test-0232_false-valid-free.i |
timeout (error (143)) |
305 |
262 |
2339704832 |
| memsafety/20020406-1_false-valid-memtrack.i |
timeout (error (143)) |
306 |
264 |
2207391744 |
| memsafety/20051113-1.c_false-valid-memtrack.i |
unknown |
35.1 |
12.5 |
855756800 |
| memsafety/lockfree-3.1_false-valid-memtrack.i |
unknown |
285 |
244 |
2194694144 |
| memsafety/lockfree-3.2_false-valid-memtrack.i |
timeout (error (143)) |
302 |
254 |
2205437952 |
| memsafety/lockfree-3.3_false-valid-memtrack.i |
timeout (error (143)) |
301 |
260 |
2192789504 |
| memsafety/test-0019_false-valid-memtrack_true-termination.i |
unknown |
64.0 |
35.8 |
1830920192 |
| memsafety/test-0102_false-valid-memtrack.i |
timeout (error (143)) |
306 |
274 |
2309705728 |
| memsafety/test-0158_false-valid-memtrack_true-termination.i |
unknown |
31.0 |
13.7 |
1292849152 |
| memsafety/test-0220_false-valid-memtrack.i |
error: exception |
5.40 |
2.08 |
183898112 |
| memsafety/test-0232_false-valid-memtrack.i |
timeout (error (143)) |
306 |
265 |
2312138752 |
| memsafety/test-0234_false-valid-memtrack.i |
timeout (error (143)) |
301 |
240 |
2594054144 |
| memsafety/test-0235_false-valid-memtrack.i |
timeout (error (143)) |
301 |
229 |
2768863232 |
| memsafety/960521-1_true-valid-memsafety.i |
unknown |
41.4 |
17.9 |
1226928128 |
| memsafety/lockfree-3.0_true-valid-memsafety.i |
timeout (error (143)) |
302 |
261 |
2205519872 |
| memsafety/test-0019_true-valid-memsafety_true-termination.i |
unknown |
21.0 |
7.34 |
655290368 |
| memsafety/test-0102_true-valid-memsafety.i |
timeout (error (143)) |
306 |
274 |
2290589696 |
| memsafety/test-0134_true-valid-memsafety.i |
timeout (error (143)) |
306 |
262 |
2271035392 |
| memsafety/test-0158_true-valid-memsafety_true-termination.i |
unknown |
29.1 |
12.7 |
1075478528 |
| memsafety/test-0214_true-valid-memsafety_false-termination.i |
error: exception |
5.31 |
2.05 |
178315264 |
| memsafety/test-0217_true-valid-memsafety_false-termination.i |
error: exception |
5.41 |
2.08 |
177717248 |
| memsafety/test-0218_true-valid-memsafety_false-termination.i |
error: exception |
5.56 |
2.09 |
180273152 |
| memsafety/test-0219_true-valid-memsafety.i |
error: exception |
5.22 |
2.07 |
180768768 |
| memsafety/test-0232_true-valid-memsafety.i |
timeout (error (143)) |
306 |
274 |
2234810368 |
| memsafety/test-0234_true-valid-memsafety.i |
timeout (error (143)) |
301 |
247 |
2502389760 |
| memsafety/test-0235_true-valid-memsafety.i |
timeout (error (143)) |
301 |
237 |
2846732288 |
| memsafety/test-0236_true-valid-memsafety.i |
timeout (error (143)) |
301 |
232 |
2464915456 |
| memsafety/test-0237_true-valid-memsafety.i |
timeout (error (143)) |
301 |
253 |
2562457600 |
| memsafety/test-0504_true-valid-memsafety.i |
timeout (error (143)) |
305 |
264 |
2345746432 |
| memsafety/test-0513_true-valid-memsafety.i |
timeout (error (143)) |
306 |
270 |
2333626368 |
| memsafety/test-0521_true-valid-memsafety.i |
timeout (error (143)) |
306 |
261 |
2321461248 |
| memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i |
unknown |
90.6 |
57.5 |
2195587072 |
| memsafety-ext/dll_extends_pointer_true-valid-memsafety.i |
timeout (error (143)) |
306 |
275 |
2212646912 |
| memsafety-ext/skiplist_2lvl_true-valid-memsafety.i |
error: exception |
5.43 |
2.12 |
178585600 |
| memsafety-ext/skiplist_3lvl_true-valid-memsafety.i |
error: exception |
5.45 |
2.16 |
184254464 |
| memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i |
timeout (error (143)) |
306 |
271 |
2348109824 |
| memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i |
timeout (error (143)) |
305 |
267 |
1994194944 |
| memsafety-ext/tree_of_cslls_true-valid-memsafety.i |
timeout (error (143)) |
305 |
271 |
2349596672 |
| memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i |
timeout (error (143)) |
304 |
259 |
2354630656 |
| memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i |
timeout (error (143)) |
303 |
271 |
2319421440 |
| memsafety-ext2/split_list_test05_false-valid-deref.i |
timeout (error (143)) |
305 |
263 |
2341175296 |
| memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i |
timeout (error (143)) |
302 |
257 |
2236465152 |
| memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i |
timeout (error (143)) |
303 |
269 |
2231820288 |
| memsafety-ext2/length_test03_false-valid-memtrack.i |
timeout (error (143)) |
305 |
270 |
2320633856 |
| memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i |
timeout (error (143)) |
305 |
265 |
2331389952 |
| memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i |
timeout (error (143)) |
304 |
262 |
2239930368 |
| memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i |
timeout (error (143)) |
305 |
268 |
2246979584 |
| memsafety-ext2/length_test03_true-valid-memsafety.i |
timeout (error (143)) |
306 |
272 |
2290188288 |
| memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i |
timeout (error (143)) |
306 |
261 |
2269745152 |
| memsafety-ext2/split_list_test05_true-valid-memsafety.i |
timeout (error (143)) |
305 |
262 |
2338680832 |
| list-ext-properties/960521-1_1_false-valid-deref.i |
unknown |
61.6 |
29.9 |
1895346176 |
| list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i |
timeout (error (143)) |
301 |
247 |
2339819520 |
| list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i |
timeout (error (143)) |
308 |
267 |
2320883712 |
| list-ext-properties/960521-1_1_false-valid-free.i |
unknown |
56.8 |
28.6 |
2050113536 |
| list-ext-properties/test-0158_1_false-valid-free.i |
timeout (error (143)) |
305 |
277 |
2332667904 |
| list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i |
unknown |
167 |
127 |
2205921280 |
| list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i |
unknown |
74.6 |
51.3 |
2191716352 |
| list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i |
timeout (error (143)) |
306 |
257 |
2362560512 |
| list-ext-properties/960521-1_1_true-valid-memsafety.i |
unknown |
68.2 |
41.9 |
2191142912 |
| list-ext-properties/list-ext_1_true-valid-memsafety.i |
timeout (error (143)) |
302 |
262 |
2333274112 |
| list-ext-properties/list-ext_flag_1_true-valid-memsafety.i |
timeout (error (143)) |
305 |
262 |
2344779776 |
| list-ext-properties/simple-ext_1_true-valid-memsafety.i |
timeout (error (143)) |
302 |
272 |
2328301568 |
| list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i |
unknown |
88.6 |
62.9 |
2196721664 |
| list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
306 |
271 |
2289856512 |
| list-ext-properties/test-0214_1_true-valid-memsafety.i |
error: exception |
5.52 |
2.13 |
181018624 |
| list-ext-properties/test-0217_1_true-valid-memsafety.i |
error: exception |
5.65 |
2.29 |
179101696 |
| list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
301 |
263 |
2338066432 |
| list-ext-properties/test-0504_1_true-valid-memsafety.i |
timeout (error (143)) |
305 |
262 |
2315988992 |
| list-ext-properties/test-0513_1_true-valid-memsafety.i |
timeout (error (143)) |
306 |
263 |
2342383616 |
| memory-alloca/c.03-alloca_true-valid-memsafety.i |
timeout (error (143)) |
301 |
261 |
2276016128 |
| ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c |
unknown |
68.4 |
38.6 |
2174832640 |
| ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c |
unknown |
67.5 |
39.6 |
2176327680 |
| ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c |
unknown |
27.9 |
10.1 |
1036763136 |
| ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c |
unknown |
31.9 |
13.9 |
1107636224 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c |
unknown |
32.1 |
12.1 |
966234112 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c |
unknown |
33.5 |
11.9 |
905920512 |
| ldv-memsafety/memset2_false-valid-deref-write.c |
unknown |
7.94 |
2.91 |
255934464 |
| ldv-memsafety/memset3_false-valid-deref-write.c |
unknown |
7.83 |
2.91 |
245460992 |
| ldv-memsafety/memsetNonZero2_false-valid-deref-write.c |
unknown |
8.12 |
2.99 |
251351040 |
| ldv-memsafety/memsetNonZero3_false-valid-deref-write.c |
unknown |
8.28 |
2.99 |
254550016 |
| ldv-memsafety/memsetNonZero_false-valid-deref-write.c |
unknown |
7.58 |
2.86 |
248737792 |
| ldv-memsafety/memset_false-valid-deref-write.c |
unknown |
8.10 |
2.95 |
251023360 |
| ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c |
unknown |
64.0 |
39.0 |
2170208256 |
| ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c |
unknown |
39.4 |
16.1 |
1167351808 |
| ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c |
unknown |
38.0 |
14.8 |
1122455552 |
| ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c |
unknown |
36.2 |
15.3 |
1026809856 |
| ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c |
unknown |
31.7 |
13.6 |
1156608000 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c |
unknown |
38.0 |
14.9 |
1295249408 |
| ldv-memsafety/StructInitialization1_true-valid-memsafety.c |
error: type error |
5.79 |
2.27 |
178049024 |
| ldv-memsafety/StructInitialization2_true-valid-memsafety.c |
error: type error |
5.41 |
2.14 |
177020928 |
| ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c |
unknown |
5.42 |
2.21 |
189124608 |
| ldv-memsafety/memset2_true-valid-memsafety_true-termination.c |
unknown |
7.91 |
2.91 |
245682176 |
| ldv-memsafety/memset3_true-valid-memsafety_true-termination.c |
unknown |
8.77 |
3.23 |
253796352 |
| ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c |
unknown |
8.53 |
3.14 |
248848384 |
| ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c |
unknown |
8.77 |
3.20 |
259268608 |
| ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c |
unknown |
8.21 |
3.03 |
251592704 |
| ldv-memsafety/memset_true-valid-memsafety_true-termination.c |
unknown |
8.40 |
3.11 |
252203008 |
| ldv-memsafety/memleaks_test14_3_false-valid-deref.i |
error: exception |
5.57 |
2.13 |
179351552 |
| ldv-memsafety/memleaks_test22_3_false-valid-deref.i |
unknown |
73.4 |
40.1 |
2191982592 |
| ldv-memsafety/memleaks_test22_5_false-valid-deref.i |
unknown |
68.7 |
37.3 |
2182393856 |
| ldv-memsafety/memleaks_test23_2_false-valid-deref.i |
error: exception |
5.57 |
2.13 |
182632448 |
| ldv-memsafety/memleaks_test23_4_false-valid-deref.i |
error: exception |
5.60 |
2.12 |
183234560 |
| ldv-memsafety/memleaks_test11_1_false-valid-free.i |
error: exception |
5.48 |
2.07 |
179458048 |
| ldv-memsafety/memleaks_test12_false-valid-free.i |
timeout (error (143)) |
305 |
259 |
2234781696 |
| ldv-memsafety/memleaks_test17_2_false-valid-free.i |
unknown |
148 |
116 |
2226515968 |
| ldv-memsafety/memleaks_test19_false-valid-free.i |
unknown |
52.4 |
30.1 |
1806360576 |
| ldv-memsafety/memleaks_test1_false-valid-free.i |
unknown |
8.47 |
3.02 |
262148096 |
| ldv-memsafety/memleaks_test3_false-valid-free.i |
unknown |
7.82 |
2.91 |
245280768 |
| ldv-memsafety/memleaks_test6_2_false-valid-free.i |
unknown |
28.3 |
9.60 |
802734080 |
| ldv-memsafety/memleaks_test8_2_false-valid-free.i |
unknown |
9.32 |
3.31 |
266678272 |
| ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i |
unknown |
203 |
164 |
2212040704 |
| ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i |
error: exception |
5.42 |
2.13 |
182546432 |
| ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i |
error: exception |
5.37 |
2.10 |
180174848 |
| ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i |
error: exception |
5.58 |
2.12 |
183095296 |
| ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i |
error: exception |
5.46 |
2.15 |
180158464 |
| ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i |
error: exception |
5.64 |
2.14 |
180006912 |
| ldv-memsafety/memleaks_test15_false-valid-memtrack.i |
timeout (error (143)) |
301 |
254 |
2313011200 |
| ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i |
error: exception |
5.48 |
2.14 |
184324096 |
| ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i |
error: exception |
5.24 |
2.04 |
179601408 |
| ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i |
unknown |
182 |
150 |
2234097664 |
| ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i |
unknown |
138 |
106 |
2206937088 |
| ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i |
unknown |
36.7 |
14.4 |
1330688000 |
| ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i |
unknown |
27.8 |
11.4 |
1157689344 |
| ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i |
unknown |
18.3 |
6.25 |
557608960 |
| ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i |
unknown |
8.05 |
2.94 |
257896448 |
| ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i |
error: exception |
5.29 |
2.09 |
182366208 |
| ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i |
error: exception |
5.47 |
2.11 |
181047296 |
| ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i |
unknown |
80.1 |
37.7 |
2188976128 |
| ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i |
unknown |
49.0 |
26.6 |
1928695808 |
| ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i |
unknown |
79.8 |
40.3 |
2195345408 |
| ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i |
unknown |
9.43 |
3.39 |
261914624 |
| ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i |
unknown |
8.12 |
2.93 |
259211264 |
| ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i |
unknown |
9.40 |
3.29 |
263495680 |
| ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i |
unknown |
28.1 |
9.72 |
820756480 |
| ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i |
unknown |
31.1 |
10.6 |
732180480 |
| ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i |
unknown |
19.2 |
6.53 |
493682688 |
| ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i |
unknown |
8.53 |
3.10 |
253849600 |
| ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i |
unknown |
8.78 |
3.34 |
256360448 |
| ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i |
unknown |
8.71 |
3.24 |
256786432 |
| ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i |
unknown |
223 |
174 |
2262536192 |
| ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i |
error: exception |
6.06 |
2.53 |
181972992 |
| ldv-memsafety/memleaks_test12_true-valid-memsafety.i |
timeout (error (143)) |
306 |
264 |
2252525568 |
| ldv-memsafety/memleaks_test13_true-valid-memsafety.i |
error: exception |
5.21 |
2.08 |
182886400 |
| ldv-memsafety/memleaks_test14_true-valid-memsafety.i |
error: exception |
5.21 |
2.07 |
181927936 |
| ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
306 |
261 |
2259795968 |
| ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i |
error: exception |
5.22 |
2.09 |
180862976 |
| ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i |
unknown |
201 |
162 |
2244169728 |
| ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i |
unknown |
130 |
98.3 |
2210746368 |
| ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i |
unknown |
31.7 |
13.7 |
1367285760 |
| ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i |
unknown |
56.1 |
31.3 |
1967984640 |
| ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i |
unknown |
8.13 |
2.97 |
245960704 |
| ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i |
error: exception |
5.29 |
2.07 |
183349248 |
| ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i |
error: exception |
5.47 |
2.12 |
183799808 |
| ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i |
unknown |
61.7 |
32.1 |
2071318528 |
| ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i |
unknown |
82.4 |
45.4 |
2190282752 |
| ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i |
unknown |
78.5 |
41.1 |
2189828096 |
| ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i |
error: exception |
5.66 |
2.22 |
184180736 |
| ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i |
error: exception |
5.94 |
2.28 |
184483840 |
| ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i |
unknown |
8.82 |
3.19 |
252985344 |
| ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i |
unknown |
9.55 |
3.40 |
270524416 |
| ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i |
unknown |
9.34 |
3.37 |
257327104 |
| ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i |
unknown |
34.3 |
11.6 |
731381760 |
| ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i |
unknown |
20.3 |
7.03 |
527753216 |
| ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i |
unknown |
9.85 |
3.59 |
266231808 |
| ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i |
unknown |
9.59 |
3.32 |
264622080 |
| ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i |
unknown |
5.08 |
2.02 |
175693824 |
| ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i |
unknown |
4.96 |
2.05 |
177917952 |
| ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i |
unknown |
4.97 |
1.98 |
176852992 |
| ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i |
unknown |
5.15 |
1.98 |
179191808 |
| ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i |
unknown |
5.18 |
2.08 |
174600192 |
| ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i |
unknown |
5.20 |
2.05 |
179707904 |
| ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i |
unknown |
4.96 |
1.98 |
173944832 |
| ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i |
unknown |
5.40 |
2.09 |
181825536 |
| ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i |
unknown |
5.38 |
2.06 |
180580352 |
| ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i |
unknown |
5.41 |
2.11 |
180789248 |
| heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
305 |
262 |
2282663936 |
| heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i |
error: exception |
5.29 |
2.20 |
178679808 |
| heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
306 |
260 |
2268471296 |
| heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i |
error: exception |
5.25 |
2.38 |
179912704 |
| heap-manipulation/tree_false-unreach-call_false-valid-deref.i |
error: exception |
6.10 |
2.48 |
183128064 |
| heap-manipulation/tree_false-valid-deref.i |
error: exception |
5.84 |
2.54 |
177037312 |
| heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i |
timeout (error (143)) |
306 |
278 |
2234155008 |
| forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i |
timeout (error (143)) |
306 |
267 |
2281721856 |
| forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i |
timeout (error (143)) |
305 |
256 |
2277994496 |
| forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i |
timeout (error (143)) |
305 |
270 |
2313449472 |
| list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
306 |
267 |
2323730432 |
| list-properties/list_flag_true-unreach-call_false-valid-memtrack.i |
timeout (error (143)) |
302 |
270 |
2319454208 |
| list-properties/list_true-unreach-call_false-valid-memtrack.i |
timeout (error (143)) |
306 |
274 |
2298744832 |
| list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i |
timeout (error (143)) |
306 |
273 |
2237153280 |
| list-properties/simple_true-unreach-call_false-valid-memtrack.i |
timeout (error (143)) |
306 |
285 |
2307780608 |
| list-properties/splice_true-unreach-call_false-valid-memtrack.i |
timeout (error (143)) |
306 |
269 |
2319319040 |
| ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i |
unknown |
5.73 |
2.26 |
180232192 |
| ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i |
unknown |
5.58 |
2.20 |
180232192 |
| ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i |
unknown |
5.86 |
2.21 |
185032704 |
| ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i |
unknown |
5.51 |
2.13 |
182599680 |
| ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i |
unknown |
5.82 |
2.22 |
180338688 |
| ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i |
unknown |
5.94 |
2.17 |
181530624 |
| ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i |
unknown |
5.82 |
2.18 |
180760576 |
| ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i |
unknown |
6.01 |
2.23 |
182779904 |
| ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i |
unknown |
6.45 |
2.39 |
182153216 |
| ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i |
unknown |
6.28 |
2.29 |
186085376 |
| ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i |
unknown |
5.87 |
2.19 |
179916800 |
| ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i |
unknown |
6.02 |
2.21 |
179458048 |
| ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i |
unknown |
5.98 |
2.27 |
184598528 |
| forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
305 |
271 |
2345046016 |
| forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
306 |
268 |
2358128640 |
| forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
306 |
270 |
2339414016 |
| forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
306 |
264 |
2350497792 |
| forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
306 |
271 |
2298232832 |
| forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
305 |
271 |
2343440384 |
| forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
305 |
272 |
2346721280 |
| forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
306 |
272 |
2309091328 |
| forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
304 |
260 |
2331201536 |
| forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
305 |
259 |
2294263808 |
| forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
306 |
263 |
2304212992 |
| forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
302 |
267 |
2339811328 |
| forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
305 |
263 |
2325950464 |
| forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
305 |
270 |
2356744192 |
| forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
306 |
270 |
2227269632 |
| forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
305 |
260 |
2352009216 |
| forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
303 |
267 |
2337550336 |
| forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
307 |
269 |
2356764672 |
| forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
304 |
264 |
2316681216 |
| forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i |
timeout (error (143)) |
308 |
276 |
2372313088 |
| forester-heap/sll-01_false-unreach-call_false-valid-deref.i |
timeout (error (143)) |
307 |
267 |
2320293888 |
| forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i |
timeout (error (143)) |
302 |
269 |
2290950144 |
| loop-acceleration/array3_false-valid-deref.i |
unknown |
5.67 |
2.28 |
190283776 |
| ntdrivers/floppy_false-valid-deref.i.cil.c |
unknown |
6.68 |
2.41 |
186449920 |
| ntdrivers/kbfiltr_false-valid-deref.i.cil.c |
unknown |
6.05 |
2.22 |
181985280 |
| ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
11.4 |
4.19 |
285413376 |
| ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
11.1 |
4.18 |
290402304 |
| ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
9.21 |
3.49 |
259928064 |
| ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
9.58 |
3.51 |
259883008 |
| ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
9.38 |
3.54 |
259911680 |
| ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
10.3 |
3.93 |
290963456 |
| ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
10.4 |
3.84 |
284459008 |
| ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
7.66 |
2.94 |
240762880 |
| ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
8.82 |
3.42 |
250556416 |
| ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
9.15 |
3.42 |
255488000 |
| locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
6.19 |
2.54 |
193318912 |
| locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
6.13 |
2.45 |
195223552 |
| locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
6.68 |
2.57 |
201285632 |
| locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
6.52 |
2.56 |
200417280 |
| locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
6.45 |
2.55 |
202059776 |
| locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
6.69 |
2.55 |
201912320 |
| locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
6.51 |
2.57 |
202354688 |
| locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
6.50 |
2.54 |
202350592 |
| locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
5.79 |
2.31 |
190541824 |
| locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
5.73 |
2.26 |
193892352 |
| locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
5.91 |
2.37 |
194813952 |
| locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
6.08 |
2.38 |
194797568 |
| locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c |
unknown |
5.53 |
2.27 |
195330048 |