petr-muller/static-analyzer-fuzzing — pull request #3 by Shootervm (2014-09-15 11:40:45+00:00)
Title: Analyzers names changed to the SVComp like names.

Added testing and parsing script.

added analyzers:
BLAST, CBMC, CPAchecker, LLBMC
edited:
Predator