Re: [GSoC][Static Analyzer] First proposal draft and a few more questions/requests

Hi Dave, > Overall, it looks great. Some notes: > - maybe specify the *GCC* static analyzer you first mention it Done. > - you talk about "timeout" warnings. The analyzer already can emit a > "timeout" warning of sorts, via -Wanalyzer-too-complex, though this is > based on the complexity of th

Re: [GSoC][Static Analyzer] First proposal draft and a few more questions/requests

On Sat, 2023-04-01 at 16:19 +0200, Shengyu Huang wrote: > Hi Dave, > > > > > > > I has looked into compiling those files with the patch some time > > > ago; > > > looking at my notes, one issue was with this on-stack buffer: > > >    char extra[1024]; > > > declared outside the loop.  Inside the

Re: [GSoC][Static Analyzer] First proposal draft and a few more questions/requests

Hi Dave, >> >> I has looked into compiling those files with the patch some time ago; >> looking at my notes, one issue was with this on-stack buffer: >>char extra[1024]; >> declared outside the loop. Inside the loop, it gets modified in >> various ways: >>extra[0] = '\0'; >> and >>if

Re: [GSoC][Static Analyzer] First proposal draft and a few more questions/requests

Hi Dave, > On 26 Mar 2023, at 19:14, David Malcolm wrote: > > I has looked into compiling those files with the patch some time ago; > looking at my notes, one issue was with this on-stack buffer: >char extra[1024]; > declared outside the loop. Inside the loop, it gets modified in > various

Re: [GSoC][Static Analyzer] First proposal draft and a few more questions/requests

On Sun, 2023-03-26 at 18:03 +0200, Shengyu Huang wrote: > Hi Dave, > > (I forgot to cc the list in the last email and it was too late to > unsend. Sorry for sending you the same email again.) > > > On 20 Mar 2023, at 23:50, David Malcolm > > mailto:dmalc...@redhat.com>> wrote: > > > > I think if

Re: [GSoC][Static Analyzer] First proposal draft and a few more questions/requests

Hi Dave, (I forgot to cc the list in the last email and it was too late to unsend. Sorry for sending you the same email again.) > On 20 Mar 2023, at 23:50, David Malcolm > wrote: > > I think if you try the patch to sm.cc above, then you'll see > vari

Re: [GSoC][Static Analyzer] First proposal draft and a few more questions/requests

On Mon, 2023-03-20 at 18:28 +0100, Shengyu Huang wrote: > Hi Dave, > > Thanks for always getting back to me so promptly! I am drafting the > proposal today. Here is the link: > > https://docs.google.com/document/d/1MRI1R5DaX8kM6DaqRQsEri5Mx2FvHmWv13qe1W0Bj0g/ > > (The proposal was first written

[GSoC][Static Analyzer] First proposal draft and a few more questions/requests

Hi Dave, Thanks for always getting back to me so promptly! I am drafting the proposal today. Here is the link: https://docs.google.com/document/d/1MRI1R5DaX8kM6DaqRQsEri5Mx2FvHmWv13qe1W0Bj0g/ (The proposal was first written in markdown and then copied pasted to Google Docs, so some formatting