Re: [Python-Dev] Static analysis of CPython using coccinelle/spatch

2009-11-18 Thread David Malcolm
On Tue, 2009-11-17 at 13:03 -0800, Brett Cannon wrote: > On Mon, Nov 16, 2009 at 12:27, David Malcolm wrote: > > Has anyone else looked at using Coccinelle/spatch[1] on CPython source > > code? [snip] > Running the tool over the code base and reporting the found bugs would > be appreciated. Disc

Re: [Python-Dev] Static analysis of CPython using coccinelle/spatch

2009-11-17 Thread Terry Reedy
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[1] on CPython source code? For an excellent explanation of Coccinelle, see . For those who have not looked, Coccinelle means

Re: [Python-Dev] Static analysis of CPython using coccinelle/spatch

2009-11-17 Thread A.M. Kuchling
On Mon, Nov 16, 2009 at 03:27:53PM -0500, David Malcolm wrote: > Has anyone else looked at using Coccinelle/spatch[1] on CPython source > code? For an excellent explanation of Coccinelle, see . --amk ___ Python-Dev maili

Re: [Python-Dev] Static analysis of CPython using coccinelle/spatch

2009-11-17 Thread Brett Cannon
On Mon, Nov 16, 2009 at 12:27, David Malcolm wrote: > Has anyone else looked at using Coccinelle/spatch[1] on CPython source > code? Not that has been mentioned on the list before. > > It's a GPL-licensed tool for matching semantic patterns in C source > code. It's been used on the Linux kernel

[Python-Dev] Static analysis of CPython using coccinelle/spatch

2009-11-16 Thread David Malcolm
Has anyone else looked at using Coccinelle/spatch[1] on CPython source code? It's a GPL-licensed tool for matching semantic patterns in C source code. It's been used on the Linux kernel for detecting and fixing problems, and for autogenerating patches when refactoring (http://coccinelle.lip6.fr/im