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...

http://www.phoronix.com/vr.php?view=MTE3Mzc