[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