Commit 28c185a8 authored by Denis Efremov's avatar Denis Efremov Committed by Julia Lawall
Browse files

coccinelle: api: kfree_sensitive: print memset position 



Print memset() call position in addition to the kfree() position to
ease issues identification.

Signed-off-by: default avatarDenis Efremov <efremov@linux.com>
Signed-off-by: default avatarJulia Lawall <julia.lawall@inria.fr>
parent 7b36c139

scripts/coccinelle/api/kfree_sensitive.cocci

+6 −4
Original line number Diff line number Diff line
@@ -85,14 +85,16 @@ type T; 


@script:python depends on report@

p << r.p;

m << r.m;

@@



coccilib.report.print_report(p[0],

  "WARNING: opportunity for kfree_sensitive/kvfree_sensitive")

msg = "WARNING opportunity for kfree_sensitive/kvfree_sensitive (memset at line %s)"

coccilib.report.print_report(p[0], msg % (m[0].line))



@script:python depends on org@

p << r.p;

m << r.m;

@@



coccilib.org.print_todo(p[0],

  "WARNING: opportunity for kfree_sensitive/kvfree_sensitive")
 
msg = "WARNING opportunity for kfree_sensitive/kvfree_sensitive (memset at line %s)"

coccilib.org.print_todo(p[0], msg % (m[0].line))

CRA Git | Maintained and supported by SUSTech CRA and CCSE