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"