static analysis above GCC (GSoC 2021)

[Ankur Saini]

> On 06-Mar-2021, at 6:40 PM, Basile Starynkevitch <basile@starynkevitch.net> wrote:
> 
> 
> 
> On Fri, 2021-03-05 at 17:04 +0530, Ankur Saini via Gcc wrote:
>> Hello,
> Hi Ankur
> You could look at the DECODER European project on https://www.decoder-project.eu/ <https://www.decoder-project.eu/> and at the Bismon static source code analyzer funded by it (for a few more weeks)
> 
> https://github.com/bstarynk/bismon <https://github.com/bstarynk/bismon>
thanks, I will check that out also

- Ankur