smatch_data/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
   9 delete from caller_info where function = '(struct file_operations)->read' and file != 'fs/read_write.c';
  10 delete from caller_info where function = '(struct file_operations)->write' and file != 'fs/read_write.c';
  11
  12 delete from caller_info where function = '(struct notifier_block)->notifier_call';
  13 delete from caller_info where caller = 'hid_input_report' and type = 3;
  14 delete from caller_info where caller = 'nes_process_iwarp_aeqe' and type = 3;
  15 delete from caller_info where caller = 'oz_process_ep0_urb' and type = 3;
  16 delete from caller_info where function = 'dev_hard_start_xmit' and key = '\$\$' and type = 3;
  17 delete from caller_info where caller = 'packet_rcv_fanout' and function = '(struct packet_type)->func' and parameter = 1 and type = 3;
  18
  19 EOF
  20