--- layout: post author: Pascal Cuoq date: 2011-06-17 19:31 +0200 categories: position format: xhtml title: "Clang Static Analyzer" summary: --- {% raw %}
From the Clang Static Analyzer homepage:
Please help us in this endeavor by reporting false positives.
Please help us make Frama-C better by reporting false negatives.
{% endraw %}