[cfe-dev] [StaticAnalyzer] C++ related checkers

[Daniel Marjamäki]

Hi!

To me this sounds related to a checker I suggested in 2014.

Example code:

    void f() {
        int *p;
        {
            int x;
            p = &x;
        }
        *p = 0;  // <- bug
    }

I was told to add lifetime markers in the CFG. And I discussed it briefly in the cfe-dev. i.e..

http://lists.cs.uiuc.edu/pipermail/cfe-dev/2014-June/037362.html

Best regards,
Daniel Marjamäki


..................................................................................................................
Daniel Marjamäki Senior Engineer
Evidente ES East AB  Warfvinges väg 34  SE-112 51 Stockholm  Sweden

Mobile:                 +46 (0)709 12 42 62
E-mail:                 Daniel.Marjamaki<mailto:Daniel.Marjamaki at evidente.se>@evidente.se<mailto:Daniel.Marjamaki at evidente.se>

www.evidente.se
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20150318/1d3adfda/attachment.html>