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