static analysis above GCC (GSoC 2021)

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



gcc-10-20210306 is now available

2021-03-06 Thread GCC Administrator via Gcc
Snapshot gcc-10-20210306 is now available on
  https://gcc.gnu.org/pub/gcc/snapshots/10-20210306/
and on various mirrors, see http://gcc.gnu.org/mirrors.html for details.

This snapshot has been generated from the GCC 10 git branch
with the following options: git://gcc.gnu.org/git/gcc.git branch 
releases/gcc-10 revision 4fbef612ca1adb71c90eab0d6a682ec6af5b7c93

You'll find:

 gcc-10-20210306.tar.xz   Complete GCC

  SHA256=63869d5132bf9ff15e0b6c3d8235d6c9b5d5a2dbf1b2e375e354febafb993a54
  SHA1=17a9dc040a97e48224b52314c4d7335782a457dd

Diffs from 10-20210227 are available in the diffs/ subdirectory.

When a particular snapshot is ready for public consumption the LATEST-10
link is updated and a message is sent to the gcc list.  Please do not use
a snapshot before it has been announced that way.