A look at how the clang static analyser works and how third-party developers can add their own analysis rules, and at the klee symbolic code executor in LLVM.Lire moins