| loops/invert_string_false-valid-deref.c |
false(valid-deref) |
8.30 |
5.00 |
243769344 |
| loop-acceleration/array3_false-valid-deref.i |
timeout |
901 |
839 |
948715520 |
| ntdrivers/floppy_false-valid-deref.i.cil.c |
false(valid-deref) |
104 |
68.1 |
1400303616 |
| ntdrivers/kbfiltr_false-valid-deref.i.cil.c |
false(valid-deref) |
41.9 |
25.8 |
757653504 |
| ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
14.0 |
7.98 |
425218048 |
| ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
14.5 |
8.20 |
424095744 |
| ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
11.6 |
6.75 |
321748992 |
| ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
11.4 |
6.60 |
314626048 |
| ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
11.8 |
6.73 |
325443584 |
| ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
12.7 |
7.22 |
371970048 |
| ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
13.5 |
7.62 |
378421248 |
| ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
9.22 |
5.43 |
251502592 |
| ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
9.84 |
5.83 |
292098048 |
| ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
10.8 |
6.31 |
300277760 |
| locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
8.03 |
4.72 |
244355072 |
| locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.93 |
4.76 |
245383168 |
| locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.80 |
4.74 |
237625344 |
| locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.98 |
4.83 |
247779328 |
| locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.42 |
4.52 |
248602624 |
| locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
8.28 |
4.96 |
247885824 |
| locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.92 |
4.80 |
242790400 |
| locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.76 |
4.75 |
246861824 |
| locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.37 |
4.52 |
240455680 |
| locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.65 |
4.61 |
241422336 |
| locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.71 |
4.61 |
244039680 |
| locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.96 |
4.76 |
240828416 |
| locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.67 |
4.64 |
241872896 |
| memsafety-ext3/derefAfterFree1_false-valid-deref.c |
false(valid-deref) |
9.22 |
5.69 |
251912192 |
| memsafety-ext3/derefAfterFree2_false-valid-deref.c |
false(valid-deref) |
14.0 |
8.40 |
426934272 |
| memsafety-ext3/derefInLoop1_false-valid-deref.c |
false(valid-deref) |
8.50 |
5.12 |
254980096 |
| memsafety-ext3/getNumbers1_false-valid-deref.c |
false(valid-deref) |
17.1 |
10.1 |
473497600 |
| memsafety-ext3/getNumbers2_false-valid-deref.c |
false(valid-deref) |
33.3 |
20.9 |
606277632 |
| memsafety-ext3/getNumbers4_false-valid-deref.c |
false(valid-deref) |
89.7 |
68.5 |
814010368 |
| memsafety-ext3/naturalNumbers1_false-valid-deref.c |
true |
11.5 |
6.89 |
340733952 |
| memsafety-ext3/realloc1_false-valid-deref.c |
false(valid-deref) |
18.3 |
10.8 |
472313856 |
| memsafety-ext3/scopes1_false-valid-deref.c |
false(valid-deref) |
7.75 |
4.68 |
243630080 |
| memsafety-ext3/scopes2_false-valid-deref.c |
false(valid-deref) |
7.44 |
4.48 |
244113408 |
| memsafety-ext3/scopes3_false-valid-deref.c |
false(valid-deref) |
17.1 |
9.91 |
479367168 |
| memsafety-ext3/scopes4_false-valid-deref.c |
false(valid-deref) |
8.06 |
4.93 |
249622528 |
| memsafety-ext3/scopes5_false-valid-deref.c |
false(valid-deref) |
7.37 |
4.57 |
244576256 |
| memsafety-ext3/freeAlloca_false-valid-free.c |
false(valid-free) |
21.9 |
14.8 |
473427968 |
| memsafety-ext3/getNumbers1_true-valid-memsafety.c |
true |
15.1 |
9.25 |
479215616 |
| memsafety-ext3/getNumbers3_true-valid-memsafety.c |
true |
12.9 |
7.72 |
376528896 |
| memsafety-ext3/getNumbers4_true-valid-memsafety.c |
true |
67.4 |
45.5 |
920498176 |
| memsafety-ext3/scopes4_true-valid-memsafety.c |
true |
12.6 |
7.35 |
360341504 |
| pthread-memsafety/fillarray1_false-valid-deref.i |
error (7) |
20.2 |
11.4 |
332689408 |
| pthread-memsafety/fillarray_false-valid-deref.i |
error (7) |
19.8 |
11.3 |
336252928 |
| pthread-memsafety/list1_false-valid-deref.i |
error (7) |
21.5 |
12.2 |
348176384 |