Svadev mailing list

[Matthew Wala <wala1 AT illinois.edu>]

 Hello everyone:

I've run the test cases I've written up to last week.
I'm attaching a summary of the results as well as the
cases themselves.

The test cases are divided into the following classes:

format-string: format string errors
stdlib-array: C standard library array manipulation
use-after-free: use after free
double-free: double free
illegal-cast: casting integers to pointers
uninitialized-variable: uninitialized pointer usage
bad-compile: test cases which SAFECode won't compile

I ran all of the test cases except for ones in bad-compile.
I ran most of them with no flags to the sc binary, except
for the ones in use-after-free, which were run with -dpchecks.

Matthew Wala


Entering directory format-string/
Compiling using no sc flags
Reported errors for:
 1.c... NONE
 2.c... NONE
 3.c... Load/Store Error
 4.c... Load/Store Error
 5.c... NONE
 6.c... NONE
 7.c... NONE
 8.c... NONE
 9.c... Load/Store Error
10.c... Load/Store Error
11.c... NONE
12.c... NONE
13.c... NONE
14.c... Load/Store Error
15.c... Load/Store Error

Entering directory stdlib-array/
Compiling using no sc flags
Reported errors for:
 1.c... NONE
 2.c... Load/Store Error
 3.c... NONE
 4.c... NONE
 5.c... NONE
 6.c... NONE
 7.c... NONE
 8.c... NONE
 9.c... NONE
10.c... NONE
11.c... Load/Store Error
12.c... NONE
13.c... NONE
14.c... Out of Bounds Error
15.c... Load/Store Error
16.c... Load/Store Error
17.c... NONE
18.c... NONE
19.c... NONE
20.c... NONE
21.c... NONE
22.c... Out of Bounds Error, Uninitialized/NULL Pointer Error
23.c... NONE
24.c... NONE
25.c... Out of Bounds Error
26.c... NONE
27.c... NONE
28.c... Load/Store Error
29.c... NONE
30.c... Out of Bounds Error

Entering directory use-after-free/
Compiling using sc flags: -dpchecks
Reported errors for:
 1.c... Load/Store Error, Alignment Error
 2.c... NONE
 3.c... Load/Store Error, Alignment Error
 4.c... Alignment Error
 5.c... NONE
 6.c... Load/Store Error, Alignment Error, Out of Bounds Error
 7.c... Load/Store Error, Alignment Error
 8.c... Load/Store Error, Alignment Error, Out of Bounds Error
 9.c... Load/Store Error, Alignment Error, Out of Bounds Error
10.c... Alignment Error
11.c... Load/Store Error, Uninitialized/NULL Pointer Error
12.c... NONE
13.c... NONE
14.c... Out of Bounds Error
15.c... NONE
16.c... Load/Store Error, Alignment Error
17.c... NONE
18.c... Load/Store Error, Alignment Error
19.c... NONE
20.c... NONE
21.c... Load/Store Error, Alignment Error, Out of Bounds Error
22.c... Invalid Free Error, Out of Bounds Error
23.c... Load/Store Error, Alignment Error, Out of Bounds Error
24.c... Invalid Free Error
25.c... Alignment Error
26.c... Load/Store Error, Alignment Error, Out of Bounds Error
27.c... NONE
28.c... NONE
29.c... Load/Store Error, Alignment Error
30.c... NONE

Entering directory double-free/
Compiling using no sc flags
Reported errors for:
 1.c... Invalid Free Error
 2.c... Invalid Free Error
 3.c... Invalid Free Error
 4.c... Alignment Error
 5.c... Invalid Free Error
 6.c... Invalid Free Error
 7.c... Invalid Free Error
 8.c... Invalid Free Error, Alignment Error
 9.c... Invalid Free Error, Alignment Error
10.c... Invalid Free Error, Alignment Error
11.c... Invalid Free Error, Alignment Error
12.c... Invalid Free Error
13.c... Invalid Free Error
14.c... Invalid Free Error
15.c... Invalid Free Error, Alignment Error
16.c... NONE
17.c... Invalid Free Error
18.c... Invalid Free Error
19.c... Invalid Free Error, Alignment Error
20.c... Invalid Free Error
21.c... Invalid Free Error
22.c... Invalid Free Error, Alignment Error
23.c... Invalid Free Error
24.c... NONE
25.c... Freeing Non-Heap Object Error, Invalid Free Error
26.c... Load/Store Error
27.c... NONE
28.c... Invalid Free Error, Alignment Error
29.c... Invalid Free Error
30.c... Invalid Free Error, Alignment Error

Entering directory illegal-cast/
Compiling using no sc flags
Reported errors for:
 1.c... Load/Store Error, Alignment Error
 2.c... Load/Store Error
 3.c... Load/Store Error
 4.c... Load/Store Error
 5.c... Load/Store Error

Entering directory uninitialized-variable/
Compiling using no sc flags
Reported errors for:
 1.c... NONE
 2.c... Load/Store Error
 3.c... Load/Store Error
 4.c... Load/Store Error, Alignment Error, Out of Bounds Error
 5.c... Load/Store Error
 6.c... Load/Store Error, Alignment Error
 7.c... Load/Store Error, Alignment Error
 8.c... Load/Store Error
 9.c... Load/Store Error, Alignment Error
10.c... Load/Store Error, Alignment Error
11.c... Load/Store Error, Alignment Error
12.c... Load/Store Error, Alignment Error
13.c... Load/Store Error
14.c... Load/Store Error, Alignment Error
15.c... Load/Store Error
16.c... Load/Store Error, Alignment Error
17.c... Load/Store Error
18.c... Load/Store Error
19.c... Load/Store Error
20.c... Load/Store Error
21.c... Load/Store Error
22.c... Load/Store Error, Alignment Error
23.c... NONE
24.c... Load/Store Error
25.c... Load/Store Error
26.c... Load/Store Error, Alignment Error
27.c... Load/Store Error
28.c... Load/Store Error
29.c... Load/Store Error, Alignment Error, Out of Bounds Error
30.c... Load/Store Error

Attachment: test-cases.tar.gz
Description: GNU Zip compressed data