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"