svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] safecode question

From: Daniel Huang <dehuang AT fas.harvard.edu>
To: svadev AT cs.illinois.edu
Subject: [svadev] safecode question
Date: Sat, 21 Apr 2012 16:39:25 -0400
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

Hi,

Is there a place that documents all the instructions a SAFECode instrumentation pass can emit? I'm thinking about building a verified type-checker for a subset of SVA and knowing what I need to model/how they work would be of great help. Right now, I've been writing test programs and trying to reverse engineer what the individual functions are doing w.r.t to the PLDI paper ...

Regards,

Dan

[svadev] safecode question, Daniel Huang, 04/21/2012
- Re: [svadev] safecode question, John Criswell, 04/22/2012
  - Re: [svadev] safecode question, Daniel Huang, 04/23/2012
    - Re: [svadev] safecode question, John Criswell, 04/23/2012
      - Re: [svadev] safecode question, Daniel Huang, 04/23/2012
        
        Re: [svadev] safecode question, John Criswell, 04/23/2012
        
        Re: [svadev] safecode question, Daniel Huang, 04/23/2012