On 03/29/2018 06:47 AM, Basile Starynkevitch wrote:
> Hello All,
>
> I am no longer working on GCC MELT, and the
gcc-melt.org domain will
> soon disappear (in april 2018), since I won't renew it. I would then
> disable this google group.
For curious people, I am still working on static analysis with GCC. My
current work is funded by the CHARIOT H2020 project.
http://www.chariotproject.eu/
So there will be something related to GCC, a successor of MELT
(completely unrelated and incompatible). Today in march 2018, there is
nothing useful yet, but curious people could glance on my github account
and the bismon repository there
(caveat: what you'll find today there is not yet related to GCC; it is
an embryonic persistent domain specific language which should be able -
perhaps at end of 2018 - to generate some GCC plugin; but no
documentation and no release yet, just some code on
https://github.com/bstarynk/bismon/tree/better-objects which only I
Basile am able to run in march 2018).
So don't hold your breath and be patient. I am busily working. The
result won't be compatible with GCC MELT (but has similar goal of
facilitating static source code analysis thru GCC). But the approach is
entirely different.
Regards
--
Basile STARYNKEVITCH ==
http://starynkevitch.net/Basile
opinions are mine only - les opinions sont seulement miennes
Bourg La Reine, France