svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] test cases summary

From: "Adve, Vikram Sadanand" <vadve AT illinois.edu>
To: "Wala, Matthew Michal" <wala1 AT illinois.edu>
Cc: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
Subject: Re: [svadev] test cases summary
Date: Wed, 20 Oct 2010 23:55:19 -0500
Accept-language: en-US
Acceptlanguage: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

This is an excellent set of tests. Let's discuss them a bit further on
Friday but I've asked John to start taking a look at why SVA is not catching
the ones that we should catch.

--Vikram
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve

On Oct 19, 2010, at 1:08 PM, Matthew Wala 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
>
>
> <result.txt><test-cases.tar.gz><ATT00001..txt>

[svadev] test cases summary, Matthew Wala, 10/19/2010
- Re: [svadev] test cases summary, Arushi Aggarwal, 10/19/2010
  - Re: [svadev] test cases summary, Matthew Wala, 10/19/2010
- Re: [svadev] test cases summary, Adve, Vikram Sadanand, 10/20/2010