[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