davidmalcolm
Interprocedural analysis
Lots of false positives due to lack of interprocedual knowledge.
See e.g.: http://fedorapeople.org/~dmalcolm/gcc-python-plugin/2012-04-04/rrdtool-1.4.7-5.fc17/rrdtool-1.4.7/bindings/python/build/temp.linux-x86_64-2.7/rrdtoolmodule.c.PyRRD_graph-refcount-errors.html#report-2
where presumably create_args() < 0 implies that an exception has already been set.
Similarly: identify functions that steal references, and functions that return borrowed references, and use that when analyzing their callers.
Imported from trac issue 40. Created by dmalcolm on 2012-04-04T15:08:15, last modified: 2012-04-04T15:09:58
Trac comment by dmalcolm on 2012-04-04 15:09:58:
Notes on this from an earlier discussion on the mailing list: https://fedorahosted.org/pipermail/gcc-python-plugin/2012-March/000199.html