Are there any tools (preferably on linux) that can warn when an argument is

Question

0

Asked: June 16, 20262026-06-16T07:46:43+00:00 2026-06-16T07:46:43+00:00

Are there any tools (preferably on linux) that can warn when an argument is

0

Are there any tools (preferably on linux) that can warn when an argument is defined as a smaller array then the prototype specifies?

eg:

void somefunc(float arg[10]);  /* normally this would be defined in a header */

void my_func(void)
{
    float arg[2];
    somefunc(arg);  /* <-- this could be a warning */
}

I realize this isn’t invalid code but it could resolve some common mistakes if it were possible to warn of it (ran into one of these bugs recently).

Some tools (clang static checker for eg), will warn if the function is in the same file and sets a value outside the array bounds, but I was wondering if anything will warn if the arg is smaller then the prototype alone.

I’ve used cppcheck, clang, smatch, splint, gcc’s -Wextra… but none complain of this.