Clang

Applied Symbolic Execution with KLEE/LLVM

Is LLVM the beginning of the end for GNU (as we know it)?