Svadev mailing list

[Santosh Nagarakatte <santosh.nagarakatte AT gmail.com>]

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