--- 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 %}