public inbox for smatch@vger.kernel.org
 help / color / mirror / Atom feed
 messages from 2017-05-10 20:54:38 to 2018-04-09 16:46:58 UTC [more...]

tracing back a variable
 2018-04-09 16:25 UTC 

Using smatch with meson
 2018-01-29 10:37 UTC  (2+ messages)

[PATCH 0/3] type fixes, printf warning
 2017-10-31 12:14 UTC  (6+ messages)
` [PATCH 1/3] smatch_type.c: fix type of pointer diff
` [PATCH 2/3] smatch_type.c: comparison expressions always have type int
` [PATCH 3/3] check_kernel_printf.c: warn about "%lx", (long)ptr

[PATCH 0/5] check_kernel_printf stuff
 2017-10-27 20:53 UTC  (13+ messages)
` [PATCH 1/5] check_kernel_printf.c: use get_real_base_type in typedef_lookup
` [PATCH 2/5] check_kernel_printf.c: remove copy-pastoed variable
` [PATCH 3/5] check_kernel_printf.c: check %pOF argument is struct device_node*
` [PATCH 4/5] check_kernel_printf.c: prepare for more tests for integer specifiers
` [PATCH 5/5] check_kernel_printf.c: warn about "%lx", (long)ptr

Tracking Implicit Dependencies
 2017-10-02 13:24 UTC  (10+ messages)

SMATCH indicates warning to almost all files in Linux Kernel + ARM
 2017-09-15  5:41 UTC  (4+ messages)

Hangs while building the cross function DB
 2017-08-28  7:43 UTC 

Can smatch detect this bug?
 2017-08-25  8:00 UTC 

sparse on scripts/kconfig/*.c
 2017-05-18  7:14 UTC  (5+ messages)

Fwd: [PATCH] Makefile: remove SMATCH_DATA smatch_data/kernel.balanced_funcs item
 2017-05-16 18:32 UTC 


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox