ACIL FM

Nama	Ukuran	Aksi
add_namespace.cocci	837 B	View DL Edit
array_size.cocci	1.69 MB	View DL Edit
array_size_dup.cocci	4.78 MB	View DL Edit
badty.cocci	1.69 MB	View DL Edit
boolconv.cocci	1.47 MB	View DL Edit
boolreturn.cocci	698 B	View DL Edit
bugon.cocci	1.48 MB	View DL Edit
cond_no_effect.cocci	2.07 MB	View DL Edit
cstptr.cocci	852 B	View DL Edit
doubleinit.cocci	1.38 MB	View DL Edit
excluded_middle.cocci	677 B	View DL Edit
flexible_array.cocci	1.78 MB	View DL Edit
ifaddr.cocci	684 B	View DL Edit
ifcol.cocci	1.23 MB	View DL Edit
irqf_oneshot.cocci	1.96 MB	View DL Edit
minmax.cocci	3.21 MB	View DL Edit
newline_in_nl_msg.cocci	1.61 MB	View DL Edit
noderef.cocci	1.19 MB	View DL Edit
of_table.cocci	1.33 MB	View DL Edit
orplus.cocci	1.03 MB	View DL Edit
returnvar.cocci	1.26 MB	View DL Edit
semicolon.cocci	1.07 MB	View DL Edit
swap.cocci	1.48 MB	View DL Edit
uninitialized_var.cocci	1.59 MB	View DL Edit
warn.cocci	1.65 MB	View DL Edit

Edit file: /usr/src/kernels/5.14.0-427.31.1.el9_4.x86_64/scripts/coccinelle/misc/array_size.cocci

// SPDX-License-Identifier: GPL-2.0-only
/// Use ARRAY_SIZE instead of dividing sizeof array with sizeof an element
///
//# This makes an effort to find cases where ARRAY_SIZE can be used such as
//# where there is a division of sizeof the array by the sizeof its first
//# element or by any indexed element or the element type. It replaces the
//# division of the two sizeofs by ARRAY_SIZE.
//
// Confidence: High
// Copyright: (C) 2014 Himangi Saraogi.
// Comments:
// Options: --no-includes --include-headers

virtual patch
virtual context
virtual org
virtual report

@i@
@@

#include <linux/kernel.h>

//----------------------------------------------------------
//  For context mode
//----------------------------------------------------------

@depends on i&&context@
type T;
T[] E;
@@
(
* (sizeof(E)/sizeof(*E))
|
* (sizeof(E)/sizeof(E[...]))
|
* (sizeof(E)/sizeof(T))
)

//----------------------------------------------------------
//  For patch mode
//----------------------------------------------------------

@depends on i&&patch@
type T;
T[] E;
@@
(
- (sizeof(E)/sizeof(*E))
+ ARRAY_SIZE(E)
|
- (sizeof(E)/sizeof(E[...]))
+ ARRAY_SIZE(E)
|
- (sizeof(E)/sizeof(T))
+ ARRAY_SIZE(E)
)

//----------------------------------------------------------
//  For org and report mode
//----------------------------------------------------------

@r depends on (org || report)@
type T;
T[] E;
position p;
@@
(
 (sizeof(E)@p /sizeof(*E))
|
 (sizeof(E)@p /sizeof(E[...]))
|
 (sizeof(E)@p /sizeof(T))
)