smatch_scripts/kchecker

   1 #!/bin/bash
   2
   3 function useage {
   4     echo "Usage:  $0 [--debug][--valgrind] path/to/file.c"
   5     exit 1
   6 }
   7
   8 CMD=smatch
   9
  10 while true ; do
  11     if [[ "$1" == "--debug" ]] ; then
  12         POST="$POST --debug"
  13         shift
  14     elif [[ "$1" == "--debug-implied" ]] ; then
  15         POST="$POST --debug-implied"
  16         shift
  17     elif [[ "$1" == "--valgrind" ]] ; then
  18         PRE="valgrind"
  19         shift
  20     elif [[ "$1" == "--sparse" ]] ; then
  21         CMD="sparse"
  22         shift
  23     else
  24         break
  25     fi
  26 done
  27
  28 cname=$1
  29 if [[ "$cname" == "" ]] ; then
  30     useage
  31 fi
  32 if ! test -e $cname ; then
  33     useage
  34 fi
  35
  36 oname=$(echo ${cname/.c/.o})
  37 rm -f $oname
  38 make C=y CHECK="$PRE $CMD $POST" $oname