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 CMD=smatch
   9
  10 while true ; do
  11     if [[ "$1" == "--sparse" ]] ; then
  12         CMD="sparse"
  13         shift
  14     elif [[ "$1" == "--valgrind" ]] ; then
  15         PRE="valgrind"
  16         shift
  17     elif [[ "$1" == "" ]] ; then
  18         break
  19     else
  20         if [[ "$1" == "--help" ]] ; then
  21                 $CMD --help
  22                 exit 1
  23         fi
  24         if echo $1 | grep -q ^- ; then
  25                 POST="$POST $1"
  26         else
  27                 break
  28         fi
  29         shift
  30     fi
  31 done
  32
  33 cname=$1
  34 cname=$(echo ${cname/.o/.c})
  35 if [[ "$cname" == "" ]] ; then
  36     useage
  37 fi
  38 if ! test -e $cname ; then
  39     useage
  40 fi
  41
  42 oname=$(echo ${cname/.c/.o})
  43 if ! echo $oname | grep .o$ > /dev/null ; then
  44     useage
  45 fi
  46 rm -f $oname
  47 make C=y CHECK="$PRE $CMD $POST" $oname