Re: static analysis above GCC (GSoC 2021)

[Ankur Saini via Gcc]

> On 06-Mar-2021, at 6:40 PM, Basile Starynkevitch <bas...@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