Messages in this thread | | | Subject | Re: sparse on scripts/kconfig/*.c | From | Randy Dunlap <> | Date | Mon, 15 May 2017 11:00:22 -0700 |
| |
On 05/10/17 13:53, Dan Carpenter wrote: > I have created some new tools to make this process easier. > > 1) First you still have to edit the Makefile: > > -HOSTCC = gcc > +HOSTCC = ~/progs/smatch/devel/cgcc > > 2) Build the data with this command: > > ~/progs/smatch/devel/smatch_scripts/build_generic_data.sh --target scripts/ > > The --target scripts/ is because we want to run smatch on the scripts/ > directory. > > 3) Run smatch: > > ~/progs/smatch/devel/smatch_scripts/test_generic.sh --target scripts/ > > I just wrote this code today so it might be a bit rough perhaps. Let me > know if you have any issues. It doesn't find anything like I said > before, but hopefully this can help other people who want to run Smatch > on user space code.
Thanks, Dan.
I get this when running build_generic_data.sh:
readline() on closed filehandle FILE at /home/rdunlap/projects/smatch/smatch_scripts/../smatch_data/db/fill_db_caller_info.pl line 33.
I see scripts/mod/* being built/checked ... but not scripts/kconfig/*.
Any ideas?
-- ~Randy
| |