Clang Static Analyzer

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.