Your GSoc'22 submission for GCC

Your GSoc'22 submission for GCC

[Basile Starynkevitch]

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                  <basile@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/