[Cocci] kzfree script

2020-10-02 Thread Julia Lawall
Denis, In the rule proposing kzfree_sensitive, I think it would be helpful to also highlight the memset line. julia ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] kzfree script

2020-10-02 Thread Denis Efremov
On 10/2/20 5:13 PM, Julia Lawall wrote: > > > On Fri, 2 Oct 2020, Denis Efremov wrote: > >> Hi, >> >> On 10/2/20 5:01 PM, Julia Lawall wrote: >>> Denis, >>> >>> In the rule proposing kzfree_sensitive, I think it would be helpful to >>> also highlight the memset line. >> >> What do you mean?

Re: [Cocci] kzfree script

2020-10-02 Thread Denis Efremov
Hi, On 10/2/20 5:01 PM, Julia Lawall wrote: > Denis, > > In the rule proposing kzfree_sensitive, I think it would be helpful to > also highlight the memset line. What do you mean? It's "highlighted" in context mode. Do you mean adding position argument to memset call and showing this position

Re: [Cocci] kzfree script

2020-10-02 Thread Julia Lawall
On Fri, 2 Oct 2020, Denis Efremov wrote: > Hi, > > On 10/2/20 5:01 PM, Julia Lawall wrote: > > Denis, > > > > In the rule proposing kzfree_sensitive, I think it would be helpful to > > also highlight the memset line. > > What do you mean? It's "highlighted" in context mode. Do you mean adding