> I'm completely missing the point, then.

I would like to avoid the use of SmPL meta-variables if I do not really need 
them.


> Are you worried about their being calls to eg malloc that are not in function 
> bodies?

I'm sorry. - This reply confuses me a bit. Would you like to clarify this view a
bit more?


> Coccinelle first constructs an AST, and then constructs a control-flow graph.

Which meaning has got the "S" here: (abstract) syntax or semantic (tree)?

I guess that your control-flow graph is an interesting software component for a
high-level application programming interface.

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to