smatch
Thread
Date
Messages by Date
2026/04/08
Re: [SMATCH] Can also be NULL false positive
Ethan Tidmore
2026/04/07
Re: [SMATCH] Can also be NULL false positive
Dan Carpenter
2026/04/07
[SMATCH] Can also be NULL false positive
Ethan Tidmore
2026/02/27
Re: [PATCH smatch] check_idr_alloc: Add a new check to detect start values < 0
Dan Carpenter
2026/02/26
[PATCH smatch] check_idr_alloc: Add a new check to detect start values < 0
Harshit Mogalapalli
2026/01/22
Re: ida_alloc_range() check question
Dan Carpenter
2026/01/10
ida_alloc_range() check question
Harshit Mogalapalli
2025/12/15
Re: [PATCH] smatch_scripts: Fix incomplete quoting in kchecker make command
Dan Carpenter
2025/12/15
[PATCH] smatch_scripts: Fix incomplete quoting in kchecker make command
Harshit Mogalapalli
2025/12/15
drivers/dpll/dpll_core.c:235 dpll_xa_ref_dpll_first() warn: iterator 'i' not incremented
Dan Carpenter
2025/12/09
Re: [RFC PATCH] smdb.py : Add depth option to call_tree
Dan Carpenter
2025/12/09
[RFC PATCH] smdb.py : Add depth option to call_tree
Amit Dhingra
2025/11/26
Re: apparent bug about check_free_strict
Dan Carpenter
2025/11/26
Re: the sigsegv issue with recent smatch
Toomas Soome
2025/11/26
Re: the sigsegv issue with recent smatch
Dan Carpenter
2025/11/26
Re: apparent bug about check_free_strict
Dan Carpenter
2025/11/25
Re: apparent bug about check_free_strict
Dan Carpenter
2025/11/25
the sigsegv issue with recent smatch
Toomas Soome
2025/11/25
Re: apparent bug about check_free_strict
Oleg Drokin
2025/11/25
Re: apparent bug about check_free_strict
Toomas Soome
2025/11/25
Re: apparent bug about check_free_strict
Dan Carpenter
2025/11/25
Re: apparent bug about check_free_strict
Toomas Soome
2025/11/25
Re: apparent bug about check_free_strict
Dan Carpenter
2025/11/25
Re: apparent bug about check_free_strict
Dan Carpenter
2025/11/25
Re: apparent bug about check_free_strict
Toomas Soome
2025/11/24
Re: apparent bug about check_free_strict
Toomas Soome
2025/11/24
Re: apparent bug about check_free_strict
Dan Carpenter
2025/11/21
Re: apparent bug about check_free_strict
Toomas Soome
2025/11/18
Re: smatch, __builtin_unreachable() and uninitialized var...
Dan Carpenter
2025/11/17
smatch, __builtin_unreachable() and uninitialized var...
Toomas Soome
2025/06/25
Re: Track down hard lockup with smatch
Miguel Luis
2025/06/24
Re: Track down hard lockup with smatch
Miguel Luis
2025/06/24
Re: Track down hard lockup with smatch
Dan Carpenter
2025/06/23
Re: Track down hard lockup with smatch
Dan Carpenter
2025/06/23
Re: Track down hard lockup with smatch
Miguel Luis
2025/06/23
Re: Track down hard lockup with smatch
Miguel Luis
2025/06/23
Re: Track down hard lockup with smatch
Dan Carpenter
2025/06/23
Re: Track down hard lockup with smatch
Miguel Luis
2025/06/18
Track down hard lockup with smatch
Miguel Luis
2025/05/17
Inquiry
doreenandrius90
2025/02/07
Re: [PATCH] kernel-printf: add printf format %pra for struct range
Dan Carpenter
2025/02/06
[PATCH] kernel-printf: add printf format %pra for struct range
alison . schofield
2025/01/30
[PATCH] unreachable() is defined in C23 as function-like macro,
NHO
2024/12/05
Re: Makefile question
Dan Carpenter
2024/12/05
Re: Makefile question
Rasmus Villemoes
2024/12/05
Re: Makefile question
Oleg Drokin
2024/12/05
Makefile question
Dan Carpenter
2024/11/18
Re: apparent bug about check_free_strict
Dan Carpenter
2024/11/18
apparent bug about check_free_strict
Toomas Soome
2024/11/18
Re: apparent bug about check_free_strict
Toomas Soome
2024/11/18
Re: update check_cmn_err
Toomas Soome
2024/11/18
Re: apparent bug about check_free_strict
Dan Carpenter
2024/11/18
Re: update check_cmn_err
Toomas Soome
2024/11/18
Re: update check_cmn_err
Dan Carpenter
2024/11/18
Re: update check_cmn_err
Dan Carpenter
2024/11/17
update check_cmn_err
Toomas Soome
2024/10/29
Smatch - possible regression in unreachable code check
Harshit Mogalapalli
2024/10/29
Re: Smatch - possible regression in unreachable code check
Dan Carpenter
2024/10/29
Re: Smatch - possible regression in unreachable code check
Dan Carpenter
2024/10/20
Re: check locking re-write
Dan Carpenter
2024/10/18
Re: [PATCH 2/2] smatch: fix typos
Andrew Kreimer
2024/10/17
Re: check locking re-write
Harshit Mogalapalli
2024/10/17
Re: [PATCH 2/2] smatch: fix typos
Dan Carpenter
2024/10/17
[PATCH 2/2] smatch: fix typos
Andrew Kreimer
2024/10/17
[PATCH 0/2] Fix typos
Andrew Kreimer
2024/10/17
[PATCH 1/2] smatch: fix typos
Andrew Kreimer
2024/10/16
Re: [PATCH 1/2] doc: fix typos
Dan Carpenter
2024/10/16
[PATCH 2/2] scripts: fix typos
Andrew Kreimer
2024/10/16
[PATCH 1/2] doc: fix typos
Andrew Kreimer
2024/10/14
Re: smatch regression - after recent update
Harshit Mogalapalli
2024/10/14
Re: smatch regression - after recent update
Dan Carpenter
2024/10/14
smatch regression - after recent update
Harshit Mogalapalli
2024/10/14
check locking re-write
Dan Carpenter
2024/10/09
Re: Question on a error handling related warning
Dan Carpenter
2024/10/08
Question on a error handling related warning
Harshit Mogalapalli
2024/08/19
Re: Bug-report: Smatch treats scoped_guard() as unreachable code ?
Harshit Mogalapalli
2024/08/19
Re: Bug-report: Smatch treats scoped_guard() as unreachable code ?
Dan Carpenter
2024/08/19
Bug-report: Smatch treats scoped_guard() as unreachable code ?
Harshit Mogalapalli
2024/08/07
Re: FP with unreachable code check
Dan Carpenter
2024/08/07
Re: False positive due to MACROs in nfsd code
Dan Carpenter
2024/08/07
Re: min/max() changes
Dan Carpenter
2024/08/05
FP with unreachable code check
Harshit Mogalapalli
2024/08/05
Re: min/max() changes
Harshit Mogalapalli
2024/08/05
Re: min/max() changes
Harshit Mogalapalli
2024/08/04
False positive due to MACROs in nfsd code
Harshit Mogalapalli
2024/08/02
Re: min/max() changes
Harshit Mogalapalli
2024/08/02
Re: min/max() changes
Dan Carpenter
2024/08/02
Re: min/max() changes
Dan Carpenter
2024/08/02
Re: min/max() changes
Dan Carpenter
2024/08/02
min/max() changes
Dan Carpenter
2024/07/01
Re: Treat macro call like ordinary functions in smatch.
Dan Carpenter
2024/06/23
Re: Treat macro call like ordinary functions in smatch.
Hongyi Lu
2024/06/20
Re: Treat macro call like ordinary functions in smatch.
Dan Carpenter
2024/06/20
Re: Treat macro call like ordinary functions in smatch.
Dan Carpenter
2024/06/20
Re: Treat macro call like ordinary functions in smatch.
Hongyi Lu
2024/06/20
Re: Treat macro call like ordinary functions in smatch.
Dan Carpenter
2024/06/19
Re: [PATCH 0/2] Support custom build directory for kernel
Dan Carpenter
2024/06/18
[PATCH 0/2] Support custom build directory for kernel
Cristian Ciocaltea
2024/06/18
[PATCH 1/2] kchecker: Fix --outfile handling
Cristian Ciocaltea
2024/06/18
[PATCH 2/2] kernel: Add support for custom build directory
Cristian Ciocaltea
2024/06/14
Re: [PATCH] sentinel_ctltable: Add a check for sentinel elements in ctl_table arrays
Dan Carpenter
2024/06/14
[PATCH] sentinel_ctltable: Add a check for sentinel elements in ctl_table arrays
Joel Granados via B4 Relay
2024/06/04
Re: How do I make a contribution to the automatic analysis done on the kernel
Joel Granados
2024/06/04
Re: How do I make a contribution to the automatic analysis done on the kernel
Dan Carpenter
2024/06/03
How do I make a contribution to the automatic analysis done on the kernel
Joel Granados
2024/05/29
Re: likely/unlikely usage validation
Dan Carpenter
2024/05/29
Re: likely/unlikely usage validation
Dan Carpenter
2024/05/29
Re: likely/unlikely usage validation
Dan Carpenter
2024/05/29
Re: likely/unlikely usage validation
Dan Carpenter
2024/05/29
Re: likely/unlikely usage validation
Rasmus Villemoes
2024/05/28
Re: likely/unlikely usage validation
Rasmus Villemoes
2024/05/28
Re: likely/unlikely usage validation
Mateusz Guzik
2024/05/28
Re: likely/unlikely usage validation
Rasmus Villemoes
2024/05/28
likely/unlikely usage validation
Mateusz Guzik
2024/05/10
Re: [PATCH] pre-proc: use uname() syscall instead of invoking uname
Dan Carpenter
2024/05/10
Re: [PATCH] pre-proc: use uname() syscall instead of invoking uname
Dan Carpenter
2024/05/10
[PATCH] pre-proc: use uname() syscall instead of invoking uname
Andrey Albershteyn
2024/04/07
Re: About building the database for smatch
Dan Carpenter
2024/04/07
About building the database for smatch
李书畅
2024/03/22
Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/22
Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/20
Re: [PATCH] kernel_user_data: add ceph_decode_n() as returning user data
Dan Carpenter
2024/03/20
[PATCH] kernel_user_data: add ceph_decode_n() as returning user data
Harshit Mogalapalli
2024/03/18
Improving data processing with prepared SQL statements
Markus Elfring
2024/03/18
Growing development interests for Smatch issues?
Markus Elfring
2024/03/17
Growing benefits from the Smatch cross function database?
Markus Elfring
2024/03/15
Re: smatch and locking checks
Dan Carpenter
2024/03/15
Re: smatch and locking checks
Dan Carpenter
2024/03/15
Re: smatch and locking checks
Dan Carpenter
2024/03/13
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/13
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/13
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/13
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/13
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/12
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/12
Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/12
Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/12
Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/11
Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/11
Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/11
Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/11
Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/11
Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/10
Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/10
Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/10
Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/09
Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/09
Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/07
Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/07
Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/06
Re: Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/06
Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/06
Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/06
Re: Re: Re: about using smatch in all debian C code
李书畅
2024/03/05
Re: Re: about using smatch in all debian C code
Dan Carpenter
2024/03/05
Re: Re: about using smatch in all debian C code
李书畅
2024/01/21
Re: [PATCH] untracked_param: fix compilation errors with GCC 14
Dan Carpenter
2024/01/19
[PATCH] untracked_param: fix compilation errors with GCC 14
Lukáš Zaoral
2023/12/01
Re: [PATCH smatch] check_uninitialized_kobj: Add a new check
Harshit Mogalapalli
2023/12/01
Re: [PATCH smatch] check_uninitialized_kobj: Add a new check
Dan Carpenter
2023/11/30
[PATCH smatch] check_uninitialized_kobj: Add a new check
Harshit Mogalapalli
2023/11/27
Re: sparse feature request: nocast integer types
Linus Torvalds
2023/11/27
Re: sparse feature request: nocast integer types
Christoph Hellwig
2023/11/27
Re: sparse feature request: nocast integer types
Dan Carpenter
2023/11/23
PSA: smatch is now archived on lore.kernel.org
Konstantin Ryabitsev
2023/11/08
Re: about using smatch in all debian C code
Dan Carpenter
2023/11/08
about using smatch in all debian C code(the previous email forgot to cc Dan,please ignore it)
李书畅
2023/11/08
about using smatch in all debian C code
李书畅
2023/11/02
Re: Kernel config usage
Umang Jain
2023/11/02
Re: Kernel config usage
Dan Carpenter
2023/11/02
Kernel config usage
Umang Jain
2023/11/01
Re: [PATCH v2] check_unwind: Add request/release_firmware to the function table
Dan Carpenter
2023/10/31
[PATCH v2] check_unwind: Add request/release_firmware to the function table
Harshit Mogalapalli
2023/10/31
Re: [PATCH] check_unwind: Add request/release_firmware to the function table
Harshit Mogalapalli
2023/10/31
Re: [PATCH] check_unwind: Add request/release_firmware to the function table
Dan Carpenter
2023/10/31
[PATCH] check_unwind: Add request/release_firmware to the function table
Harshit Mogalapalli
2023/10/30
Re: Need help with understanding format in check_unwind.c
Dan Carpenter
2023/10/30
Re: Need help with understanding format in check_unwind.c
Harshit Mogalapalli
2023/10/30
Re: Need help with understanding format in check_unwind.c
Dan Carpenter
2023/10/30
Need help with understanding format in check_unwind.c
Harshit Mogalapalli
2023/10/26
Re: [PATCH] check_ida_alloc: Improve check to not warn when min is '1'
Dan Carpenter
2023/10/26
[PATCH] check_ida_alloc: Improve check to not warn when min is '1'
Harshit Mogalapalli
2023/10/23
Re: List some ideas about Smatch as public projects in our open source club
Dan Carpenter
2023/10/23
Re: List some ideas about Smatch as public projects in our open source club
Oleg Drokin
2023/10/23
Re: List some ideas about Smatch as public projects in our open source club
Dan Carpenter