gcc-python-plugin is a plugin for GCC 4.6 onwards which embeds the CPython interpreter within GCC, allowing you to write new compiler warnings in Python, generate code visualizations, etc.
It ships with "gcc-with-cpychecker", which implements static analysis passes for GCC aimed at finding bugs in CPython extensions. In particular, it can automatically detect reference-counting errors: http://gcc-python-plugin.readthedocs.org/en/latest/cpychecker.html Major new features in 0.12 ========================== * support added for GCC 4.8 (along with 4.6 and 4.7) * addition of a new "gcc-c-api" component to isolate much of GCC's internals (and the differences between 4.6-4.8). I plan for this to eventually be its own project, aiming at providing a stable API and ABI for working with GCC, once it has proven itself in the context of the python plugin. * link-time-optimization support, for e.g. whole-program visualizations across multiple source files. See http://gcc-python-plugin.readthedocs.org/en/latest/0.12.html for more information, and for details of the numerous other changes. Tarball releases are available at: https://fedorahosted.org/releases/g/c/gcc-python-plugin/ Prebuilt-documentation can be seen at: http://gcc-python-plugin.readthedocs.org/en/latest/index.html The project's homepage is: https://fedorahosted.org/gcc-python-plugin/ The plugin and checker are Free Software, licensed under the GPLv3 or later. Enjoy! Dave Malcolm