LLVM-Based LLBMC 2012.2 Has New Features

Posted by tracyanne on Sep 1, 2012 1:11 PM EDT
Phoronix		Mail this story
Print this story

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

Full Story

  Nav
» Read more about: Story Type: News Story

« Return to the newswire homepage

This topic does not have any threads posted yet!

You cannot post until you login.