Re: sparse on scripts/kconfig/*.c

From	Dan Carpenter <dan.carpenter@oracle.com>
Newsgroups	linux.kernel
Subject	Re: sparse on scripts/kconfig/*.c
Date	2017-05-10 23:00 +0200
Message-ID	<tFGSe-5qI-7@gated-at.bofh.it> (permalink)
References	<tFguJ-4li-3@gated-at.bofh.it> <tFwSS-7SQ-9@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

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.

regards,
dan carpenter

Back to linux.kernel | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

sparse on scripts/kconfig/*.c Randy Dunlap <rdunlap@infradead.org> - 2017-05-09 18:50 +0200
  Re: sparse on scripts/kconfig/*.c Christoph Hellwig <hch@infradead.org> - 2017-05-09 22:20 +0200
    Re: sparse on scripts/kconfig/*.c Randy Dunlap <rdunlap@infradead.org> - 2017-05-10 02:30 +0200
      Re: sparse on scripts/kconfig/*.c Christoph Hellwig <hch@infradead.org> - 2017-05-10 09:30 +0200
        Re: sparse on scripts/kconfig/*.c Randy Dunlap <rdunlap@infradead.org> - 2017-05-10 18:50 +0200
  Re: sparse on scripts/kconfig/*.c Dan Carpenter <dan.carpenter@oracle.com> - 2017-05-10 12:20 +0200
    Re: sparse on scripts/kconfig/*.c Dan Carpenter <dan.carpenter@oracle.com> - 2017-05-10 23:00 +0200

csiph-web