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 -- To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html