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)


Reference Material