On Thu, Jan 23, 2025 at 03:38:55PM +0100, Bernd Schubert wrote:
>
>
> On 1/23/25 14:34, Dan Carpenter wrote:
> > Hello Bernd Schubert,
> >
> > Commit e24b7a3b70ae ("fuse: make args->in_args[0] to be always the
> > header") from Jan 20, 2025 (linux-next), leads to the following
> > Smatch static checker warning:
> >
> > fs/fuse/dir.c:596 get_create_ext()
> > error: buffer overflow 'args->in_args' 3 <= 3
> >
>
> Oh no, right. I just wonder why I don't get the same report
>
The data is set two functions away from where it's used so you need to
rebuild the cross function database twice. The cross function database
isn't complicated but it takes hours and hours to build.
smatch_scripts/build_kernel_data.sh
I rebuild my cross function database once a day so eventually the
whole call tree gets built.
regards,
dan carpenter
