Svadev mailing list

[Arushi Aggarwal <arushi987 AT gmail.com>]

Just to be sure, I am assuming all cases expected to report errors?

-Arushi

On Tue, Oct 19, 2010 at 1:08 PM, Matthew Wala <wala1 AT illinois.edu> wrote:

 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



_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev