Re: [GSoC][Static Analyzer] Ideas for proposal

2023-03-13 Thread David Malcolm via Gcc
On Sun, 2023-03-12 at 23:20 +0100, Shengyu Huang wrote: > Hi Dave, > > > > > > > 4. What’s the most interesting to me are PR103533 > > > (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103533), > > > > Turning on taint detection by default would be a great project.  It > > would be good to run the

Re: [GSoC][Static Analyzer] Ideas for proposal

2023-03-12 Thread Shengyu Huang via Gcc
Hi Dave, >> >> 4. What’s the most interesting to me are PR103533 >> (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103533), > > Turning on taint detection by default would be a great project. It > would be good to run the integration tests: > https://github.com/davidmalcolm/gcc-analyzer-integra

Re: [GSoC][Static Analyzer] Ideas for proposal

2023-02-28 Thread David Malcolm via Gcc
On Tue, 2023-02-28 at 15:46 +0100, Shengyu Huang wrote: > Hi Dave, > > > On 22 Feb 2023, at 15:11, Shengyu Huang > > wrote: > > > > > But a better place to look would probably be in our bugzilla; see > > > the > > > links on the wiki page: > > >  https://gcc.gnu.org/wiki/StaticAnalyzer  > > > Th

Re: [GSoC][Static Analyzer] Ideas for proposal

2023-02-28 Thread Shengyu Huang via Gcc
Hi Dave, > On 22 Feb 2023, at 15:11, Shengyu Huang wrote: > >> But a better place to look would probably be in our bugzilla; see the >> links on the wiki page: >> https://gcc.gnu.org/wiki/StaticAnalyzer >> The "open bugs" list currently has 41 "RFE" bugs ("request for >> enhancement" i.e. idea