Powered by Linux
[PATCH 0/9] some check_kernel_printf updates — Semantic Matching Tool

[PATCH 0/9] some check_kernel_printf updates

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

 



Hi Dan

Here's some lightly tested patches to check_kernel_printf. 1/9 should
go to sparse upstream (I'll send it a little later), but regardless of
whether and when they apply it I think it's appropriate for smatch.

Rasmus Villemoes (9):
  sparse: don't warn about unknown attributes
  check_kernel_printf.c: reorder flag defines
  check_kernel_printf.c: update struct printf_spec to kernel version
  check_kernel_printf.c: check for signed char versus %02x issue
  check_kernel_printf.c: remove some %pIS false positives
  check_kernel_printf.c: support %pC
  check_kernel_printf.c: support future %pgX
  check_kernel_printf.c: actually allow printk level via %c
  check_kernel_printf.c: check for redundant or confusing 0x prefix

 check_kernel_printf.c | 185 +++++++++++++++++++++++++++++++++++++++++---------
 lib.c                 |   2 +
 lib.h                 |   1 +
 parse.c               |   3 +-
 4 files changed, 158 insertions(+), 33 deletions(-)

-- 
2.6.1

--
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