On Tue, 2021-04-06 at 17:56 +0530, Ankur Saini wrote:
Hi Ankur.
Various replies inline below throughout.
> > On 30-Mar-2021, at 7:27 PM, David Malcolm
> > wrote:
>
> > > This gave rise to some questions
> > >
> > > 1. why does the analyzer make exceptions with the main() function
> > > ?
> >
> On 30-Mar-2021, at 7:27 PM, David Malcolm wrote:
>> This gave rise to some questions
>>
>> 1. why does the analyzer make exceptions with the main() function ?
>
> The user's attention is important - we don't want to spam the user with
> unnecessary reports if we can help it.
make sense.
On Tue, 2021-03-30 at 16:36 +0530, Ankur Saini wrote:
> hello sir
>
> in my quest of finding a bug ( which ended up being a feature ) along
> with it’s source in the analyzer, I tested the code on these 2 code
> snippets and here’s how I went towards it
>
> (1)
> int main()
> {
> int *ptr =
hello sir
in my quest of finding a bug ( which ended up being a feature ) along with it’s
source in the analyzer, I tested the code on these 2 code snippets and here’s
how I went towards it
(1)
int main()
{
int *ptr = (int *)malloc(sizeof(int));
return 0;
}
link to running example (h
> On 06-Mar-2021, at 6:05 AM, David Malcolm wrote:
>
> If you run the analyzer on your own code, and can trigger a false
> positive or a false negative with the analyzer on it, and try to figure
> out the issue, that could be a useful step (though it might turn out to
> be a difficult one to fi
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.
>
> I have already used -fan
Hello,
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.
I have already used -fanalyzer option ( which I initially came to know about
via some blog post ) a coupl
On Thu, 2021-02-11 at 22:35 +0530, Adharsh Kamath wrote:
> Hi David,
>
> > Building GCC from source and stepping through it in the
> > debugger would be good next steps. You'll need plenty of disk
> > space.
> > "run_checkers" is a good breakpoint to set if you're looking for
> > the
> > entrypo
Hi David,
> Building GCC from source and stepping through it in the
> debugger would be good next steps. You'll need plenty of disk space.
> "run_checkers" is a good breakpoint to set if you're looking for the
> entrypoint to the analyzer.
>
I tried this and I understood the control flow in the
On Fri, Jan 22, 2021 at 9:32 PM David Malcolm wrote:
>
> On Fri, 2021-01-22 at 20:46 +0530, Adharsh Kamath wrote:
> > Hi David. Thank you for the reply.
> > On Tue, Jan 19, 2021 at 2:12 AM David Malcolm
> > wrote:
> > > On Thu, 2021-01-14 at 10:45 +0530, Adharsh Kamath wrote:
> > > > Hello,
> > >
On Fri, 2021-01-22 at 20:46 +0530, Adharsh Kamath wrote:
> Hi David. Thank you for the reply.
> On Tue, Jan 19, 2021 at 2:12 AM David Malcolm
> wrote:
> > On Thu, 2021-01-14 at 10:45 +0530, Adharsh Kamath wrote:
> > > Hello,
> > > I came across the list of possible project ideas for GSoC 2021
> >
Hi David. Thank you for the reply.
On Tue, Jan 19, 2021 at 2:12 AM David Malcolm wrote:
>
> On Thu, 2021-01-14 at 10:45 +0530, Adharsh Kamath wrote:
> > Hello,
> > I came across the list of possible project ideas for GSoC 2021 and
> > I'd
> > like to contribute to the project regarding the static
On Thu, 2021-01-14 at 10:45 +0530, Adharsh Kamath wrote:
> Hello,
> I came across the list of possible project ideas for GSoC 2021 and
> I'd
> like to contribute to the project regarding the static analysis pass
> in GCC.
> How can I get started with this project?
Hi Adharsh
Sorry about the delay
Hello,
I came across the list of possible project ideas for GSoC 2021 and I'd
like to contribute to the project regarding the static analysis pass
in GCC.
How can I get started with this project?
Thanks,
Adharsh
14 matches
Mail list logo
