Contribute Media
A thank you to everyone who makes this possible: Read More

Static analysis of Python extension modules using GCC

Summary

Want to analyse C/C++ code using Python? I've written a plugin for GCC that embeds Python inside the compiler, allowing you to write new C/C++ compilation passes in Python. I've used this to build a static analysis tool that understands the CPython extension API, and can automatically detect reference- counting bugs, and other errors.

Details

Improve this page