gcc-python-plugin August 2012

gcc-python-plugin@lists.stg.fedorahosted.org

4 participants
5 discussions

ANN: gcc-python-plugin 0.10
by David Malcolm 30 Aug '12

30 Aug '12

gcc-python-plugin is a plugin for GCC 4.6 onwards which embeds the CPython interpreter within GCC, allowing you to write new compiler warnings for C/C++ in Python, generate code visualizations, etc. It comes with "cpychecker": a tool for static analysis tool of CPython extensions. Tarball releases are available at: https://fedorahosted.org/releases/g/c/gcc-python-plugin/ Prebuilt-documentation can be seen at: http://readthedocs.org/docs/gcc-python-plugin/en/latest/index.html Project homepage: https://fedorahosted.org/gcc-python-plugin/ What's new in v0.10: * support for the to-be-released Python 3.3 (tested against latest release candidate) * better support for analysis of C++ code: the API provides support for walking the namespace tree, and the cpychecker code now supports methods, references, "this", destructors, etc * lots of bug fixes: the cpychecker code has been hardened by running it on all of the Python C extension code in Fedora 17, and in the process many internal bugs have been found and fixed - along with hundreds of bugs in the code being tested: http://fedoraproject.org/wiki/Features/StaticAnalysisOfPythonRefcounts * similarly, Daniele Varrazzo used the checker extensively on psycopg, the popular Python interface to PostgreSQL, and using it was able to find and fix numerous subtle errors: http://initd.org/psycopg/articles/2012/03/29/psycopg-245-released/ * an experimental new HTML visualization for error reports: http://fedorapeople.org/~dmalcolm/gcc-python-plugin/2012-03-19/example/exam… Thanks to Buck Golemon, Daniele Varrazzo, David Narvaez, Eevee, Jason Mueller, Kevin Pyle, Matt Rice and Tom Tromey for their contributions to this release. Enjoy! Dave

1 0

build system
by Philip Herron 23 Aug '12

23 Aug '12

Hey I have quite a lot of experience with gcc python plugin now since my google summer of code projects. And i feel the build system isn't really ideal in a few ways one of the main problems I find has been. The Makefile uses your systems $CC which on ubuntu is defaulted to cc which in turn goes to your systems base install of gcc. This is fine, but if you install your own gcc this is a little annoying. Personally i think since it requires GCC why not simple use the gcc within your PATH so its easier to keep track of since its very easy to accidentally build with the wrong gcc and then have problems trying to use it since gcc wont let your plugin pass the version checks. So that it shouldn't be a problem. Then sometimes people with different versions of python installed might use different python-config's. I am considering rewriting the build system in autoconf etc. But i would like to hear some opinions if this is worth it or not. I personally feel it could be a more ideal solution. And you could use a make install based on something like: gcc --print-file-name="plugin" and put it in that path might be interesting. Though there could be some problems with installing outside of a root user. So maybe a /usr/local/lib install might be fine. --Phil

1 0

TYPE_METHODS
by Philip Herron 20 Aug '12

20 Aug '12

Hey Just wondering whats the best way to post a patch, for C++. You see classes as TYPEDECLS, and in essence it just looks like a struct, but if you check TYPE_METHODS you get to see associated methods which would make it a class. So i just added to: generate-tree-c.py: L458 if tree_type.SYM in ('RECORD_TYPE', 'UNION_TYPE', 'QUAL_UNION_TYPE'): add_simple_getter('fields', 'gcc_tree_list_from_chain(TYPE_FIELDS(self->t))', "The fields of this type") add_simple_getter('methods', 'gcc_tree_list_from_chain(TYPE_METHODS(self->t))', "The TYPE_METHODS") --Phil

2 1

c++
by Philip Herron 16 Aug '12

16 Aug '12

Hey I have been noticing that when i run the plugin over c++ code say this just silly example: class CRectangle { int x, y; public: void set_values_joe (int, int); int area (void); } rect; typedef struct testjoe { int a; float b; } ttttt ; namespace Example { struct Coord { int x; int y; }; class Widget { public: void set_location(const struct Coord& coord); }; }; I use gcc.get_global_namespace () then iterate over x.namespaces i get access to the example namespace but i dont get access to the struct or the class rect. And when i use gcc.get_translation_units (): i have to use if u.block: so i dont get to iterate over block.vars. So i went and used gcc.get_variables (): But i only get access to the class rect. And i still dont get access to that struct. Not quite sure i might test it on another gcc and see what happens. --Phil

3 4

Create data flow graph from Gimple SSA
by Amin Farmahini 16 Aug '12

16 Aug '12

Hi All, The Gimple representation of GCC provides some data flow analysis for each basic block in the SSA (Static Single Assignment) form. One could see the data dependencies (which I think are called flow-dependence edges) in gimple form. I would like to take Gimple as input and generate a data flow graph for basic blocks. The example shown on the website shows how to generate control flom graph using "show-ssa.py." However, it does not visualize the data dependencies in each basic block. I need to visualize the data dependence in order to analyze the data flow in each basic block in form of a data flow graph. By data flow graphs I mean graphs in which nodes in the graph represent operations like addition and multiplication, and edges represent data dependence between nodes. I was wondering if there is already such a plugin? Or it would be great if you could provide some advice on how to write such a pass. Thanks, Amin

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

gcc-python-plugin August 2012