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.