smatch_data/db/fixup_all.sh

   1 #!/bin/bash
   2
   3 # mark some paramaters as coming from user space
   4 cat << EOF | sqlite3 smatch_db.sqlite
   5
   6 update return_states set return = '0-u32max[<=p1]' where function = 'strnlen';
   7
   8 EOF
   9