Interesting write up. LLVM defines it as "a collection of algorithms and techniq...

clobber on Oct 5, 2012 | parent | context | favorite | on: What is static program analysis?

Interesting write up. LLVM defines it as "a collection of algorithms and techniques used to analyze source code in order to automatically find bugs." http://clang-analyzer.llvm.org/