smatch_data/db/fixup_all.sh

   1 #!/bin/bash
   2
   3 db_file=$1
   4 cat << EOF | sqlite3 $db_file
   5
   6 delete from return_states where function = 'strlen';
   7 delete from return_states where function = 'strnlen';
   8 delete from return_states where function = 'sprintf';
   9 delete from return_states where function = 'snprintf';
  10
  11 EOF
  12