smatch_scripts/implicit_dependencies/constants.py

   1 from collections import defaultdict
   2
   3 # location of kernel.implicit_dependencies
   4 IMPL_DEP_FILE_STR = "../../smatch_data/kernel.implicit_dependencies"
   5 OUTPUT_FILE_STR = "implicit_dependencies"
   6
   7 # struct fields to ignore, because they are too common
   8 GLOBAL_BLACKLIST = [
   9     ('fd', 'file'),
  10 ]
  11
  12 # here we can manually add struct fields that smatch missed
  13 hardcode_syscall_write_fields = {}
  14
  15 # here we can manually add struct fields that smatch missed
  16 hardcode_syscall_read_fields = {
  17     "msync": [("vm_area_struct", "vm_flags"), ("vm_area_struct", "vm_file")]
  18 }
  19
  20 SYSCALL_PREFIXES = [
  21     "SYSC_",
  22     "C_SYSC_",
  23     "sys_",
  24 ]
  25
  26 class ListType(object):
  27     READ = "read_list"
  28     WRITE = "write_list"