[Cocci] Determination of the number for named function parameters

Julia Lawall julia.lawall at lip6.fr
Wed Dec 3 10:19:46 CET 2014



On Wed, 3 Dec 2014, SF Markus Elfring wrote:

> >> Does the OCaml scripting interface provide more information (besides the
> >> SmPL API) which can be useful in advanced source code analysis?
> >
> > No.
>
> How is the status about an abstract syntax tree interface which was mentioned
> in a wiki article a while ago?

No idea what you are referring to.  In an ocaml script, if you declare a
metavariable as:

(a,b) << r.e;

then b is the abstract syntax tree of e.  You can eg process it using the
visitors available visitor_c.ml.

julia


More information about the Cocci mailing list