smatch_scripts/db/fixup_kernel.sh

   1 #!/bin/bash
   2
   3 # mark some paramaters as coming from user space
   4 cat << EOF | sqlite3 smatch_db.sqlite
   5 insert into caller_info values ('userspace', '', 'compat_sys_ioctl', 0, 0, 3, 0, '$$', '1');
   6 insert into caller_info values ('userspace', '', 'compat_sys_ioctl', 0, 0, 3, 1, '$$', '1');
   7 insert into caller_info values ('userspace', '', 'compat_sys_ioctl', 0, 0, 3, 2, '$$', '1');
   8 EOF
   9