I don't know what an abstract semantic graph is.
I would like to point out that it can happen that a tree-like data structure can be extended in ways so that it does not denote a "tree" any more in its precise meaning. Static code analysis results also in a transition from "abstract" data to higher level information.
http://en.wikipedia.org/wiki/Abstract_semantic_graph
There is no access to the control-flow graph.
I imagine that a corresponding programming interface would be useful. Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
