A LLVM-based general-purpose static analysis tool. - View it on GitHub