[cfe-dev] static analyzer false positive? (when reinterpreting buffer as char*)

Sean McBride sean at rogue-research.com
Tue Sep 25 13:54:03 PDT 2012

On Tue, 25 Sep 2012 13:48:34 -0700, Ted Kremenek said:

>Yes it is a false positive.  The analyzer doesn't handle well dealing
>with re-interpretation casts of arrays like this.  While we don't have a
>good way to reason about this now, it should be straightforward to
>suppress the false positive.
>Please file a PR.

Thanks Eli and Ted for the fast responses.  Bugs:


Sean McBride, B. Eng                 sean at rogue-research.com
Rogue Research                        www.rogue-research.com 
Mac Software Developer              Montréal, Québec, Canada

More information about the cfe-dev mailing list