Tagged | LLVM

• Checked C Extends LLVM to Bring Spatial Memory Safety to C

  (www.infoq.com)

  #programming-languages #C #LLVM

• Vellvm – Verifying the LLVM

  (galois.com)

  #software-engineering #compilers #LLVM