User:Realazthat/Projects wishlist/LLVM/Sandbox

From Rosetta Code
< User:Realazthat‎ | Projects wishlist‎ | LLVM
Revision as of 18:48, 13 October 2010 by rosettacode>Realazthat (Created page with '"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#mi…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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