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