svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] Info on Documentation and Intermediate Stages

From: John Criswell <criswell AT illinois.edu>
To: Santosh Nagarakatte <santoshn AT cis.upenn.edu>
Cc: svadev AT cs.uiuc.edu
Subject: Re: [svadev] Info on Documentation and Intermediate Stages
Date: Fri, 18 May 2012 17:08:39 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>
Organization: University of Illinois

On 5/18/12 5:07 PM, Santosh Nagarakatte wrote:

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?

The SoftBound flags should be documented in the SAFECode User's Guide which is in safecode/docs.

-- John T.

Thanks,
Santosh

[svadev] Info on Documentation and Intermediate Stages, Santosh Nagarakatte, 05/18/2012
- Re: [svadev] Info on Documentation and Intermediate Stages, John Criswell, 05/18/2012
- Re: [svadev] Info on Documentation and Intermediate Stages, John Criswell, 05/21/2012
  - Re: [svadev] Info on Documentation and Intermediate Stages, Will Dietz, 05/21/2012
    - Re: [svadev] Info on Documentation and Intermediate Stages, Will Dietz, 05/21/2012
      - Re: [svadev] Info on Documentation and Intermediate Stages, Santosh Nagarakatte, 05/21/2012