This is the implementation of the Baggy Bounds runtime for | |
SAFECode. The details are in | |
http://research.microsoft.com/apps/pubs/default.aspx?id=101450 | |
The implementation fails on x86_64 for programs that have byval | |
arguments. See LLVM bug, http://llvm.org/bugs/show_bug.cgi?id=6965 | |
Also, support for safe CStdLib functions needs to be added. |