It would be nice if spdiff becomes again part of coccinelle

[UnixJunkie]

spdiff looks such a nice companion tool to coccinelle
that I think it should reside under the coccinelle umbrella
and stay in sync with coccinelle's latest developments.

[jespera]

What I suggest initially, is to update spdiff to work with the latest Coccinelle sources. The main thing to be done here is updating the functions converting the cocci C-ast to the spdiff ast. Then there might also be some work in the function that converts a cocci flow-graph to the spdiff-version.

I have started looking at updating the conversion from cocci-c-ast to spdiff-ast.

[jespera]

Just a confirmation that work is still underway on this task. It's not as trivial as I had hoped though, because the Coccinelle AST and control-flow-graph has changed more than I had expected.

[jespera]

Finally, spdiff compiles with the latest version of coccinelle (there's some issue with the latest menhir it seems though so I've use the one included in the coccinelle repo).

However, it seems one should be able to use spdiff as a library rather than have it tightly coupled with coccinelle (the parser at least).

I think the next steps should be to turn spdiff into a library. We'll need proper abstractions for programs though!