[StaticAnalyzer] C++ related checkers

Clang Frontend
#1

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@evidente.se

www.evidente.se

#2

Hi!

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

Thanks,
Adam Romanek

#3

Hello!

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

No I do not think so. We made an attempt to add proper lifetime markers. but that work was not finished.

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@evidente.se

www.evidente.se