Contributor
Benjamin Priour

Extending gcc -fanalyzer C++ support for self-analysis


Mentors
David Malcolm
Organization
GNU Compiler Collection (GCC)
Technologies
c++
Topics
compiler, Static analysis
Currently, the static analyzer offers little dedicated support for C++. Even when projecting the most straightforward valid C test cases to C++, the checkers output incorrect diagnostics, either by their absence or imprecision. The issues this project aims to tackle are all prerequisites to further extensions of C++ support. The aim of this project is to enable the analyzer to self-analyze itself.