Semantic Matching Tool https://www.spinics.net/lists/smatch/ Archive updates for Semantic Matching Tool en-us Mon, 08 Jun 2026 21:35:28 GMT Mon, 08 Jun 2026 21:35:28 GMT http://blogs.law.harvard.edu/tech/rss smatch devel branch https://www.spinics.net/lists/smatch/msg01026.html smatch devel branch Mon, 08 Jun 2026 21:33:16 GMT https://www.spinics.net/lists/smatch/msg01026.html Re: Build problem smatch 1.75 https://www.spinics.net/lists/smatch/msg01025.html Re: Build problem smatch 1.75 Tue, 05 May 2026 15:01:45 GMT https://www.spinics.net/lists/smatch/msg01025.html Re: Build problem smatch 1.75 https://www.spinics.net/lists/smatch/msg01024.html Re: Build problem smatch 1.75 Tue, 05 May 2026 10:41:56 GMT https://www.spinics.net/lists/smatch/msg01024.html Re: Build problem smatch 1.75 https://www.spinics.net/lists/smatch/msg01023.html Re: Build problem smatch 1.75 Mon, 04 May 2026 11:15:27 GMT https://www.spinics.net/lists/smatch/msg01023.html Re: Build problem smatch 1.75 https://www.spinics.net/lists/smatch/msg01021.html Re: Build problem smatch 1.75 Mon, 04 May 2026 08:23:55 GMT https://www.spinics.net/lists/smatch/msg01021.html [PATCH] pre-process: silence a -Wformat-truncation warning https://www.spinics.net/lists/smatch/msg01022.html [PATCH] pre-process: silence a -Wformat-truncation warning Mon, 04 May 2026 08:16:24 GMT https://www.spinics.net/lists/smatch/msg01022.html Build problem smatch 1.75 https://www.spinics.net/lists/smatch/msg01020.html Build problem smatch 1.75 Mon, 04 May 2026 07:57:20 GMT https://www.spinics.net/lists/smatch/msg01020.html [PATCH smatch 1/4] smatch: add helper to get member deref name without type prefix https://www.spinics.net/lists/smatch/msg01019.html [PATCH smatch 1/4] smatch: add helper to get member deref name without type prefix Wed, 22 Apr 2026 19:31:14 GMT https://www.spinics.net/lists/smatch/msg01019.html [PATCH smatch 4/4] smatch: rename PARAM_FREED state to FREED https://www.spinics.net/lists/smatch/msg01018.html [PATCH smatch 4/4] smatch: rename PARAM_FREED state to FREED Wed, 22 Apr 2026 16:31:52 GMT https://www.spinics.net/lists/smatch/msg01018.html [PATCH smatch 2/4] smatch: record allocation callsites for assigned struct members https://www.spinics.net/lists/smatch/msg01017.html [PATCH smatch 2/4] smatch: record allocation callsites for assigned struct members Wed, 22 Apr 2026 14:37:29 GMT https://www.spinics.net/lists/smatch/msg01017.html [PATCH smatch 3/4] smatch: record free callsites for assigned struct members https://www.spinics.net/lists/smatch/msg01016.html [PATCH smatch 3/4] smatch: record free callsites for assigned struct members Wed, 22 Apr 2026 14:37:29 GMT https://www.spinics.net/lists/smatch/msg01016.html Re: [SMATCH] Can also be NULL false positive https://www.spinics.net/lists/smatch/msg01015.html Re: [SMATCH] Can also be NULL false positive Wed, 08 Apr 2026 14:08:57 GMT https://www.spinics.net/lists/smatch/msg01015.html Re: [SMATCH] Can also be NULL false positive https://www.spinics.net/lists/smatch/msg01014.html Re: [SMATCH] Can also be NULL false positive Wed, 08 Apr 2026 06:47:59 GMT https://www.spinics.net/lists/smatch/msg01014.html [SMATCH] Can also be NULL false positive https://www.spinics.net/lists/smatch/msg01013.html [SMATCH] Can also be NULL false positive Tue, 07 Apr 2026 16:51:23 GMT https://www.spinics.net/lists/smatch/msg01013.html ASoC: rt* codecs: fix regmap_config.max_register off-by-one https://www.spinics.net/lists/smatch/msg01012.html ASoC: rt* codecs: fix regmap_config.max_register off-by-one Mon, 23 Mar 2026 09:09:14 GMT https://www.spinics.net/lists/smatch/msg01012.html Re: [PATCH] usb: dwc3: gadget: use explicit 0 for success in __dwc3_gadget_kick_transfer() https://www.spinics.net/lists/smatch/msg01011.html Re: [PATCH] usb: dwc3: gadget: use explicit 0 for success in __dwc3_gadget_kick_transfer() Fri, 06 Mar 2026 23:06:57 GMT https://www.spinics.net/lists/smatch/msg01011.html [PATCH] usb: dwc3: gadget: use explicit 0 for success in __dwc3_gadget_kick_transfer() https://www.spinics.net/lists/smatch/msg01010.html [PATCH] usb: dwc3: gadget: use explicit 0 for success in __dwc3_gadget_kick_transfer() Fri, 06 Mar 2026 09:08:36 GMT https://www.spinics.net/lists/smatch/msg01010.html Re: Smatch: False positive in __dwc3_gadget_kick_transfer() https://www.spinics.net/lists/smatch/msg01009.html Re: Smatch: False positive in __dwc3_gadget_kick_transfer() Fri, 06 Mar 2026 06:42:31 GMT https://www.spinics.net/lists/smatch/msg01009.html Re: Smatch: False positive in __dwc3_gadget_kick_transfer() https://www.spinics.net/lists/smatch/msg01008.html Re: Smatch: False positive in __dwc3_gadget_kick_transfer() Wed, 04 Mar 2026 15:27:13 GMT https://www.spinics.net/lists/smatch/msg01008.html Smatch: False positive in __dwc3_gadget_kick_transfer() https://www.spinics.net/lists/smatch/msg01007.html Smatch: False positive in __dwc3_gadget_kick_transfer() Wed, 04 Mar 2026 09:23:22 GMT https://www.spinics.net/lists/smatch/msg01007.html Re: [PATCH smatch] check_idr_alloc: Add a new check to detect start values < 0 https://www.spinics.net/lists/smatch/msg01006.html Re: [PATCH smatch] check_idr_alloc: Add a new check to detect start values < 0 Fri, 27 Feb 2026 10:11:00 GMT https://www.spinics.net/lists/smatch/msg01006.html [PATCH smatch] check_idr_alloc: Add a new check to detect start values < 0 https://www.spinics.net/lists/smatch/msg01005.html [PATCH smatch] check_idr_alloc: Add a new check to detect start values < 0 Thu, 26 Feb 2026 13:34:06 GMT https://www.spinics.net/lists/smatch/msg01005.html Re: ida_alloc_range() check question https://www.spinics.net/lists/smatch/msg01004.html Re: ida_alloc_range() check question Thu, 22 Jan 2026 11:46:47 GMT https://www.spinics.net/lists/smatch/msg01004.html Smatch 1.74 released https://www.spinics.net/lists/smatch/msg01003.html Smatch 1.74 released Thu, 22 Jan 2026 08:47:58 GMT https://www.spinics.net/lists/smatch/msg01003.html ida_alloc_range() check question https://www.spinics.net/lists/smatch/msg01002.html ida_alloc_range() check question Sat, 10 Jan 2026 21:06:58 GMT https://www.spinics.net/lists/smatch/msg01002.html Re: [PATCH] smatch_scripts: Fix incomplete quoting in kchecker make command https://www.spinics.net/lists/smatch/msg01001.html Re: [PATCH] smatch_scripts: Fix incomplete quoting in kchecker make command Mon, 15 Dec 2025 14:14:36 GMT https://www.spinics.net/lists/smatch/msg01001.html [PATCH] smatch_scripts: Fix incomplete quoting in kchecker make command https://www.spinics.net/lists/smatch/msg01000.html [PATCH] smatch_scripts: Fix incomplete quoting in kchecker make command Mon, 15 Dec 2025 13:06:22 GMT https://www.spinics.net/lists/smatch/msg01000.html drivers/dpll/dpll_core.c:235 dpll_xa_ref_dpll_first() warn: iterator 'i' not incremented https://www.spinics.net/lists/smatch/msg00999.html drivers/dpll/dpll_core.c:235 dpll_xa_ref_dpll_first() warn: iterator 'i' not incremented Mon, 15 Dec 2025 09:04:39 GMT https://www.spinics.net/lists/smatch/msg00999.html Re: [RFC PATCH] smdb.py : Add depth option to call_tree https://www.spinics.net/lists/smatch/msg00998.html Re: [RFC PATCH] smdb.py : Add depth option to call_tree Tue, 09 Dec 2025 13:26:35 GMT https://www.spinics.net/lists/smatch/msg00998.html [RFC PATCH] smdb.py : Add depth option to call_tree https://www.spinics.net/lists/smatch/msg00997.html [RFC PATCH] smdb.py : Add depth option to call_tree Tue, 09 Dec 2025 12:43:53 GMT https://www.spinics.net/lists/smatch/msg00997.html Re: the sigsegv issue with recent smatch https://www.spinics.net/lists/smatch/msg00996.html Re: the sigsegv issue with recent smatch Wed, 26 Nov 2025 17:39:24 GMT https://www.spinics.net/lists/smatch/msg00996.html Re: apparent bug about check_free_strict https://www.spinics.net/lists/smatch/msg00995.html Re: apparent bug about check_free_strict Wed, 26 Nov 2025 15:57:32 GMT https://www.spinics.net/lists/smatch/msg00995.html Re: the sigsegv issue with recent smatch https://www.spinics.net/lists/smatch/msg00994.html Re: the sigsegv issue with recent smatch Wed, 26 Nov 2025 15:02:52 GMT https://www.spinics.net/lists/smatch/msg00994.html Re: apparent bug about check_free_strict https://www.spinics.net/lists/smatch/msg00993.html Re: apparent bug about check_free_strict Wed, 26 Nov 2025 12:52:35 GMT https://www.spinics.net/lists/smatch/msg00993.html Re: apparent bug about check_free_strict https://www.spinics.net/lists/smatch/msg00992.html Re: apparent bug about check_free_strict Tue, 25 Nov 2025 17:39:21 GMT https://www.spinics.net/lists/smatch/msg00992.html the sigsegv issue with recent smatch https://www.spinics.net/lists/smatch/msg00991.html the sigsegv issue with recent smatch Tue, 25 Nov 2025 16:37:35 GMT https://www.spinics.net/lists/smatch/msg00991.html Re: apparent bug about check_free_strict https://www.spinics.net/lists/smatch/msg00990.html Re: apparent bug about check_free_strict Tue, 25 Nov 2025 15:57:32 GMT https://www.spinics.net/lists/smatch/msg00990.html