You only print out information about functions that are called
(function_definition.f).
A few of my difficulties with the specification of a SmPL filter pattern for a
function declaration/prototype and its definition/implementation could be
resolved a moment ago.
Now I am interested in further extensions for this pattern.
Both use cases can be detected separately. But I would prefer to achieve an
analysis result from the execution of a single SmPL script. The consequence is
that I get two SmPL rules which provide data for a file output.
But the second (OCaml or Python) script rule needs to depend on two other rules
as preconditions. (A function can be implemented without a declaration before.)
http://coccinelle.lip6.fr/docs/main_grammar003.html
I would like to assign values to variables of the used scripting language from
SmPL metavariables. Such assignments refer to names from previous rules usually.
I'm unsure which rule name I should choose here when it can be that I need to
reuse the same identifiers from the source code matches.
Would you like to clarify the little difficulty with a name selection if data
should be forwarded from several rules?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
