Hello all
I don't have much time to actively contribute to GCC, but those
interested in static analysis with it might start (or reuse some code)
from the Bismon <https://github.com/bstarynk/bismon> plugin
(or consider also using the Frama-C <https://frama-c.com/> framework)
Cheers
PS. My pet open source project is the RefPerSys <http://refpersys.org/>
open source inference engine with some code on
https://github.com/RefPerSys/RefPerSys (if interested contact me by
email to bas...@starynkevitch.net or basile.starynkevi...@cea.fr ...)
--
Basile Starynkevitch<bas...@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/ & refpersys.org
