Mirror/frr
0
0
Fork 1
mirror of https://github.com/FRRouting/frr.git synced 2025-04-30 21:47:15 +02:00
Code Issues Actions 4 Packages Projects Releases Wiki Activity

tools: Catch more argv_find() when not checked properly

Browse source 
Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
This commit is contained in:
Donatas Abraitis 2022-05-12 10:09:42 +03:00
parent e34627f9c7
commit ededfdb4d1
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
tools/coccinelle/argv_find.cocci
View file

@ -4,8 +4,10 @@ identifier argv;
identifier argc;
expression e1;
expression e2;
identifier I;
@@
(
- argv_find(argv, argc, e1, &idx);
if (
- idx
@ -14,3 +16,8 @@ expression e2;
{
e2;
}
|
- argv_find(argv, argc, e1, &idx);
... when != I = idx;
when strict
)