linux-kernel - Re: smatch usage (was Re: [PATCH v2 4/4] net: mdio: Add RTL9300 MDIO driver)

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <f37af3d9-84b5-4d53-ae07-3f3ff020460a@stanley.mountain>
Date: Wed, 18 Dec 2024 17:27:56 +0300
From: Dan Carpenter <dan.carpenter@...aro.org>
To: Chris Packham <chris.packham@...iedtelesis.co.nz>
Cc: Simon Horman <horms@...nel.org>, linux-kernel@...r.kernel.org
Subject: Re: smatch usage (was Re: [PATCH v2 4/4] net: mdio: Add RTL9300 MDIO
 driver)

On Wed, Dec 18, 2024 at 09:39:41AM +1300, Chris Packham wrote:
> > I wasn't able to use O=... with the kchecker script but if I call make
> > directly then it works for me:
> > 
> > make O=/home/dcarpenter/progs/kernel/build/build_smatch/ allyesconfig
> > make O=/home/dcarpenter/progs/kernel/build/build_smatch/ C=2 'CHECK= /home/dcarpenter/progs/smatch/release/smatch_scripts/../smatch --project=kernel --succeed ' drivers/net/mdio/mdio-realtek-rtl.o
> > 
> > regards,
> > dan carpenter
> 
> Hi Dan,
> 
> I think the problem was I had libsqilite3-dev installed but not sqlite3. I
> rebuilt smatch after installing the sqlite3 package and now my original
> incantation works as well as your one above.
> 

That's so weird.  The sqlite3 requirement was only intended for if you
build the cross function DB.  The scripts to build the DB are a mix of
Perl and shell.

Anyway, good that it's working now.

regards,
dan carpenter