smatch_scripts/build_generic_info.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 SCRIPT_DIR=$(dirname $0)
   7 DATA_DIR=smatch_data
   8 PROJECT=smatch_generic
   9
  10 function usage {
  11     echo
  12     echo "Usage:  $0"
  13     echo "Updates the smatch_data/ directory and builds the smatch database"
  14     echo
  15     exit 1
  16 }
  17
  18 if [ "$1" = "-h" ] || [ "$1" = "--help" ] ; then
  19         usage;
  20 fi
  21
  22 if [ -e $SCRIPT_DIR/../smatch ] ; then
  23     BIN_DIR=$SCRIPT_DIR/../
  24 else
  25     echo "This script should be located in the smatch_scripts/ subdirectory of the smatch source."
  26     exit 1
  27 fi
  28
  29 # If someone is building the database for the first time then make sure all the
  30 # required packages are installed
  31 if [ ! -e smatch_db.sqlite ] ; then
  32     [ -e smatch_warns.txt ] || touch smatch_warns.txt
  33     if ! $SCRIPT_DIR/../smatch_data/db/create_db.sh -p=kernel smatch_warns.txt ; then
  34         echo "Hm... Not working.  Make sure you have all the sqlite3 packages"
  35         echo "And the sqlite3 libraries for Perl and Python"
  36         exit 1
  37     fi
  38 fi
  39
  40 make CHECK="$BIN_DIR/smatch --call-tree --info --param-mapper --spammy --file-output"
  41
  42 find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > smatch_warns.txt
  43
  44 for i in $SCRIPT_DIR/gen_* ; do
  45         $i smatch_warns.txt -p=${PROJECT}
  46 done
  47
  48 mkdir -p $DATA_DIR
  49 mv $PROJECT.* $DATA_DIR
  50
  51 $SCRIPT_DIR/../smatch_data/db/create_db.sh smatch_warns.txt
  52