User:Realazthat/Projects wishlist/LLVM/Sandbox
"Create an LLVM pass that adds memory safety checks to code, like Valgrind does for binaries, or like mudflap does for gcc compiled code." -- http://llvm.org/OpenProjects.html#misc_new
Features:
- Disallow undefined behavior
- Division by zero
- Buffer overflows
- What else
- Allow for proof carrying code (and remove overhead, run directly)