coccinelle: api: kfree_sensitive: print memset position
authorDenis Efremov <efremov@linux.com>
Fri, 9 Oct 2020 12:54:53 +0000 (15:54 +0300)
committerJulia Lawall <Julia.Lawall@lip6.fr>
Sat, 10 Oct 2020 19:26:12 +0000 (21:26 +0200)
Print memset() call position in addition to the kfree() position to
ease issues identification.

Signed-off-by: Denis Efremov <efremov@linux.com>
Signed-off-by: Julia Lawall <julia.lawall@inria.fr>
scripts/coccinelle/api/kfree_sensitive.cocci

index e4a066a..8d980eb 100644 (file)
@@ -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))