messages from 2017-05-10 20:54:38 to 2018-11-26 20:11:55 UTC [more...]
[PATCH 05/18] sparse: correctly handle "-D foo" and "-U foo". The former is from sparse upstream, but they didn't fix the latter for some reason
2018-11-26 9:18 UTC (7+ messages)
[PATCH] Introduce skipped_functions
2018-11-26 9:07 UTC
[PATCH 12/18] Add progname to sm_prefix()
2018-11-22 14:45 UTC
[PATCH 13/18] sparse: prefix output with progname
2018-11-22 14:43 UTC
[PATCH 04/18] Fix escape_newlines: we were not NIL-terminating the string properly, and were also mis-counting the loop indices
2018-11-22 11:40 UTC
[PATCH 14/18] Track sparse-level warnings and errors too, and respect them in smatch's exit code
2018-11-22 14:56 UTC
[PATCH 07/18] sparse: add -Wbig-constants
2018-11-22 18:48 UTC
[PATCH 02/18] sparse: define __x86_64; some software checks for this not __x86_64__
2018-11-21 17:18 UTC
[PATCH 01/18] Allow additional CFLAGS to be specified, e.g. "CFLAGS=-m64 make"
2018-11-21 16:59 UTC
[PATCH 11/18] Convert some sm_msg() into more specific reporting routines
2018-11-22 18:27 UTC
[PATCH 18/18] sparse: add -Wempty-character-constant
2018-11-23 13:15 UTC
[PATCH 09/18] Convert all sm_msg("warn:.." into sm_warning()
2018-11-22 17:57 UTC
[PATCH 08/18] Start to regularise error reporting. The idea is that parse errors and other internal errors are reported back in the exit code, while still reporting the context where needed
2018-11-22 13:31 UTC
[PATCH 17/18] don't try to parse silenced functions
2018-11-23 13:00 UTC
[PATCH 03/18] sparse: lib.c should handle being built 32-bit, compiling 64-bit, on x86
2018-11-21 18:08 UTC
[PATCH 16/18] Look across the entire compile line for smatch arguments. This makes smatch arguments much easier to provide in Makefiles, and sparse itself doesn't overlap
2018-11-23 12:17 UTC
[PATCH 10/18] Convert sm_msg() with an error: prefix into sm_error()
2018-11-22 18:07 UTC
[PATCH 06/18] sparse: add -Wno-non-ansi-function-declaration
2018-11-22 13:05 UTC
[PATCH 15/18] Add illumos projects. Add a new check type that looks for unchecked returns on *all* functions, mimicking the old behaviour of lint
2018-11-23 11:45 UTC
[xen 1/6] math: increase bounds and buffers
2018-08-17 11:42 UTC (14+ messages)
` [xen 2/6] user_data: add ends_with method
` [xen 3/6] user_data: match some Xen hypercalls
` [xen 4/6] user_data: match Xen copy_from_guest
` [xen 5/6] user_data: add register read function
` [xen 6/6] user_data: add hypercall sub calls
Smatch for Xen
2018-08-15 13:44 UTC (19+ messages)
` [PATCH 0/3] add support for mode __pointer__ & __byte__
` [PATCH 1/3] mode keywords don't need MOD_{CHAR,LONG,...}
` [PATCH 2/3] add support for mode __pointer__
` [PATCH 3/3] add support for mode __byte__
smatch validation tests fail
2018-08-06 9:53 UTC (2+ messages)
[PATCH v4 00/17] khwasan: kernel hardware assisted address sanitizer
2018-06-29 13:42 UTC (3+ messages)
uninitialized symbol 'xxxx' is too overzealous?
2018-05-28 7:45 UTC (6+ messages)
Checking analysis dependencies for “smatch”
2018-04-13 11:27 UTC
tracing back a variable
2018-04-10 11:12 UTC (3+ messages)
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
page: | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox