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