Powered by Linux
[PATCH 0/5] check_kernel_printf stuff — Semantic Matching Tool

[PATCH 0/5] check_kernel_printf stuff

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi Dan

Can I get you to look at the false positive issue in the last patch
before applying it? It's a very long time since I've done anything
with sparse/smatch, and I'm afraid I don't have the time to dig into
it (obviously, don't feel obliged; if it's not trivial then please
just drop the patch for now).

Tobin, you may be interested in this stuff, so you've been cc'ed.

Rasmus Villemoes (5):
  check_kernel_printf.c: use get_real_base_type in typedef_lookup
  check_kernel_printf.c: remove copy-pastoed variable
  check_kernel_printf.c: check %pOF argument is struct device_node*
  check_kernel_printf.c: prepare for more tests for integer specifiers
  check_kernel_printf.c: warn about "%lx", (long)ptr

 check_kernel_printf.c | 50 +++++++++++++++++++++++++++++++++++++++++++-------
 1 file changed, 43 insertions(+), 7 deletions(-)

-- 
2.11.0

--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux