smatch
Thread
Date
Messages by Thread
Smatch - possible regression in unreachable code check
Harshit Mogalapalli
Re: Smatch - possible regression in unreachable code check
Dan Carpenter
Re: Smatch - possible regression in unreachable code check
Dan Carpenter
[PATCH 0/2] Fix typos
Andrew Kreimer
[PATCH 1/2] smatch: fix typos
Andrew Kreimer
[PATCH 2/2] smatch: fix typos
Andrew Kreimer
Re: [PATCH 2/2] smatch: fix typos
Dan Carpenter
Re: [PATCH 2/2] smatch: fix typos
Andrew Kreimer
[PATCH 1/2] doc: fix typos
Andrew Kreimer
[PATCH 2/2] scripts: fix typos
Andrew Kreimer
Re: [PATCH 1/2] doc: fix typos
Dan Carpenter
smatch regression - after recent update
Harshit Mogalapalli
Re: smatch regression - after recent update
Dan Carpenter
Re: smatch regression - after recent update
Harshit Mogalapalli
check locking re-write
Dan Carpenter
Re: check locking re-write
Harshit Mogalapalli
Re: check locking re-write
Dan Carpenter
Question on a error handling related warning
Harshit Mogalapalli
Re: Question on a error handling related warning
Dan Carpenter
Bug-report: Smatch treats scoped_guard() as unreachable code ?
Harshit Mogalapalli
Re: Bug-report: Smatch treats scoped_guard() as unreachable code ?
Dan Carpenter
Re: Bug-report: Smatch treats scoped_guard() as unreachable code ?
Harshit Mogalapalli
FP with unreachable code check
Harshit Mogalapalli
Re: FP with unreachable code check
Dan Carpenter
False positive due to MACROs in nfsd code
Harshit Mogalapalli
Re: False positive due to MACROs in nfsd code
Dan Carpenter
min/max() changes
Dan Carpenter
Re: min/max() changes
Dan Carpenter
Re: min/max() changes
Dan Carpenter
Re: min/max() changes
Dan Carpenter
Re: min/max() changes
Harshit Mogalapalli
Re: min/max() changes
Harshit Mogalapalli
Re: min/max() changes
Harshit Mogalapalli
Re: min/max() changes
Dan Carpenter
Re: Treat macro call like ordinary functions in smatch.
Dan Carpenter
Re: Treat macro call like ordinary functions in smatch.
Hongyi Lu
Re: Treat macro call like ordinary functions in smatch.
Dan Carpenter
Re: Treat macro call like ordinary functions in smatch.
Dan Carpenter
Re: Treat macro call like ordinary functions in smatch.
Hongyi Lu
Re: Treat macro call like ordinary functions in smatch.
Dan Carpenter
[PATCH 0/2] Support custom build directory for kernel
Cristian Ciocaltea
[PATCH 2/2] kernel: Add support for custom build directory
Cristian Ciocaltea
[PATCH 1/2] kchecker: Fix --outfile handling
Cristian Ciocaltea
Re: [PATCH 0/2] Support custom build directory for kernel
Dan Carpenter
[PATCH] sentinel_ctltable: Add a check for sentinel elements in ctl_table arrays
Joel Granados via B4 Relay
Re: [PATCH] sentinel_ctltable: Add a check for sentinel elements in ctl_table arrays
Dan Carpenter
How do I make a contribution to the automatic analysis done on the kernel
Joel Granados
Re: How do I make a contribution to the automatic analysis done on the kernel
Dan Carpenter
Re: How do I make a contribution to the automatic analysis done on the kernel
Joel Granados
likely/unlikely usage validation
Mateusz Guzik
Re: likely/unlikely usage validation
Rasmus Villemoes
Re: likely/unlikely usage validation
Mateusz Guzik
Re: likely/unlikely usage validation
Rasmus Villemoes
Re: likely/unlikely usage validation
Rasmus Villemoes
Re: likely/unlikely usage validation
Dan Carpenter
Re: likely/unlikely usage validation
Dan Carpenter
Re: likely/unlikely usage validation
Dan Carpenter
Re: likely/unlikely usage validation
Dan Carpenter
[PATCH] pre-proc: use uname() syscall instead of invoking uname
Andrey Albershteyn
Re: [PATCH] pre-proc: use uname() syscall instead of invoking uname
Dan Carpenter
Re: [PATCH] pre-proc: use uname() syscall instead of invoking uname
Dan Carpenter
About building the database for smatch
李书畅
Re: About building the database for smatch
Dan Carpenter
[PATCH] kernel_user_data: add ceph_decode_n() as returning user data
Harshit Mogalapalli
Re: [PATCH] kernel_user_data: add ceph_decode_n() as returning user data
Dan Carpenter
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: smatch and locking checks
Dan Carpenter
Re: smatch and locking checks
Dan Carpenter
[PATCH] untracked_param: fix compilation errors with GCC 14
Lukáš Zaoral
Re: [PATCH] untracked_param: fix compilation errors with GCC 14
Dan Carpenter
[PATCH smatch] check_uninitialized_kobj: Add a new check
Harshit Mogalapalli
Re: [PATCH smatch] check_uninitialized_kobj: Add a new check
Dan Carpenter
Re: [PATCH smatch] check_uninitialized_kobj: Add a new check
Harshit Mogalapalli
Re: sparse feature request: nocast integer types
Dan Carpenter
Re: sparse feature request: nocast integer types
Christoph Hellwig
Re: sparse feature request: nocast integer types
Linus Torvalds
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
李书畅
Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: about using smatch in all debian C code
李书畅
Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Re: Re: Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: about using smatch in all debian C code
李书畅
Re: Re: Re: Re: Re: about using smatch in all debian C code
Dan Carpenter
Kernel config usage
Umang Jain
Re: Kernel config usage
Dan Carpenter
Re: Kernel config usage
Umang Jain
[PATCH v2] check_unwind: Add request/release_firmware to the function table
Harshit Mogalapalli
Re: [PATCH v2] check_unwind: Add request/release_firmware to the function table
Dan Carpenter
[PATCH] check_unwind: Add request/release_firmware to the function table
Harshit Mogalapalli
Re: [PATCH] check_unwind: Add request/release_firmware to the function table
Dan Carpenter
Re: [PATCH] check_unwind: Add request/release_firmware to the function table
Harshit Mogalapalli
Need help with understanding format in check_unwind.c
Harshit Mogalapalli
Re: Need help with understanding format in check_unwind.c
Dan Carpenter
Re: Need help with understanding format in check_unwind.c
Harshit Mogalapalli
Re: Need help with understanding format in check_unwind.c
Dan Carpenter
[PATCH] check_ida_alloc: Improve check to not warn when min is '1'
Harshit Mogalapalli
Re: [PATCH] check_ida_alloc: Improve check to not warn when min is '1'
Dan Carpenter
Re: List some ideas about Smatch as public projects in our open source club
Dan Carpenter
Re: List some ideas about Smatch as public projects in our open source club
Oleg Drokin
Re: List some ideas about Smatch as public projects in our open source club
Dan Carpenter