Smatch (Semantic Matching Tool) development
 help / color / mirror / Atom feed
 messages from 2025-11-25 13:41:03 to 2026-05-05 14:59:03 UTC [more...]

Build problem smatch 1.75
 2026-05-05 14:58 UTC  (5+ messages)

[PATCH smatch 1/4] smatch: add helper to get member deref name without type prefix
 2026-04-22 14:32 UTC  (4+ messages)
` [PATCH smatch 2/4] smatch: record allocation callsites for assigned struct members
` [PATCH smatch 3/4] smatch: record free "
` [PATCH smatch 4/4] smatch: rename PARAM_FREED state to FREED

[SMATCH] Can also be NULL false positive
 2026-04-08 13:40 UTC  (3+ messages)

ASoC: rt* codecs: fix regmap_config.max_register off-by-one
 2026-03-23  9:07 UTC 

[PATCH] usb: dwc3: gadget: use explicit 0 for success in __dwc3_gadget_kick_transfer()
 2026-03-06 23:06 UTC  (2+ messages)

Smatch: False positive in __dwc3_gadget_kick_transfer()
 2026-03-06  6:35 UTC  (3+ messages)

[PATCH smatch] check_idr_alloc: Add a new check to detect start values < 0
 2026-02-27 10:10 UTC  (2+ messages)

ida_alloc_range() check question
 2026-01-22 11:15 UTC  (2+ messages)

Smatch 1.74 released
 2026-01-22  8:38 UTC 

[PATCH] smatch_scripts: Fix incomplete quoting in kchecker make command
 2025-12-15 13:35 UTC  (2+ messages)

drivers/dpll/dpll_core.c:235 dpll_xa_ref_dpll_first() warn: iterator 'i' not incremented
 2025-12-15  8:45 UTC 

[RFC PATCH] smdb.py : Add depth option to call_tree
 2025-12-09 13:08 UTC  (2+ messages)

apparent bug about check_free_strict
 2025-11-26 15:12 UTC  (17+ messages)

the sigsegv issue with recent smatch
 2025-11-26 14:58 UTC  (3+ messages)


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox