static analysis above GCC (GSoC 2021)

static analysis above GCC (GSoC 2021)

[Basile Starynkevitch]

On Fri, 2021-03-05 at 17:04 +0530, Ankur Saini via Gcc wrote:

> Hello,

Hi Ankur

While looking for some project to contribute on for GSOC 2021, I came
across project about extending static analyser pass, especially the
part that involve adding C++ support to it.


You could look at the DECODER European project on 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

Because of lack of funding, Bismon will probably be stopped in a few weeks.


Cheers

PS. My pet open source project is http://refpersys.org/ and I am seeking funding and applications for it.

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

Re: 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