I've fallen into bad habits, and haven't been updating the documentation to the cpychecker code. Sorry about that. I've spent a few hours fixing that, and you can now see relatively up-to-date docs for this part of the project here: http://readthedocs.org/docs/gcc-python-plugin/en/latest/cpychecker.html I'll try to be better from now on about updating the documentation as this part of the code changes. Dave