Svadev mailing list

[Vikram Adve <vadve AT illinois.edu>]

PS. We also had a fun little paper on detecting such errors efficiently (as 
long as you don't have extremely frequent allocations), using Automatic Pool 
Allocation.  It was in DSN 2006, and is also on the SAFECode Web site.

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




On Sep 27, 2012, at 1:50 PM, Santosh Nagarakatte 
<santosh.nagarakatte AT gmail.com>
 wrote:

> Hi all,
> 
> I was wondering how SAFECode detects use after free errors.  There are
> many use-after-free tests in tests directory.
> I did a quick scan of the safecode source code. I could not find
> specific checks that performed use-after-free checking.
> Can you point me to documentation that describes how use-after-free
> errors are detected with SAFECode?
> 
> Are all the use-after-errors detected by Valgrind or ASan also
> detected by SAFECode's use after free checking?
> 
> Thanks,
> Santosh
> 
> -- 
> Santosh G Nagarakatte,
> Computer and Information Science Department
> University of Pennsylvania,
> Philadelphia-19104
> http://www.cis.upenn.edu/~santoshn
> _______________________________________________
> svadev mailing list
> svadev AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/svadev