Searched refs:smatch (Results 1 – 25 of 49) sorted by relevance
12
49 if [ -e $SCRIPT_DIR/../smatch ] ; then50 cp $SCRIPT_DIR/../smatch $SCRIPT_DIR/../bak.smatch51 CMD=$SCRIPT_DIR/../bak.smatch52 elif which smatch | grep smatch > /dev/null ; then53 CMD=smatch67 find -name \*.c.smatch -exec rm \{\} \;71 find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > $WLOG72 find -name \*.c.smatch.sql -exec cat \{\} \; -exec rm \{\} \; > $WLOG.sql73 find -name \*.c.smatch.caller_info -exec cat \{\} \; -exec rm \{\} \; > $WLOG.caller_info
45 if [ -e $SCRIPT_DIR/../smatch ] ; then46 cp $SCRIPT_DIR/../smatch $SCRIPT_DIR/../bak.smatch47 CMD=$SCRIPT_DIR/../bak.smatch48 elif which smatch | grep smatch > /dev/null ; then49 CMD=smatch63 find -name \*.c.smatch -exec rm \{\} \;66 find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > $WLOG
9 if [ -e $SCRIPT_DIR/../smatch ] ; then10 CMD=$SCRIPT_DIR/../smatch11 elif which smatch | grep smatch > /dev/null ; then12 CMD=smatch52 if echo $CMD | grep -q smatch ; then
9 if [ -e $SCRIPT_DIR/../smatch ] ; then10 CMD=$SCRIPT_DIR/../smatch11 elif which smatch | grep smatch > /dev/null ; then12 CMD=smatch
18 tmp=$(mktemp /tmp/smatch.XXXX)19 tmp2=$(mktemp /tmp/smatch.XXXX)
18 if [ -e $SCRIPT_DIR/../smatch -a -d kernel -a -d fs ] ; then19 CMD=$SCRIPT_DIR/../smatch
14 tmp=$(mktemp /tmp/smatch.XXXX)15 tmp2=$(mktemp /tmp/smatch.XXXX)
15 tmp=$(mktemp /tmp/smatch.XXXX)16 tmp2=$(mktemp /tmp/smatch.XXXX)
37 if [ -e $SCRIPT_DIR/../smatch ] ; then64 find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > smatch_warns.txt
17 tmp=$(mktemp /tmp/smatch.XXXX)
18 tmp=$(mktemp /tmp/smatch.XXXX)
10 The Smatch mailing list is <smatch@vger.kernel.org>.39 ~/progs/smatch/devel/smatch_data/db/create_db.sh47 ~/progs/smatch/devel/smatch_scripts/test_kernel.sh49 The test_kernel.sh script will create a .c.smatch file for every file it tests54 ~/progs/smatch/devel/smatch_scripts/kchecker drivers/whatever/file.c58 ~/progs/smatch/devel/smatch_scripts/kchecker drivers/whatever/69 make CHECK="~/progs/smatch/devel/smatch --full-path" \70 CC=~/progs/smatch/devel/smatch/cgcc | tee smatch_warns.txt
25 https://github.com/error27/smatch26 https://repo.or.cz/w/smatch.git30 Send patches for to Smatch to <smatch@vger.kernel.org>. If the code is
9 untagged memory addresses. This document describes how smatch can be used27 $ ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- ~/smatch/smatch_scripts/build_kernel_data.sh31 multiple iterations of Smatch, it may be beneficial to delete any smatch*62 $ ~/smatch/smatch_data/db/smdb.py find_tagged __get_user_pages 298 $ ~/smatch/smatch_data/db/smdb.py parse_warns_tagged smatch_warns.txt133 $ ~/smatch/smatch_data/db/smdb.py call_tree __get_user_pages175 This annotation tells smatch that regardless to the value stored in 'len' it
6 ../smatch $*
3 ../smatch --info $* > warns.txt
2 * These macros are actively misleading to smatch so
1 /* These are "too hairy" for smatch. */
22 PROG = smatch41 SMATCHDATADIR = $(ROOTONBLDSHARE)/smatch193 OBJS = smatch.o $(LIB_OBJS) $(SMATCH_OBJS) $(SMATCH_CHECK_OBJS)