On Sun, 30 Mar 2014, SF Markus Elfring wrote:

> Hello,
>
> Some filter patterns can be specified in the semantic patch language so that
> they will also work without inclusion of header files. Some other source code
> analysis approaches will need all relevant data (e. g. macros and type
> declarations) from them.
>
> Various compilers provide a functionality to store processed information from
> such headers in an alternative data format.
> http://en.wikipedia.org/wiki/Precompiled_header
>
> Would another intermediate form help to reduce analysis and transformation 
> time
> by the Coccinelle software here?
>
> How do you think about to store the results from a step "precompilation" like
> corresponding abstract syntax graphs in a kind of dedicated data base?
> http://en.wikipedia.org/wiki/Graph_database#Graph_database_projects

Coccinelle already allows you to cache abstract syntax trees on disk.
Relevant command line arguments are --use-cache and --cache-limit.

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to