Re: kzfree script

[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 in the warning
messages?

Thanks,
Denis