Svadev mailing list

[Santosh Nagarakatte <santoshn AT cis.upenn.edu>]

Hi all,

I wanted to know if there is an automatic mechanism to generate the
bitcode after every intermediate pass that safecode runs  when I use
the -fmemsafety flag.

Also, let me know where do I update the documentation information
about SoftBoundCETS so that people can test it with -fsoftbound flag?

Thanks,
Santosh



-- 
Santosh G Nagarakatte,
PhD Student,
Computer and Information Science Department
University of Pennsylvania,
Philadelphia-19104
http://www.cis.upenn.edu/~santoshn