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

Adam Romanek romanek.adam at gmail.com
Fri Mar 20 14:19:34 PDT 2015


Hi!

Was there any follow-up of this discussion on the mailing list? Any 
further discussions or some code?

Thanks,
Adam Romanek

On 18.03.2015 08:43, Daniel Marjamäki wrote:
>
> 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 EastABWarfvinges väg 34SE-112 51 StockholmSweden
>
> 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
>






More information about the cfe-dev mailing list