messages from 2019-08-15 00:53:30 to 2022-03-30 21:49:02 UTC [more...]
[PATCH v3 0/2] Add a section for static analysis tools
2022-03-30 21:49 UTC
[PATCH v2 0/2] Add a section for static analysis tools
2022-03-30 19:30 UTC (10+ messages)
` [PATCH v2 1/2] Documentation: dev-tools: "
` [PATCH v2 2/2] Documentation: dev-tools: Enhance static analysis section with discussion
[PATCH] Documentation: dev-tools: Add a section for static analysis tools
2022-03-29 9:24 UTC (8+ messages)
` [cocci] "
alloc_page leaks tracing
2022-03-25 6:48 UTC (5+ messages)
[PATCH] media: lirc: suppress false positive smatch warning
2022-03-10 14:49 UTC (3+ messages)
[PATCH] Quick trial on tracing host inputs
2022-03-08 12:38 UTC (4+ messages)
[PATCH 0/1] New smatch pattern for Confidential Cloud Computing
2022-03-08 11:12 UTC (4+ messages)
` [PATCH 1/1] check_host_input: add a pattern
FW: [error27/smatch] smatch misidentifies uninitialized variable after switch with no default: (Issue #3)
2022-01-10 12:42 UTC (2+ messages)
[PATCH v1 1/3] media: staging: tegra-vde: Support reference picture marking
2021-11-19 16:14 UTC (2+ messages)
offline for the next two weeks
2021-10-16 19:32 UTC
BKM on generating a call graph for smatch warnings
2021-09-14 6:06 UTC (3+ messages)
Smatch v1.72 released
2021-09-01 15:23 UTC
[PATCH] check_netdev_priv: warn about using netdev priv data after free_netdev
2021-08-04 14:55 UTC (8+ messages)
[PATCH] check_do_while_loop_limit: implements checker for do_while loops
2021-07-27 9:39 UTC (2+ messages)
[PATCH] check_do_while_loop_limit: implements checker for do_while loops
2021-07-26 13:50 UTC (2+ messages)
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:57 UTC (2+ messages)
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:55 UTC
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:47 UTC
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:27 UTC (2+ messages)
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-21 11:25 UTC
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-21 11:21 UTC (2+ messages)
[PATCH] extra: Fix handle_bit_test so that null set condition is taken care of
2021-07-21 10:51 UTC
[PATCH] check_iterator: Warn about end of loop tests for list_for_each_entry
2021-07-20 19:39 UTC
[PATCH] power_of_two: Track variables which are powers of two
2021-07-20 19:47 UTC
[PATCH 2/2] extra: Fix handle_bit_test so that null set condition is taken care of
2021-07-13 18:05 UTC
[PATCH 1/2] extra: Fix false output of handle_AND_op and handle_AND_condition
2021-07-13 15:35 UTC (3+ messages)
` [PATCH 2/2] extra: Fix handle_bit_test so that null set condition is taken care of
[PATCH 1/2] extra: Fix false output of handle_AND_op and handle_AND_condition
2021-07-12 13:57 UTC (4+ messages)
` [PATCH 2/2] [PATCH 2/2] Fix handle_bit_test so that null set condition is taken care of
[PATCH 1/2] extra: Fix false output of handle_AND_op and handle_AND_condition
2021-07-12 12:59 UTC (4+ messages)
` [PATCH 2/2] Fix handle_bit_test so that null set condition is taken care of
[PATCH] extra: Fixed false output of handle_AND_op and handle_AND_condition
2021-07-12 7:30 UTC (2+ messages)
[PATCH] extra: Fixed handle_bit_test so that null set condition is taken care of
2021-07-12 6:36 UTC (3+ messages)
Retrieving status of local variables
2021-05-12 19:25 UTC (4+ messages)
Smatch mailing list archives
2021-05-11 14:10 UTC (10+ messages)
possible incompletely defined array smatch test addition?
2021-04-15 14:17 UTC
compiling smatch 1.71
2021-04-01 11:09 UTC (3+ messages)
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 (3+ messages)
noreturn attribute doesn't work in smatch
2019-08-22 15:29 UTC (6+ 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