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