https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107646
Bug ID: 107646
Summary: RFE: can we reimplement gcc-python-plugin's cpychecker
as a -fanalyzer plugin?
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
My gcc-python-plugin implements a crude static analysis of CPython code, using
symbolic execution in a manner similar to how -fanalyzer works, but it's been
bitrotting for years, and is slow (being written in Python itself):
https://gcc-python-plugin.readthedocs.io/en/latest/cpychecker.html
I *think* this could now be reimplemented as a plugin to GCC's -fanalyzer (in
C++), where -fanalyzer provides most of the framework needed, and we'd mostly
just need to write the CPython-specific parts.
It would make an interesting GSoC project (albeit perhaps a challenging one).
