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 [email protected] or [email protected] ...)
--
Basile Starynkevitch<[email protected]>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/ & refpersys.org
