svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] open projects

From: Baozeng <sploving1 AT gmail.com>
To: svadev AT cs.illinois.edu
Subject: [svadev] open projects
Date: Sun, 1 Apr 2012 18:47:34 +0800
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

Hello all,
There is a project: Improve the performance of the run-time checks. one of the open projects of SAFECode(http://sva.cs.illinois.edu/projects.html)
It suggests that the methods that SoftBound or Baggy Bounds Checking are faster. I take a look at the source tree of SAFECode and find that SoftBound and Baggy Bound sub dir are contained in the SAFECode library. So is it mean that they have been integrated in SAFECode? If yes, then why there is an openproject about this? thanks.

--
     Best Regards,
             Baozeng Ding
                                                                 OSTG,NFS,ISCAS

[svadev] open projects, Baozeng, 04/01/2012
- Re: [svadev] open projects, John Criswell, 04/02/2012