On 02/06/2011 08:40 PM, SF Markus Elfring wrote:
I think a lot of such C++ snippets would be parsed by Coccinelle if
'&' and 'new' would be treated as having similar constraints as '*'
and an unary operator respectively.
The proper patching of C++ source code provides some technical challenges
because of the context-dependent processing that will be required if you would
like to achieve complete software correctness.
Correct (there was a thread on that topic a few months ago), however it
may turn out that having a parser that covers just a few C++ language
constructs which can be implemented in Coccinelle without too much work
may help already with quite a few C++ files.
Jani
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
