[llvm-commits] Updated SAFECode Patch

John Criswell criswell at illinois.edu
Tue Jul 19 15:36:27 PDT 2011


Dear All,

Attached is an updated version of the SAFECode patch.  This patch:

1) Is updated to the new LLVM type API; and
2) Can just be applied using patch -p0 < scpatch instead of having to 
untar an archive of changes.
3) Perhaps I forgot it in previous posts, but using patch -p0 < 
testpatch  in the test-suite directory will provide some test Makefiles 
which can be used by using "make TEST=sc report"
4) It includes a RewriteOOB pass which implements a feature called Out 
of Bounds Pointer rewriting.  Basically, it allows SAFECode to permit 
out of bound pointers provided that such pointers are not dereferenced.  
It's an optional feature.

-- John T.

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: scpatch
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20110719/0a92b2b5/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: testpatch
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20110719/0a92b2b5/attachment-0001.ksh>


More information about the llvm-commits mailing list