Ticket #40 (new defect)

Opened 2 years ago

Last modified 2 years ago

Interprocedural analysis

Reported by: dmalcolm Owned by: dmalcolm@…
Priority: major Milestone:
Component: Core plugin code Version:
Keywords: Cc:
Blocked By: Blocking:

Description

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.

Change History

comment:1 Changed 2 years ago by dmalcolm

Notes on this from an earlier discussion on the mailing list:

https://fedorahosted.org/pipermail/gcc-python-plugin/2012-March/000199.html

Note: See TracTickets for help on using tickets.