smatch_scripts/kchecker

   1 #!/bin/bash
   2
   3 function useage {
   4     echo "Usage:  $0 [--sparse][--valgrind][--debug] path/to/file.c"
   5     exit 1
   6 }
   7
   8 SCRIPT_DIR=$(dirname $0)
   9 if [ -e $SCRIPT_DIR/../smatch ] ; then
  10     CMD=$SCRIPT_DIR/../smatch
  11 elif which smatch | grep smatch > /dev/null ; then
  12     CMD=smatch
  13 else
  14     echo "Smatch binary not found."
  15     exit 1
  16 fi
  17
  18 POST="--project=kernel"
  19
  20 while true ; do
  21     if [[ "$1" == "--sparse" ]] ; then
  22         CMD="sparse"
  23         shift
  24     elif [[ "$1" == "--valgrind" ]] ; then
  25         PRE="valgrind"
  26         shift
  27     elif [[ "$1" == "" ]] ; then
  28         break
  29     else
  30         if [[ "$1" == "--help" ]] ; then
  31                 $CMD --help
  32                 exit 1
  33         fi
  34         if echo $1 | grep -q ^- ; then
  35                 POST="$POST $1"
  36         else
  37                 break
  38         fi
  39         shift
  40     fi
  41 done
  42
  43 cname=$1
  44 cname=$(echo ${cname/.o/.c})
  45 if [[ "$cname" == "" ]] ; then
  46     useage
  47 fi
  48 if ! test -e $cname ; then
  49     useage
  50 fi
  51
  52 oname=$(echo ${cname/.c/.o})
  53 if ! echo $oname | grep .o$ > /dev/null ; then
  54     useage
  55 fi
  56 rm -f $oname
  57 make C=y CHECK="$PRE $CMD $POST" $oname