LLVM-Based LLBMC 2012.2 Has New Features
Phoronix: LLVM-Based LLBMC 2012.2 Has New Features
LLBMC 2012.2 has been released, which is based upon the LLVM 3.1 code-base, and is a high-precision static analyzer that implements Bounded Model Checking...
I think it should have been stated in the article that LLBMC is surprisingly NOT open source.
A bit worrying as it is probably fincanced by German tax payers; shouldn't what is funded by the public be publicly available in return?
Originally Posted by plgaming