> I think you should read the paper before drawing conclusions. I have read Yoann Padioleau's descriptions.
> Of course everything is limited in some way, but the parser doesn't use the > token > stream as is, so it can in principle do any thing it wants between the > lexing stage and the parsing stage. I would like to point out open issues that might be relevant for later (or higher-level) phases of the software analysis. I hope that a recursive descent parser can cope with the remaining 2% - 10% of cases that that the tool "Yacfe" can not handle so far. Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
