2024-05-10 17:41 Re: [PATCH] pre-proc: use uname() syscall instead of invoking uname 3+ messages
2024-04-08 5:42 Re: About building the database for smatch 2+ messages
2024-04-02 14:33 Re: [PATCH 0/3] Documentation/smatch: RST conversion and fixes 5+ messages
2024-03-24 13:22 Re: [v2] ice: Fix freeing uninitialized pointers 3+ messages
2024-03-22 7:55 Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code 32+ messages
2024-03-20 11:45 Re: [PATCH] kernel_user_data: add ceph_decode_n() as returning user data 2+ messages
2024-03-18 14:56 Improving data processing with prepared SQL statements
2024-03-18 11:30 Growing development interests for Smatch issues?
2024-03-17 9:33 Growing benefits from the Smatch cross function database?
2024-03-15 10:56 Re: smatch and locking checks 3+ messages
2024-02-22 0:02 Re: [bug report] bcachefs: missing error checks for bio_alloc_bioset() 4+ messages
2024-01-22 6:25 Re: [PATCH] untracked_param: fix compilation errors with GCC 14 2+ messages
2023-12-08 18:25 PSA: this list has moved to new vger infra (no action required)
2023-12-01 10:48 Re: [PATCH smatch] check_uninitialized_kobj: Add a new check 3+ messages
2023-11-27 17:26 Re: sparse feature request: nocast integer types 3+ messages
2023-11-23 21:40 PSA: smatch is now archived on lore.kernel.org
2023-11-09 5:36 about using smatch in all debian C code(the previous email forgot to cc Dan，please ignore it)
2023-11-02 11:21 Re: Kernel config usage 3+ messages
2023-11-01 7:36 Re: [PATCH v2] check_unwind: Add request/release_firmware to the function table 2+ messages
2023-10-31 15:22 Re: [PATCH] check_unwind: Add request/release_firmware to the function table 3+ messages
2023-10-30 11:18 Re: Need help with understanding format in check_unwind.c 4+ messages
2023-10-26 12:27 Re: [PATCH] check_ida_alloc: Improve check to not warn when min is '1' 2+ messages
2023-10-24 5:08 Re: List some ideas about Smatch as public projects in our open source club 3+ messages
2023-01-18 15:46 Re: Smatch or Coccinelle for BPF static code analysis 2+ messages
2022-11-29 17:23 Re: hugetlb BUILD REGRESSION in linux-next20221121 4+ messages
2022-10-27 15:12 DB changes and job changes
2022-10-03 6:42 [PATCH 2/2] check_host_input: add a new pattern 2+ messages
2022-08-26 10:33 Re: [PATCH] allocation: Track the size of allocated elements 4+ messages
2022-08-25 17:45 [PATCH] allocation: Add some kv... variants
2022-08-25 17:38 [PATCH] continue_vs_break: Fix some style issue
2022-08-16 8:12 Re: [PATCH 2/2] check_freeing_devm: Take advantage of the new add_allocation hook. 4+ messages
2022-08-15 16:13 [PATCH] smatch_allocations: Add devm_kmemdup() to list
2022-08-15 11:45 Re: [PATCH] smatch_allocations: Remove dma_alloc_consistent() from the list 2+ messages
2022-08-15 11:42 Re: [PATCH] smatch_allocations: Give a hint about dma_alloc_(attrs|coherent) 2+ messages
2022-08-15 8:14 [PATCH] smatch_allocations: Fix and improve the kernel_alloc_funcs list
2022-08-10 10:59 Smatch v1.73 released
2022-06-28 8:27 RE: [PATCH] smatch_kernel_host_data: enable additional debug 5+ messages
2022-06-10 10:25 Re: [PATCH] check_ida_alloc: Add a new check to spot invalid conversion from ida_simple_get() 2+ messages
2022-06-01 15:25 Re: [PATCH] check_dma_mapping_error: Remove check for pci_dma_mapping_error() 2+ messages
2022-05-31 11:12 Re: [PATCH] check_release_resource: Remove some test about functions that are no more part of linux 2+ messages
2022-05-30 20:02 [PATCH] check_checking_for_null_instead_of_err_ptr: Save a few cycles
2022-05-30 5:49 new locking check
2022-05-27 6:04 Re: [PATCH] check_freeing_devm: Report the correct function name that triggered the warning 2+ messages
2022-05-26 14:40 Re: [PATCH] Remove pci_alloc_consistent() and pci_alloc_coherent() checks 2+ messages
2022-05-26 14:22 Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned 9+ messages
2022-05-26 11:56 Re: [PATCH] check_all_func_returns: Fix a test against "vfprintf" 2+ messages
2022-05-26 11:55 Re: [PATCH] check_freeing_devm: Add some new devm_ function 2+ messages
2022-05-26 10:17 Re: [PATCH] check_release_resource: Use INT_PTR instead of hand writing it 2+ messages
2022-05-26 5:15 [PATCH] check_bogus_irqrestore: Preparation work in order to add more functions
2022-05-26 5:02 [PATCH] check_kvmalloc_NOFS: Report the correct function name that triggered the warning
2022-05-23 13:00 Re: [PATCH] kmalloc_wrong_size: Preparation work in order to add more functions 2+ messages
2022-05-23 12:13 Re: [PATCH] test_bit: Add some more functions to test. 2+ messages
2022-05-21 9:49 [PATCH] test_bit: Report the correct function name that triggered the warning
2022-05-17 18:43 RE: [PATCH] check_spectre: Add a switch to optionally use host data 5+ messages
2022-05-15 7:55 [PATCH] Add tracking of host/VMM data for confidential computing
2022-04-05 15:50 Re: [PATCH v3 1/2] Documentation: dev-tools: Add a section for static analysis tools 8+ messages
2022-04-01 0:19 Re: [PATCH v2 2/2] Documentation: dev-tools: Enhance static analysis section with discussion 13+ messages
2022-03-29 9:24 Re: [cocci] [PATCH] Documentation: dev-tools: Add a section for static analysis tools 8+ messages
2022-03-25 6:48 Re: alloc_page leaks tracing 5+ messages
2022-03-10 14:49 Re: [PATCH] media: lirc: suppress false positive smatch warning 3+ messages
2022-03-08 12:38 Re: [PATCH] Quick trial on tracing host inputs 4+ messages
2022-03-08 11:12 RE: [PATCH 1/1] check_host_input: add a pattern 4+ messages
2022-01-10 12:42 Re: FW: [error27/smatch] smatch misidentifies uninitialized variable after switch with no default: (Issue #3) 2+ messages
2021-11-19 16:14 Re: [PATCH v1 1/3] media: staging: tegra-vde: Support reference picture marking 2+ messages
2021-10-16 19:32 offline for the next two weeks
2021-09-14 6:06 RE: BKM on generating a call graph for smatch warnings 3+ messages
2021-09-01 15:23 Smatch v1.72 released
2021-08-04 14:55 Re: [PATCH] check_netdev_priv: warn about using netdev priv data after free_netdev 8+ messages
2021-07-27 9:39 Re: [PATCH] check_do_while_loop_limit: implements checker for do_while loops 2+ messages
2021-07-26 13:50 Re: [PATCH] check_do_while_loop_limit: implements checker for do_while loops 2+ messages
2021-07-22 8:57 Re: [PATCH] bits_clear and bits_set: Track bits cleared and set inside a function 2+ messages
2021-07-22 8:55 [PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:47 [PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:27 Re: [PATCH] bits_clear and bits_set: Track bits cleared and set inside a function 2+ messages
2021-07-21 11:25 [PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-21 11:21 Re: [PATCH] bits_clear and bits_set: Track bits cleared and set inside a function 2+ messages
2021-07-21 10:51 [PATCH] extra: Fix handle_bit_test so that null set condition is taken care of
2021-07-20 19:47 [PATCH] power_of_two: Track variables which are powers of two
2021-07-20 19:39 [PATCH] check_iterator: Warn about end of loop tests for list_for_each_entry
2021-07-13 18:05 [PATCH 2/2] extra: Fix handle_bit_test so that null set condition is taken care of
2021-07-13 15:35 Re: [PATCH 2/2] extra: Fix handle_bit_test so that null set condition is taken care of 3+ messages
2021-07-12 13:57 Re: [PATCH 2/2] [PATCH 2/2] Fix handle_bit_test so that null set condition is taken care of 4+ messages
2021-07-12 12:59 Re: [PATCH 2/2] Fix handle_bit_test so that null set condition is taken care of 4+ messages
2021-07-12 7:30 Re: [PATCH] extra: Fixed false output of handle_AND_op and handle_AND_condition 2+ messages
2021-07-12 6:36 Re: [PATCH] extra: Fixed handle_bit_test so that null set condition is taken care of 3+ messages
2021-05-12 19:25 Re: Retrieving status of local variables 4+ messages
2021-05-11 14:10 RE: Smatch mailing list archives 10+ messages
2021-04-15 14:17 possible incompletely defined array smatch test addition?
2021-04-01 11:09 Re: compiling smatch 1.71 3+ messages
2021-03-10 10:01 Re: smatch and copy_{to,from}_user return values 5+ messages
2021-02-15 16:04 Re: False Positive return_cast check 3+ messages
2021-01-28 13:54 smatch v1.71 released
2021-01-26 11:30 Re: smatch v1.71 released 2+ messages
2021-01-25 16:41 Re: Intel i40e code finds smatch bug 10+ messages
2020-08-24 8:54 Re: [PATCH] Makefile: Install database in a share directory 4+ messages
2020-07-23 0:11 Re: [PATCH] Set __STDC_VERSION__ for std89 2+ messages
2020-05-12 14:08 Re: [PATCH] Check for NULL stmt in check_all_func_returns 2+ messages
2020-02-11 14:46 Re: smatch: misreported 'mask and shift to zero' 2+ messages
2020-02-05 8:07 Re: Misleading messages from match 0.6.1-rc1 3+ messages
2020-01-23 10:57 [PATCH 8/8] predefine "i386" if needed 9+ messages
2020-01-22 18:06 Re: [PATCH] arch: add missing predefines: __amd64 & __amd64__ 4+ messages
2020-01-06 12:25 [PATCH] disable warning about long double in unions
2020-01-06 11:57 [PATCH 1/2] Correct FP minimum handling
2019-12-19 15:31 Re: [PATCH] Use sm_debug for a debug message
2019-12-12 16:55 Re: sval_type_max() sadness 2+ messages
2019-12-05 17:24 Re: [RFC PATCH 3/7] arm64: add check for comparison against tagged address 21+ messages
2019-11-16 22:50 Re: [PATCH] function attributes apply to the function declaration 3+ messages
2019-11-13 17:52 Re: check_signed.c false negative 3+ messages
2019-11-13 16:51 [PATCH] Add -Wexternal-function-has-definition
2019-11-13 16:50 [PATCH] Remove bogus option from sparse manual.
2019-11-12 22:57 [PATCH] unreachable code should use sm_warning()
2019-11-12 22:57 [PATCH] Set smatch to output to stdout
2019-11-12 22:57 [PATCH] Remove unused variable from check_memset.c
2019-11-12 22:57 [PATCH] Implement memory tracker for Solarish systems
2019-11-12 22:57 [PATCH] Fix unused variable in macro_table.c
2019-11-12 22:57 [PATCH] Fix divide by zero message
2019-11-12 22:57 [PATCH] Clean up unused -W options
2019-11-12 22:56 [PATCH] Add check_cmn_err
2019-11-12 22:56 [PATCH] Add check_all_func_returns
2019-10-07 14:20 Re: [PATCH 0/4] Miscellaneous fixes 7+ messages
2019-08-22 15:29 Re: noreturn attribute doesn't work in smatch 6+ messages
2019-07-18 10:50 Re: Packed struct size issue 3+ messages
2019-07-10 12:29 Re: Differing range values for same callsite/param 4+ messages
2019-07-10 11:16 Address space of struct member 2+ messages
2019-06-29 7:17 Re: [RFC] arm64: Detecting tagged addresses
2019-06-27 14:42 Re: [PATCH] kernel: Add support for cross-build kernels 2+ messages
2019-06-21 14:59 Re: [PATCH] db/smdb: add info command with type filtering 3+ messages
2019-06-13 10:41 Re: Detecting user data on base types 13+ messages
2019-06-04 11:35 Re: Smatch context checking feature ? 2+ messages
2019-05-09 13:51 passing zero to PTR_ERR() warnings
2019-05-09 10:03 Re: [kernel-build 2/2] kernel: forward build failures 4+ messages
2019-05-03 19:32 Re: I would like to contribute to smatch 2+ messages
2019-01-14 14:51 Re: Odd smatch issue? 6+ messages
2018-12-06 11:15 [PATCH] Remove -Wempty-character-constant
2018-11-29 10:09 Re: Sync smatch with sparse? 9+ messages
2018-11-27 20:17 [PATCH] Look across the entire compile line for smatch arguments
2018-11-27 10:53 [PATCH 12/12] Add check_all_func_returns 12+ messages
2018-11-26 9:07 [PATCH] Introduce skipped_functions
2018-11-23 13:15 [PATCH 18/18] sparse: add -Wempty-character-constant
2018-11-23 13:00 [PATCH 17/18] don't try to parse silenced functions
2018-11-23 12:17 [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 11:45 [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-22 18:48 [PATCH 07/18] sparse: add -Wbig-constants
2018-11-22 18:27 [PATCH 11/18] Convert some sm_msg() into more specific reporting routines.
2018-11-22 18:07 [PATCH 10/18] Convert sm_msg() with an error: prefix into sm_error()
2018-11-22 17:57 [PATCH 09/18] Convert all sm_msg("warn:.." into sm_warning()
2018-11-22 14:56 [PATCH 14/18] Track sparse-level warnings and errors too, and respect them in smatch's exit code.
2018-11-22 14:45 [PATCH 12/18] Add progname to sm_prefix()
2018-11-22 14:43 [PATCH 13/18] sparse: prefix output with progname
2018-11-22 13:31 [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:05 [PATCH 06/18] sparse: add -Wno-non-ansi-function-declaration
2018-11-22 11:40 [PATCH 04/18] Fix escape_newlines: we were not NIL-terminating the string properly, and were also mis-counting the loop indices.
2018-11-21 18:08 [PATCH 03/18] sparse: lib.c should handle being built 32-bit, compiling 64-bit, on x86.
2018-11-21 17:18 [PATCH 02/18] sparse: define __x86_64; some software checks for this not __x86_64__
2018-11-21 16:59 [PATCH 01/18] Allow additional CFLAGS to be specified, e.g. "CFLAGS=-m64 make"
2018-08-17 11:42 Re: [xen 1/6] math: increase bounds and buffers 14+ messages
2018-08-15 13:44 Re: Smatch for Xen 19+ messages
2018-08-06 9:53 Re: smatch validation tests fail 2+ messages
2018-06-29 13:42 Re: [PATCH v4 00/17] khwasan: kernel hardware assisted address sanitizer 3+ messages
2018-05-28 7:45 Re: uninitialized symbol 'xxxx' is too overzealous? 6+ messages
2018-04-13 11:27 Re: Checking analysis dependencies for “smatch”
2018-04-10 11:12 Re: tracing back a variable 3+ messages
2018-01-29 10:37 Re: Using smatch with meson 2+ messages
2017-10-31 12:14 Re: [PATCH 2/3] smatch_type.c: comparison expressions always have type int 6+ messages
2017-10-27 20:53 Re: [PATCH 5/5] check_kernel_printf.c: warn about "%lx", (long)ptr 13+ messages
2017-10-02 13:24 Re: Tracking Implicit Dependencies 10+ messages
2017-09-15 5:41 Re: SMATCH indicates warning to almost all files in Linux Kernel + ARM 4+ messages
2017-08-28 7:43 Hangs while building the cross function DB
2017-08-25 8:00 Re: Can smatch detect this bug?
2017-05-18 7:14 Re: sparse on scripts/kconfig/*.c 5+ messages
2017-05-16 18:32 Fwd: [PATCH] Makefile: remove SMATCH_DATA smatch_data/kernel.balanced_funcs item
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).