kzfree script

From: Julia Lawall
Date: Fri Oct 02 2020 - 10:01:30 EST


Denis,

In the rule proposing kzfree_sensitive, I think it would be helpful to
also highlight the memset line.

julia