| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-ID: <1313928777.18505.2.camel@localhost.localdomain> Date: Sun, 21 Aug 2011 14:12:54 +0200 From: Thomas Meyer <thomas@...3r.de> To: Linux Kernel Mailing List <linux-kernel@...r.kernel.org> Cc: Julia Lawall <julia@...u.dk> Subject: [PATCH] check for get/put_cpu() imbalances From: Thomas Meyer <thomas@...3r.de> Semantic patch that checks if every get_cpu() has a corresponding put_cpu(). Signed-off-by: Thomas Meyer <thomas@...3r.de> --- scripts/coccinelle/misc/getput_cpu.cocci | 24 ++++++++++++++++++++++++ 1 files changed, 24 insertions(+), 0 deletions(-) create mode 100644 scripts/coccinelle/misc/getput_cpu.cocci diff --git a/scripts/coccinelle/misc/getput_cpu.cocci b/scripts/coccinelle/misc/getput_cpu.cocci new file mode 100644 index 0000000..8f76153 --- /dev/null +++ b/scripts/coccinelle/misc/getput_cpu.cocci @@ -0,0 +1,24 @@ +/// Check for get/put_cpu() imbalances +/// +// Confidence: Low +// Copyright: (C) 2011 Thomas Meyer +// URL: +// Comments: +// Options: -no_includes -include_headers + +virtual report + +@r1 depends on report@ +position p; +@@ + +* get_cpu()@p +... when != put_cpu() +? get_cpu() + +@...ipt:python depends on report@ +p << r1.p; +@@ + +msg="WARNING: Possible missing put_cpu()!" +coccilib.report.print_report(p[0], msg) -- 1.7.6 -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@...r.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists