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
Detailed release notes can be seen at: http://gcc-python-plugin.readthedocs.org/en/latest/0.8.html
Some highlights of the 0.8 release:
* it's much easier than before to emit compilation warnings
* initial support for analyzing C++ code from a Python script
* gcc-with-cpychecker has gained additional tests. It now has knowledge of which CPython API calls will crash when passed NULL, and will warn you (with details) about code paths that can trigger such a call. It can also now detect certain subtle errors in PyMethodDef tables.
* numerous bug fixes and other improvements
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. Thanks to Red Hat for funding their development, and to David Narvaez and Tom Tromey for their contributions to this release.
Enjoy! Dave Malcolm