On Fri, 16 Dec 2011, Derek M Jones wrote:
Julia,
This proposal sounds very useful to me.
I would not want to remove any of the existing functionality.
As it currently stands cocci can be used by people who only
know C and I think it would be useful to keep this ability.
OK, it's a reasonable point.
Relating to your C++ post earlier this week. I think it was in
the later 90s that somebody told me that writing a C++ compiler
was about seven times the effort of writing a C compiler. A lot
of new stuff has been added in C++11 and not so much in C1x,
so I suspect the ratio will have gone up.
Well, we already have a parser. There is the hope that we could use eg
the facilities of clang to help with some of the semantic aspects if that
is necessary, ie parse using our parser and their parser and try to
correlate information related to tokens in the same position. But I
haven't looked into this very concretely.
Some problems that have been cited to us are:
resolution of name spaces
resolution of overloaded symbols
resolution of virtual calls
templates
I don't know to what extent these are actually difficult problems given
what one wants to do with Coccinelle.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
