messages from 2018-08-14 17:52:32 to 2021-04-01 10:27:53 UTC [more...]
compiling smatch 1.71
2021-04-01 10:26 UTC
smatch and copy_{to,from}_user return values
2021-03-10 10:01 UTC (5+ messages)
False Positive return_cast check
2021-02-15 16:04 UTC (3+ messages)
smatch v1.71 released
2021-01-28 13:54 UTC
smatch v1.71 released
2021-01-26 11:30 UTC (2+ messages)
Intel i40e code finds smatch bug
2021-01-25 16:41 UTC (10+ messages)
[PATCH] Makefile: Install database in a share directory
2020-08-24 8:54 UTC (4+ messages)
[PATCH] Set __STDC_VERSION__ for std89
2020-07-23 0:11 UTC (2+ messages)
[PATCH] Check for NULL stmt in check_all_func_returns
2020-05-12 14:08 UTC (2+ messages)
smatch: misreported 'mask and shift to zero'
2020-02-11 14:46 UTC (2+ messages)
Misleading messages from match 0.6.1-rc1
2020-02-05 8:07 UTC (3+ messages)
Patch series: pre-defines update
2020-01-23 10:57 UTC (9+ messages)
` [PATCH 1/8] allow to test the standard version outside of lib.c
` [PATCH 2/8] alt definition for STANDARD_GNU89 & friends
` [PATCH 3/8] add predefine_nostd()
` [PATCH 4/8] define __PRAGMA_REDEFINE_EXTNAME
` [PATCH 5/8] add necessary defined for sunos-derived systems
` [PATCH 6/8] pre-define __unix__ and friends
` [PATCH 7/8] correct sparcv9 defines
` [PATCH 8/8] predefine "i386" if needed
[PATCH] arch: add missing predefines: __amd64 & __amd64__
2020-01-22 18:06 UTC (4+ messages)
[PATCH] disable warning about long double in unions
2020-01-06 12:25 UTC
[PATCH 1/2] Correct FP minimum handling
2020-01-06 11:57 UTC
[PATCH] Use sm_debug for a debug message
2019-12-19 15:31 UTC
sval_type_max() sadness
2019-12-12 16:55 UTC (2+ messages)
[RFC PATCH 0/7] Tagged Pointer Detection
2019-12-05 17:24 UTC (21+ messages)
` [RFC PATCH 1/7] build: Add '-lm' build flag
` [RFC PATCH 2/7] smdb.py: remove undocumented test command
` [RFC PATCH 3/7] arm64: add check for comparison against tagged address
` [RFC PATCH 4/7] smdb.py: add find_tagged and parse_warns_tagged commands
` [RFC PATCH 5/7] kernel_user_data: track parameter __untagged annotations
` [RFC PATCH 6/7] smdb.py: filter out __untagged from find_tagged results
` [RFC PATCH 7/7] Documentation: add guide for tagged addresses
[PATCH] function attributes apply to the function declaration
2019-11-16 22:50 UTC (3+ messages)
check_signed.c false negative
2019-11-13 17:52 UTC (3+ messages)
[PATCH] Add -Wexternal-function-has-definition
2019-11-13 16:51 UTC
[PATCH] Remove bogus option from sparse manual
2019-11-13 16:50 UTC
[PATCH] Fix divide by zero message
2019-11-12 22:57 UTC
[PATCH] Add check_all_func_returns
2019-11-12 22:56 UTC
[PATCH] unreachable code should use sm_warning()
2019-11-12 22:57 UTC
[PATCH] Fix unused variable in macro_table.c
2019-11-12 22:57 UTC
[PATCH] Implement memory tracker for Solarish systems
2019-11-12 22:57 UTC
[PATCH] Set smatch to output to stdout
2019-11-12 22:57 UTC
[PATCH] Remove unused variable from check_memset.c
2019-11-12 22:57 UTC
[PATCH] Clean up unused -W options
2019-11-12 22:57 UTC
[PATCH] Add check_cmn_err
2019-11-12 22:56 UTC
[PATCH 0/4] Miscellaneous fixes
2019-10-07 14:20 UTC (7+ messages)
` [PATCH 1/4] smdb.py: fix handling of capped ranges
` [PATCH 2/4] smdb.py: fix param tracking now that we use $ instead of p
` [PATCH 3/4] user_data: Recognize uaccess for non-x86 architectures
` [PATCH 4/4] kchecker: remove debug
noreturn attribute doesn't work in smatch
2019-08-22 15:29 UTC (6+ messages)
Packed struct size issue
2019-07-18 10:50 UTC (3+ messages)
Differing range values for same callsite/param
2019-07-10 12:29 UTC (4+ messages)
Address space of struct member
2019-07-10 11:16 UTC (2+ messages)
[RFC] arm64: Detecting tagged addresses
2019-06-29 7:17 UTC
[PATCH] kernel: Add support for cross-build kernels
2019-06-27 14:42 UTC (2+ messages)
[PATCH] db/smdb: add info command with type filtering
2019-06-21 14:59 UTC (3+ messages)
Detecting user data on base types
2019-06-13 10:41 UTC (13+ messages)
Smatch context checking feature ?
2019-06-04 11:35 UTC (2+ messages)
passing zero to PTR_ERR() warnings
2019-05-09 13:51 UTC
[kernel-build 1/2] kernel: modify build via env
2019-05-09 10:03 UTC (4+ messages)
` [kernel-build 2/2] kernel: forward build failures
I would like to contribute to smatch
2019-05-03 19:32 UTC (2+ messages)
Odd smatch issue?
2019-01-14 14:51 UTC (6+ messages)
[PATCH] Remove -Wempty-character-constant
2018-12-06 11:15 UTC
[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-29 10:09 UTC (9+ messages)
` Sync smatch with sparse?
[PATCH] Look across the entire compile line for smatch arguments
2018-11-27 20:17 UTC
[PATCH 01/12] sparse: correctly handle "-D foo" and "-U foo"
2018-11-27 10:53 UTC (12+ messages)
` [PATCH 02/12] sparse: add -Wno-non-ansi-function-declaration
` [PATCH 03/12] sparse: add -Wbig-constants
` [PATCH 04/12] sparse: add -Wempty-character-constant
` [PATCH 05/12] Look across the entire compile line for smatch arguments
` [PATCH 06/12] Regularise error reporting
` [PATCH 07/12] Convert all sm_msg("warn:.." into sm_warning()
` [PATCH 08/12] Convert sm_msg() with an error: prefix into sm_error()
` [PATCH 09/12] Convert some sm_msg() into more specific reporting routines
` [PATCH 10/12] Track sparse-level warnings and errors too, and respect them in smatch's exit code
` [PATCH 11/12] Add illumos projects
` [PATCH 12/12] Add check_all_func_returns
[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 (12+ messages)
` [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
Smatch for Xen
2018-08-15 13:44 UTC (13+ messages)
page: next (older) | 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