Announcement

Collapse
No announcement yet.

LLVM-Based LLBMC 2012.2 Has New Features

Collapse
X
  • Filter
  • Time
  • Show
Clear All
new posts

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

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

  • #2
    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?

    Comment


    • #3
      Originally posted by plgaming View Post
      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?
      Excellent points.

      Comment

      Working...
      X