Makefile question
2024-12-05 13:32 UTC (4+ messages)
apparent bug about check_free_strict
2024-11-18 15:27 UTC (4+ messages)
update check_cmn_err
2024-11-18 11:32 UTC (5+ messages)
Smatch - possible regression in unreachable code check
2024-10-29 13:40 UTC (3+ messages)
check locking re-write
2024-10-21 6:58 UTC (3+ messages)
[PATCH 0/2] Fix typos
2024-10-18 9:50 UTC (5+ messages)
` [PATCH 1/2] smatch: fix typos
` [PATCH 2/2] "
[PATCH 1/2] doc: fix typos
2024-10-16 16:26 UTC (3+ messages)
` [PATCH 2/2] scripts: "
smatch regression - after recent update
2024-10-14 10:43 UTC (3+ messages)
Question on a error handling related warning
2024-10-09 11:05 UTC
Question on a error handling related warning
2024-10-09 5:45 UTC
Bug-report: Smatch treats scoped_guard() as unreachable code ?
2024-08-19 19:37 UTC (3+ messages)
FP with unreachable code check
2024-08-07 12:23 UTC (2+ messages)
False positive due to MACROs in nfsd code
2024-08-07 12:19 UTC (2+ messages)
min/max() changes
2024-08-07 12:14 UTC (8+ messages)
Treat macro call like ordinary functions in smatch
2024-07-01 14:10 UTC (6+ messages)
[PATCH 0/2] Support custom build directory for kernel
2024-06-19 7:36 UTC (4+ messages)
` [PATCH 1/2] kchecker: Fix --outfile handling
` [PATCH 2/2] kernel: Add support for custom build directory
[PATCH] sentinel_ctltable: Add a check for sentinel elements in ctl_table arrays
2024-06-14 13:28 UTC (2+ messages)
How do I make a contribution to the automatic analysis done on the kernel
2024-06-04 15:48 UTC (3+ messages)
likely/unlikely usage validation
2024-05-29 14:36 UTC (9+ messages)
[PATCH] pre-proc: use uname() syscall instead of invoking uname
2024-05-10 17:41 UTC (3+ messages)
About building the database for smatch
2024-04-08 5:42 UTC (2+ messages)
[PATCH 0/3] Documentation/smatch: RST conversion and fixes
2024-04-02 14:33 UTC (5+ messages)
` [PATCH 1/3] Documentation/smatch: fix paths in the examples
` [PATCH 2/3] Documentation/smatch: convert to RST
` [PATCH 3/3] Documentation/smatch: fix typo in submitting-patches.md
[PATCH v2 net] ice: Fix freeing uninitialized pointers
2024-03-24 13:22 UTC (3+ messages)
` [v2] "
about using smatch in all debian C code
2024-03-22 7:55 UTC (32+ messages)
` "
` "
` "
` "
` "
` "
` "
` "
` "
` "
` "
[PATCH] kernel_user_data: add ceph_decode_n() as returning user data
2024-03-20 11:45 UTC (2+ messages)
Improving data processing with prepared SQL statements
2024-03-18 14:56 UTC
Growing development interests for Smatch issues?
2024-03-18 11:30 UTC
Growing benefits from the Smatch cross function database?
2024-03-17 9:33 UTC
smatch and locking checks
2024-03-15 10:56 UTC (3+ messages)
[bug report] bcachefs: missing error checks for bio_alloc_bioset()
2024-02-22 0:02 UTC (4+ messages)
[PATCH] untracked_param: fix compilation errors with GCC 14
2024-01-22 6:25 UTC (2+ messages)
PSA: this list has moved to new vger infra (no action required)
2023-12-08 18:25 UTC
[PATCH smatch] check_uninitialized_kobj: Add a new check
2023-12-01 10:48 UTC (3+ messages)
sparse feature request: nocast integer types
2023-11-27 17:26 UTC (3+ messages)
PSA: smatch is now archived on lore.kernel.org
2023-11-23 21:40 UTC
about using smatch in all debian C code(the previous email forgot to cc Dan，please ignore it)
2023-11-09 5:36 UTC
Kernel config usage
2023-11-02 11:21 UTC (3+ messages)
[PATCH v2] check_unwind: Add request/release_firmware to the function table
2023-11-01 7:36 UTC (2+ messages)
[PATCH] check_unwind: Add request/release_firmware to the function table
2023-10-31 15:22 UTC (3+ messages)
Need help with understanding format in check_unwind.c
2023-10-30 11:18 UTC (4+ messages)
[PATCH] check_ida_alloc: Improve check to not warn when min is '1'
2023-10-26 12:27 UTC (2+ messages)
List some ideas about Smatch as public projects in our open source club
2023-10-24 5:08 UTC (3+ messages)
Smatch or Coccinelle for BPF static code analysis
2023-01-18 15:46 UTC (2+ messages)
hugetlb BUILD REGRESSION in linux-next20221121
2022-11-29 17:23 UTC (4+ messages)
DB changes and job changes
2022-10-27 15:12 UTC
[PATCH 1/2] host_data: export checking for host function name/param
2022-10-03 6:42 UTC (2+ messages)
` [PATCH 2/2] check_host_input: add a new pattern
[PATCH] allocation: Track the size of allocated elements
2022-08-26 10:33 UTC (4+ messages)
[PATCH] allocation: Add some kv... variants
2022-08-25 17:45 UTC
[PATCH] continue_vs_break: Fix some style issue
2022-08-25 17:38 UTC
[PATCH 1/2] smatch_allocations: Record the function that allocates memory
2022-08-16 8:12 UTC (4+ messages)
` [PATCH 2/2] check_freeing_devm: Take advantage of the new add_allocation hook
[PATCH] smatch_allocations: Add devm_kmemdup() to list
2022-08-15 16:13 UTC
[PATCH] smatch_allocations: Remove dma_alloc_consistent() from the list
2022-08-15 11:45 UTC (2+ messages)
[PATCH] smatch_allocations: Give a hint about dma_alloc_(attrs|coherent)
2022-08-15 11:42 UTC (2+ messages)
[PATCH] smatch_allocations: Fix and improve the kernel_alloc_funcs list
2022-08-15 8:14 UTC
Smatch v1.73 released
2022-08-10 10:59 UTC
[PATCH] smatch_kernel_host_data: enable additional debug
2022-06-28 8:27 UTC (5+ messages)
[PATCH] check_ida_alloc: Add a new check to spot invalid conversion from ida_simple_get()
2022-06-10 10:25 UTC (2+ messages)
[PATCH] check_dma_mapping_error: Remove check for pci_dma_mapping_error()
2022-06-01 15:25 UTC (2+ messages)
[PATCH] check_release_resource: Remove some test about functions that are no more part of linux
2022-05-31 11:12 UTC (2+ messages)
[PATCH] check_checking_for_null_instead_of_err_ptr: Save a few cycles
2022-05-30 20:02 UTC
new locking check
2022-05-30 5:49 UTC
[PATCH] check_freeing_devm: Report the correct function name that triggered the warning
2022-05-27 6:04 UTC (2+ messages)
[PATCH] Remove pci_alloc_consistent() and pci_alloc_coherent() checks
2022-05-26 14:40 UTC (2+ messages)
[RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned
2022-05-26 14:22 UTC (9+ messages)
[PATCH] check_all_func_returns: Fix a test against "vfprintf"
2022-05-26 11:56 UTC (2+ messages)
page: next (older)
- 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;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).