Jacob Keller e754948125 coccinelle: semantic patch to check for potential struct_size calls ... include/linux/overflow.h includes helper macros intended for calculating sizes of allocations. These macros prevent accidental overflow by saturating at SIZE_MAX. In general when calculating such sizes use of the macros is preferred. Add a semantic patch which can detect code patterns which can be replaced by struct_size. Note that I set the confidence to medium because this patch doesn't make an attempt to ensure that the relevant array is actually a flexible array. The struct_size macro does specifically require a flexible array. In many cases the detected code could be refactored to a flexible array, but this is not always possible (such as if there are multiple over-allocations). Signed-off-by: Jacob Keller <jacob.e.keller@intel.com> Link: https://lore.kernel.org/r/20230227202428.3657443-1-jacob.e.keller@intel.com Signed-off-by: Kees Cook <keescook@chromium.org>		2024-02-29 13:38:01 -08:00
..
api	coccinelle: Add rules to find str_plural() replacements	2024-02-29 13:38:01 -08:00
free	update Coccinelle URL	2022-08-07 21:30:36 +02:00
iterators	update Coccinelle URL	2022-08-07 21:30:36 +02:00
locks	update Coccinelle URL	2022-08-07 21:30:36 +02:00
misc	coccinelle: semantic patch to check for potential struct_size calls	2024-02-29 13:38:01 -08:00
null	update Coccinelle URL	2022-08-07 21:30:36 +02:00
tests	update Coccinelle URL	2022-08-07 21:30:36 +02:00