coccinelle: misc: add array_size_dup script to detect missed overflow checks
authorDenis Efremov <efremov@linux.com>
Mon, 22 Jun 2020 22:10:56 +0000 (01:10 +0300)
committerJulia Lawall <Julia.Lawall@lip6.fr>
Tue, 4 Aug 2020 20:46:58 +0000 (22:46 +0200)
commitde50862520480b90ec2fcaed6ad1ad41462fbf30
tree6d2c8bd771e8964fed04e198526d547f74abb7dd
parent2fbecb7dfefdbe8250a86f92bb81d87deebc0488
coccinelle: misc: add array_size_dup script to detect missed overflow checks

Detect an opencoded expression that is used before or after
array_size()/array3_size()/struct_size() to compute the same size.

Signed-off-by: Denis Efremov <efremov@linux.com>
Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
scripts/coccinelle/misc/array_size_dup.cocci [new file with mode: 0644]