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." -- 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

Retrieved from "https://rosettacode.org/wiki/User:Realazthat/Projects_wishlist/LLVM/Sandbox?oldid=160433"