User:Realazthat/Projects wishlist/LLVM/Sandbox

From Rosetta Code

"Create an LLVM pass that adds memory safety checks to code, like Valgrind does for binaries, or like mudflap does for gcc compiled code." --


  • Disallow undefined behavior
    • Division by zero
    • Buffer overflows
    • What else
  • Allow for proof carrying code (and remove overhead, run directly)

Reference Material