smatch_scripts/build_generic_data.sh

   1 #!/bin/bash
   2
   3 # This is a generic script to parse --info output.  For the kernel, don't use
   4 # this script, use build_kernel_data.sh instead.
   5
   6 NR_CPU=$(cat /proc/cpuinfo | grep ^processor | wc -l)
   7 SCRIPT_DIR=$(dirname $0)
   8 DATA_DIR=smatch_data
   9 PROJECT=smatch_generic
  10 TARGET=""
  11
  12 function usage {
  13     echo
  14     echo "Usage:  $0"
  15     echo "Updates the smatch_data/ directory and builds the smatch database"
  16     echo " -p <project> (default = $PROJECT)"
  17     echo
  18     exit 1
  19 }
  20
  21 while true ; do
  22     if [[ "$1" == "--target" ]] ; then
  23         shift
  24         TARGET="$1"
  25         shift
  26     elif [ "$1" == "-p" ] || [ "$1" == "--project" ] ; then
  27         shift
  28         PROJECT="$1"
  29         shift
  30     elif [ "$1" == "--help" ] || [ "$1" = "-h" ] ; then
  31         usage
  32     else
  33         break
  34     fi
  35 done
  36
  37 if [ -e $SCRIPT_DIR/../smatch ] ; then
  38     BIN_DIR=$SCRIPT_DIR/../
  39 else
  40     echo "This script should be located in the smatch_scripts/ subdirectory of the smatch source."
  41     exit 1
  42 fi
  43
  44 # If someone is building the database for the first time then make sure all the
  45 # required packages are installed
  46 if [ ! -e smatch_db.sqlite ] ; then
  47     [ -e smatch_warns.txt ] || touch smatch_warns.txt
  48     if ! $SCRIPT_DIR/../smatch_data/db/create_db.sh -p=$PROJECT smatch_warns.txt ; then
  49         echo "Hm... Not working.  Make sure you have all the sqlite3 packages"
  50         echo "And the sqlite3 libraries for Perl and Python"
  51         exit 1
  52     fi
  53 fi
  54
  55 make -j${NR_CPU} CHECK="$BIN_DIR/smatch --call-tree --info --param-mapper --spammy --file-output" $TARGET
  56
  57 find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > smatch_warns.txt
  58
  59 for i in $SCRIPT_DIR/gen_* ; do
  60         $i smatch_warns.txt -p=${PROJECT}
  61 done
  62
  63 mkdir -p $DATA_DIR
  64 mv $PROJECT.* $DATA_DIR
  65
  66 $SCRIPT_DIR/../smatch_data/db/create_db.sh -p=$PROJECT smatch_warns.txt
  67