Hello Mir Mimmad,
If your future GSoC submission is about middle-end extensions to improve
GCC warnings, you might consider starting from the Bismon static source
code analyzer plugin on https://github.com/bstarynk/bismon/
<https://github.com/bstarynk/bismon/> and some /unofficial/
documentation on http://starynkevitch.net/Basile/bismon-doc.pdf
<http://starynkevitch.net/Basile/bismon-doc.pdf> (in PDF format, A4 paper)
Bismon is probably ending because of lack of funding. You could study
its source code and (if your teachers and funding organizations agree)
continue the work on it. I am supposed to work on Frama-C
<https://frama- c.com/> instead next week (starting from october 2021).
You could be interested by the DECODER European project, see
http://www.decoder-project.eu/ <http://www.decoder-project.eu/>
Regards.
PS. My pet open source project is RefPerSys <http://refpersys.org/>
(symbolic artificial intelligence). Jacques Pitrat's last book
Artificial Beings: the Conscience of a Conscious Machine
(ISBN-13: 978-1848211018) could interest you.
--
Basile Starynkevitch <bas...@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
