Basile Starynkevitch <bas...@starynkevitch.net> writes: > hello > > You could take (and improve/refactor) some obsolete code from > https://github.com/bstarynk/bismon > and read the below draft report > http://www.starynkevitch.net/Basile/bismon-chariot-doc.pdf > > I am no more working on that code base. >
Let's not suggest obsolete (or non-GCC) projects to people asking about how to work on GCC itself for GSoC, please. > My current open source project is https://github.com/RefPerSys/RefPerSys/ (an > inference engine project, GPL licensed) which you could use to test/improve > your > static analysis part. > > Be of course aware of https://frama-c.com/ (I was part of that team at www- > list.cea.fr before my retirement in nov 2023) > > regards > > Regards.
