Semantic Matching Tool
[Prev Page][Next Page]
- apparent bug about check_free_strict,
Toomas Soome
- update check_cmn_err,
Toomas Soome
- Smatch - possible regression in unreachable code check,
Harshit Mogalapalli
- [PATCH 0/2] Fix typos,
Andrew Kreimer
- [PATCH 1/2] doc: fix typos,
Andrew Kreimer
- smatch regression - after recent update,
Harshit Mogalapalli
- check locking re-write,
Dan Carpenter
- Question on a error handling related warning,
Harshit Mogalapalli
- Bug-report: Smatch treats scoped_guard() as unreachable code ?,
Harshit Mogalapalli
- FP with unreachable code check,
Harshit Mogalapalli
- False positive due to MACROs in nfsd code,
Harshit Mogalapalli
- min/max() changes,
Dan Carpenter
- Re: Treat macro call like ordinary functions in smatch.,
Dan Carpenter
- [PATCH 0/2] Support custom build directory for kernel,
Cristian Ciocaltea
- [PATCH] sentinel_ctltable: Add a check for sentinel elements in ctl_table arrays,
Joel Granados via B4 Relay
- How do I make a contribution to the automatic analysis done on the kernel,
Joel Granados
- likely/unlikely usage validation,
Mateusz Guzik
- [PATCH] pre-proc: use uname() syscall instead of invoking uname,
Andrey Albershteyn
About building the database for smatch,
李书畅
[PATCH 0/3] Documentation/smatch: RST conversion and fixes,
Javier Carrasco
Re: [PATCH v2 net] ice: Fix freeing uninitialized pointers,
Markus Elfring
[PATCH] kernel_user_data: add ceph_decode_n() as returning user data,
Harshit Mogalapalli
Improving data processing with prepared SQL statements, Markus Elfring
Growing development interests for Smatch issues?, Markus Elfring
Growing benefits from the Smatch cross function database?, Markus Elfring
Re: smatch and locking checks,
Dan Carpenter
Re: [bug report] bcachefs: missing error checks for bio_alloc_bioset(),
Dan Carpenter
[PATCH] untracked_param: fix compilation errors with GCC 14,
Lukáš Zaoral
PSA: this list has moved to new vger infra (no action required), Konstantin Ryabitsev
[PATCH smatch] check_uninitialized_kobj: Add a new check,
Harshit Mogalapalli
Re: sparse feature request: nocast integer types,
Dan Carpenter
PSA: smatch is now archived on lore.kernel.org, Konstantin Ryabitsev
about using smatch in all debian C code(the previous email forgot to cc Dan，please ignore it), 李书畅
about using smatch in all debian C code,
李书畅
Kernel config usage,
Umang Jain
[PATCH v2] check_unwind: Add request/release_firmware to the function table,
Harshit Mogalapalli
[PATCH] check_unwind: Add request/release_firmware to the function table,
Harshit Mogalapalli
Need help with understanding format in check_unwind.c,
Harshit Mogalapalli
[PATCH] check_ida_alloc: Improve check to not warn when min is '1',
Harshit Mogalapalli
Re: List some ideas about Smatch as public projects in our open source club,
Dan Carpenter
Re: [PATCH 0/5] accel/qaic: Improve bounds checking in encode/decode, Dan Carpenter
The errors I encountered when Smatch builds the latest mainline,
Dongliang Mu
Re: [PATCH] spi: spi-geni-qcom: correctly handle -EPROBE_DEFER from dma_request_chan(),
Dan Carpenter
Binaries in source tree,
Benson Muite
devm_ on lists,
Dan Carpenter
Re: How to interpret this warning., Dan Carpenter
Question about a smatch warning., Harshit Mogalapalli
Re: [PATCH RFC net] tipic: guard against buffer overrun in bearer_name_validate(), Dan Carpenter
Questions about the checker replacing divide condition with a compare condition,
Dongliang Mu
Re: [PATCH] Input: xpad - fix GPF in xpad_probe,
Dan Carpenter
Re: [PATCH linux_next v2] iio: adc: ti-ads1100: fix passing a valid pointer to 'PTR_ERR', Dan Carpenter
How does paired function checking implement in Smatch?,
Dongliang Mu
Re: [PATCH] atm: he: fix potential ioremap leak of membase in he_dev, Dan Carpenter
Re: Who is looking at CVEs to prevent them?,
Dan Carpenter
New checks for NULL and uninitalized parameters, Dan Carpenter
new check for missing error codes,
Dan Carpenter
[PATCH v2] direct_return_instead_of_goto: don't warn about other forms of printks,
Harshit Mogalapalli
[PATCH] direct_return_instead_of_goto: Delete duplicate conditions,
Harshit Mogalapalli
[PATCH] direct_return_instead_of_goto: don't warn about other forms of printks,
Harshit Mogalapalli
Smatch or Coccinelle for BPF static code analysis,
Laurent Philippart (Nokia)
hugetlb BUILD REGRESSION in linux-next20221121,
Sidhartha Kumar
DB changes and job changes, Dan Carpenter
[PATCH 1/2] host_data: export checking for host function name/param,
Elena Reshetova
[PATCH] allocation: Track the size of allocated elements,
Christophe JAILLET
[PATCH] allocation: Add some kv... variants, Christophe JAILLET
[PATCH] continue_vs_break: Fix some style issue, Christophe JAILLET
[PATCH 1/2] smatch_allocations: Record the function that allocates memory,
Christophe JAILLET
[PATCH] smatch_allocations: Add devm_kmemdup() to list, Christophe JAILLET
[PATCH] smatch_allocations: Fix and improve the kernel_alloc_funcs list, Christophe JAILLET
[PATCH] smatch_allocations: Remove dma_alloc_consistent() from the list,
Christophe JAILLET
[PATCH] smatch_allocations: Give a hint about dma_alloc_(attrs|coherent),
Christophe JAILLET
Smatch v1.73 released, Dan Carpenter
[PATCH] check_ida_alloc: Add a new check to spot invalid conversion from ida_simple_get(),
Christophe JAILLET
[PATCH] check_dma_mapping_error: Remove check for pci_dma_mapping_error(),
Christophe JAILLET
[PATCH] check_checking_for_null_instead_of_err_ptr: Save a few cycles, Christophe JAILLET
[PATCH] check_release_resource: Remove some test about functions that are no more part of linux,
Christophe JAILLET
new locking check, Dan Carpenter
[PATCH] Remove pci_alloc_consistent() and pci_alloc_coherent() checks,
Christophe JAILLET
[PATCH] check_all_func_returns: Fix a test against "vfprintf",
Christophe JAILLET
[RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned,
Christophe JAILLET
[PATCH] check_freeing_devm: Add some new devm_ function,
Christophe JAILLET
[PATCH] check_freeing_devm: Report the correct function name that triggered the warning,
Christophe JAILLET
[PATCH] check_release_resource: Use INT_PTR instead of hand writing it,
Christophe JAILLET
[PATCH] check_bogus_irqrestore: Preparation work in order to add more functions, Christophe JAILLET
[PATCH] check_kvmalloc_NOFS: Report the correct function name that triggered the warning, Christophe JAILLET
[PATCH] kmalloc_wrong_size: Preparation work in order to add more functions,
Christophe JAILLET
[PATCH] test_bit: Add some more functions to test.,
Christophe JAILLET
[PATCH] test_bit: Report the correct function name that triggered the warning, Christophe JAILLET
[PATCH] smatch_kernel_host_data: enable additional debug,
Elena Reshetova
[PATCH] check_spectre: Add a switch to optionally use host data,
Elena Reshetova
[PATCH] Add tracking of host/VMM data for confidential computing, Elena Reshetova
[PATCH v3 0/2] Add a section for static analysis tools,
Marcelo Schmitt
[PATCH v2 0/2] Add a section for static analysis tools,
Marcelo Schmitt
[PATCH] Documentation: dev-tools: Add a section for static analysis tools,
Marcelo Schmitt
[PATCH] media: lirc: suppress false positive smatch warning,
Sean Young
alloc_page leaks tracing,
Oleg Drokin
[PATCH] Quick trial on tracing host inputs,
Elena Reshetova
[PATCH 0/1] New smatch pattern for Confidential Cloud Computing,
Elena Reshetova
FW: [error27/smatch] smatch misidentifies uninitialized variable after switch with no default: (Issue #3),
Brandeburg, Jesse
Re: [PATCH v1 1/3] media: staging: tegra-vde: Support reference picture marking,
Dan Carpenter
offline for the next two weeks, Dan Carpenter
Smatch v1.72 released, Dan Carpenter
BKM on generating a call graph for smatch warnings,
Reshetova, Elena
[PATCH] check_netdev_priv: warn about using netdev priv data after free_netdev,
Pavel Skripkin
[PATCH] check_do_while_loop_limit: implements checker for do_while loops,
Harshvardhan Jha
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function,
Harshvardhan Jha
[PATCH] extra: Fix handle_bit_test so that null set condition is taken care of, Harshvardhan Jha
[PATCH] check_iterator: Warn about end of loop tests for list_for_each_entry, Harshvardhan Jha
[PATCH] power_of_two: Track variables which are powers of two, Harshvardhan Jha
[PATCH 2/2] extra: Fix handle_bit_test so that null set condition is taken care of, Harshvardhan Jha
[PATCH 1/2] extra: Fix false output of handle_AND_op and handle_AND_condition,
Harshvardhan Jha
[PATCH] extra: Fixed handle_bit_test so that null set condition is taken care of,
Harshvardhan Jha
[PATCH] extra: Fixed false output of handle_AND_op and handle_AND_condition,
Harshvardhan Jha
Retrieving status of local variables,
Norbert Manthey
Smatch mailing list archives,
Reshetova, Elena
possible incompletely defined array smatch test addition?, Joe Perches
compiling smatch 1.71,
Fabio Aiuto
smatch and copy_{to,from}_user return values,
Rasmus Villemoes
False Positive return_cast check,
Benjamin Block
smatch v1.71 released,
Dan Carpenter
Intel i40e code finds smatch bug,
Dan McDonald
[PATCH] Set __STDC_VERSION__ for std89,
Gwendal Grignou
[PATCH] Makefile: Install database in a share directory,
Gwendal Grignou
[PATCH] Check for NULL stmt in check_all_func_returns,
john . levon
current HEAD build broken, John Levon
smatch: misreported 'mask and shift to zero',
Toomas Soome
Misleading messages from match 0.6.1-rc1,
Toomas Soome
Patch series: pre-defines update,
john . levon
[PATCH] arch: add missing predefines: __amd64 & __amd64__,
john . levon
[PATCH] disable warning about long double in unions, john . levon
[PATCH 1/2] Correct FP minimum handling, john . levon
Re: [PATCH] Use sm_debug for a debug message, John Levon
sval_type_max() sadness,
John Levon
[PATCH] function attributes apply to the function declaration,
Luc Van Oostenryck
[PATCH] Add -Wexternal-function-has-definition, John Levon
[PATCH] Remove bogus option from sparse manual., John Levon
[PATCH] Fix divide by zero message, John Levon
[PATCH] Add check_all_func_returns, John Levon
[PATCH] unreachable code should use sm_warning(), John Levon
[PATCH] Fix unused variable in macro_table.c, John Levon
[PATCH] Implement memory tracker for Solarish systems, John Levon
[PATCH] Set smatch to output to stdout, John Levon
[PATCH] Remove unused variable from check_memset.c, John Levon
[PATCH] Clean up unused -W options, John Levon
[PATCH] Add check_cmn_err, John Levon
check_signed.c false negative,
John Levon
[RFC PATCH 0/7] Tagged Pointer Detection,
Andrew Murray
noreturn attribute doesn't work in smatch,
John Levon
Packed struct size issue,
John Levon
Address space of struct member, Andrew Murray
[PATCH 0/4] Miscellaneous fixes,
Andrew Murray
Differing range values for same callsite/param,
Andrew Murray
Re: [RFC] arm64: Detecting tagged addresses, Vincenzo Frascino
[PATCH] kernel: Add support for cross-build kernels,
Andrew Murray
[PATCH] db/smdb: add info command with type filtering,
Andrew Murray
Smatch context checking feature ?,
Himanshu Jha
Detecting user data on base types,
Andrew Murray
passing zero to PTR_ERR() warnings, Dan Carpenter
[kernel-build 1/2] kernel: modify build via env,
Norbert Manthey
I would like to contribute to smatch,
Joel Savitz
Odd smatch issue?,
John Levon
[PATCH] Remove -Wempty-character-constant, John Levon
[PATCH] Look across the entire compile line for smatch arguments, John Levon
[PATCH 01/12] sparse: correctly handle "-D foo" and "-U foo",
John Levon
- [PATCH 02/12] sparse: add -Wno-non-ansi-function-declaration, John Levon
- [PATCH 03/12] sparse: add -Wbig-constants, John Levon
- [PATCH 04/12] sparse: add -Wempty-character-constant, John Levon
- [PATCH 05/12] Look across the entire compile line for smatch arguments, John Levon
- [PATCH 06/12] Regularise error reporting, John Levon
- [PATCH 07/12] Convert all sm_msg("warn:.." into sm_warning(), John Levon
- [PATCH 08/12] Convert sm_msg() with an error: prefix into sm_error(), John Levon
- [PATCH 09/12] Convert some sm_msg() into more specific reporting routines., John Levon
- [PATCH 10/12] Track sparse-level warnings and errors too, and respect them in smatch's exit code., John Levon
- [PATCH 11/12] Add illumos projects, John Levon
- [PATCH 12/12] Add check_all_func_returns, John Levon
[PATCH] Introduce skipped_functions, John Levon
[PATCH 12/18] Add progname to sm_prefix(), John Levon
[PATCH 13/18] sparse: prefix output with progname, John Levon
[PATCH 04/18] Fix escape_newlines: we were not NIL-terminating the string properly, and were also mis-counting the loop indices., John Levon
[PATCH 14/18] Track sparse-level warnings and errors too, and respect them in smatch's exit code., John Levon
[PATCH 07/18] sparse: add -Wbig-constants, John Levon
[PATCH 02/18] sparse: define __x86_64; some software checks for this not __x86_64__, John Levon
[PATCH 01/18] Allow additional CFLAGS to be specified, e.g. "CFLAGS=-m64 make", John Levon
[PATCH 11/18] Convert some sm_msg() into more specific reporting routines., John Levon
[PATCH 18/18] sparse: add -Wempty-character-constant, John Levon
[PATCH 09/18] Convert all sm_msg("warn:.." into sm_warning(), John Levon
[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., John Levon
[PATCH 17/18] don't try to parse silenced functions, John Levon
[PATCH 03/18] sparse: lib.c should handle being built 32-bit, compiling 64-bit, on x86., John Levon
[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., John Levon
[PATCH 10/18] Convert sm_msg() with an error: prefix into sm_error(), John Levon
[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.,
John Levon
[PATCH 06/18] sparse: add -Wno-non-ansi-function-declaration, John Levon
[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., John Levon
[xen 1/6] math: increase bounds and buffers,
Norbert Manthey
smatch validation tests fail,
Norbert Manthey
Smatch for Xen,
Norbert Manthey
Re: [PATCH v4 00/17] khwasan: kernel hardware assisted address sanitizer,
Luc Van Oostenryck
uninitialized symbol 'xxxx' is too overzealous?,
Oleg Drokin
tracing back a variable,
Gustavo A. R. Silva
Checking analysis dependencies for “smatch”,
SF Markus Elfring
Checking further software evolution around “Smatch”, SF Markus Elfring
Using smatch with meson,
Thomas H.P. Andersen
[PATCH 0/3] type fixes, printf warning,
Rasmus Villemoes
[PATCH 0/5] check_kernel_printf stuff,
Rasmus Villemoes
Tracking Implicit Dependencies,
Andrew Zhu Aday
Re: Tracking Implicit Dependencies, Dan Carpenter
Re: Tracking Implicit Dependencies, Dan Carpenter
Re: SMATCH indicates warning to almost all files in Linux Kernel + ARM,
Luc Van Oostenryck
Hangs while building the cross function DB, Dan Carpenter
Re: Can smatch detect this bug?, Dan Carpenter
Fwd: [PATCH] Makefile: remove SMATCH_DATA smatch_data/kernel.balanced_funcs item, Luc Van Oostenryck
Re: sparse on scripts/kconfig/*.c,
Dan Carpenter
C Safety and Security Study Group, Laurence Urhegyi
[PATCH 1/3] check_kernel_printf: check that %pg gets a block_device,
Rasmus Villemoes
[Index of Archives]
[Linux USB Devel]
[Video for Linux]
[Big List of Linux Books]
[Linux SCSI]
[Scanners]
[Yosemite Forum]
