smatch
212 threads 696 messages Latest
About Archive
- Archive
- lore.kernel.org/smatch
Show bot threadsBotsLatest activityActivityNewest threadsNewMost repliesRepliesMost participantsPeople
- Add safety checks in various modules In review 1 reply
- docs: document selecting individual Smatch checks In review 1 reply
- fix build warnings on gcc-16 and glibc-2.43 In review 1 reply
- smatch devel branch 4 replies
- Build problem smatch 1.75 4 replies
- smatch: add helper to get member deref name without type prefix New 0 replies
- Can also be NULL false positive 2 replies
- ASoC: rt* codecs: fix regmap_config.max_register off-by-one 0 replies
- usb: dwc3: gadget: use explicit 0 for success in __dwc3_gadget_kick_transfer() In review 1 reply
- Smatch: False positive in __dwc3_gadget_kick_transfer() 2 replies
- check_idr_alloc: Add a new check to detect start values < 0 Applied 1 reply
- ida_alloc_range() check question 1 reply
- Smatch 1.74 released 0 replies
- smatch_scripts: Fix incomplete quoting in kchecker make command In review 1 reply
- drivers/dpll/dpll_core.c:235 dpll_xa_ref_dpll_first() warn: iterator 'i' not incremented 0 replies
- smdb.py : Add depth option to call_tree In review 1 reply
- apparent bug about check_free_strict 16 replies
- the sigsegv issue with recent smatch 2 replies
- smatch, __builtin_unreachable() and uninitialized var... 1 reply
- Track down hard lockup with smatch 8 replies
- Inquiry 0 replies
- kernel-printf: add printf format %pra for struct range In review 1 reply
- unreachable() is defined in C23 as function-like macro, New 0 replies
- Makefile question 3 replies
- update check_cmn_err 4 replies
- Smatch - possible regression in unreachable code check 2 replies
- check locking re-write 2 replies
- Fix typos In review 2 replies
- doc: fix typos In review 1 reply
- smatch regression - after recent update 2 replies
- Question on a error handling related warning 0 replies
- Question on a error handling related warning 0 replies
- Bug-report: Smatch treats scoped_guard() as unreachable code ? 2 replies
- FP with unreachable code check 1 reply
- False positive due to MACROs in nfsd code 1 reply
- min/max() changes 7 replies
- Treat macro call like ordinary functions in smatch. 5 replies
- Support custom build directory for kernel In review 1 reply
- sentinel_ctltable: Add a check for sentinel elements in ctl_table arrays Applied 1 reply
- How do I make a contribution to the automatic analysis done on the kernel 2 replies
- likely/unlikely usage validation 8 replies
- pre-proc: use uname() syscall instead of invoking uname In review 2 replies
- About building the database for smatch 1 reply
- Documentation/smatch: RST conversion and fixes In review 1 reply
- ice: Fix freeing uninitialized pointers In review 9 replies
- about using smatch in all debian C code 31 replies
- kernel_user_data: add ceph_decode_n() as returning user data In review 1 reply
- Improving data processing with prepared SQL statements 0 replies
- Growing development interests for Smatch issues? 0 replies
- Growing benefits from the Smatch cross function database? 0 replies