Print this page
11972 resync smatch


   4 project=$(echo "$2" | cut -d = -f 2)
   5 
   6 if [[ "$file" = "" ]] ; then
   7     echo "Usage:  $0 <file with smatch messages> -p=<project>"
   8     exit 1
   9 fi
  10 
  11 if [[ "$project" != "kernel" ]] ; then
  12     exit 0
  13 fi
  14 
  15 outfile="kernel.rosenberg_funcs"
  16 bin_dir=$(dirname $0)
  17 remove=$(echo ${bin_dir}/../smatch_data/${outfile}.remove)
  18 tmp=$(mktemp /tmp/smatch.XXXX)
  19 tmp2=$(mktemp /tmp/smatch.XXXX)
  20 
  21 echo "// list of copy_to_user function and buffer parameters." > $outfile
  22 echo '// generated by `gen_rosenberg_funcs.sh`' >> $outfile
  23 ${bin_dir}/trace_params.pl $file copy_to_user 1 >> $tmp

  24 ${bin_dir}/trace_params.pl $file nla_put 3 >> $tmp



  25 cat $tmp | sort -u > $tmp2
  26 mv $tmp2 $tmp
  27 cat $tmp $remove $remove 2> /dev/null | sort | uniq -u >> $outfile
  28 rm $tmp
  29 echo "Done.  List saved as '$outfile'"


   4 project=$(echo "$2" | cut -d = -f 2)
   5 
   6 if [[ "$file" = "" ]] ; then
   7     echo "Usage:  $0 <file with smatch messages> -p=<project>"
   8     exit 1
   9 fi
  10 
  11 if [[ "$project" != "kernel" ]] ; then
  12     exit 0
  13 fi
  14 
  15 outfile="kernel.rosenberg_funcs"
  16 bin_dir=$(dirname $0)
  17 remove=$(echo ${bin_dir}/../smatch_data/${outfile}.remove)
  18 tmp=$(mktemp /tmp/smatch.XXXX)
  19 tmp2=$(mktemp /tmp/smatch.XXXX)
  20 
  21 echo "// list of copy_to_user function and buffer parameters." > $outfile
  22 echo '// generated by `gen_rosenberg_funcs.sh`' >> $outfile
  23 ${bin_dir}/trace_params.pl $file copy_to_user 1 >> $tmp
  24 ${bin_dir}/trace_params.pl $file rds_info_copy 1 >> $tmp
  25 ${bin_dir}/trace_params.pl $file nla_put 3 >> $tmp
  26 ${bin_dir}/trace_params.pl $file snd_timer_user_append_to_tqueue 1 >> $tmp
  27 ${bin_dir}/trace_params.pl $file __send_signal 1 >> $tmp
  28 
  29 cat $tmp | sort -u > $tmp2
  30 mv $tmp2 $tmp
  31 cat $tmp $remove $remove 2> /dev/null | sort | uniq -u >> $outfile
  32 rm $tmp
  33 echo "Done.  List saved as '$outfile'"