[Python-Dev] 2to3 for .c code (was Static analysis of CPython using coccinelle/spatch)
dmalcolm at redhat.com
Wed Nov 18 20:26:23 CET 2009
On Tue, 2009-11-17 at 19:45 -0500, Terry Reedy wrote:
> A.M. Kuchling wrote:
> > On Mon, Nov 16, 2009 at 03:27:53PM -0500, David Malcolm wrote:
> >> Has anyone else looked at using Coccinelle/spatch on CPython source
> >> code?
> > For an excellent explanation of Coccinelle, see
> > <http://lwn.net/Articles/315686/>.
> For those who have not looked, Coccinelle means ladybug (a bug-eating
> bug ;-) in French. Its principle use to to take C code and a SmPl file
> of high-level patch descriptions (fixers, in 2to3 talk) and produce a
> standard diff file. I wonder if this could be used to help people
> migrate C extensions to 3.1, by developing a SmPl file with the needed
> changes dictated by API changes. This is similar to its motivating
> application to Linux. From
> "Coccinelle is a program matching and transformation engine which
> provides the language SmPL (Semantic Patch Language) for specifying
> desired matches and transformations in C code. Coccinelle was initially
> targeted towards performing collateral evolutions in Linux. Such
> evolutions comprise the changes that are needed in client code in
> response to evolutions in library APIs, and may include modifications
> such as renaming a function, adding a function argument whose value is
> somehow context-dependent, and reorganizing a data structure. "
> As I understand it, the problem with C extensions and 3.1 is the current
> lack of a "collateral evolution" tool like 2to3 for Python code.
Indeed; I think it may be possible to use Coccinelle for this.
Here's a .cocci semantic patch to convert non-PyObject* dereferences of
an "ob_type" field to use Py_TYPE macro instead.
I was able to use this to generate the attached patch for the DBus
python bindings. Note that it leaves dereferences of a PyObject*
untouched, and works inside sub-expressions. (There's some noise at the
typedef of Server; I don't know why).
Hope this is helpful
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1927 bytes
Desc: not available
More information about the Python-Dev