2 #define CK(_x) void _x(int id);
6 CK(register_smatch_extra
) /* smatch_extra always has to be first */
7 CK(register_modification_hooks
)
8 CK(register_definition_db_callbacks
)
10 CK(register_untracked_param
)
12 CK(register_smatch_ignore
)
15 CK(register_strlen_equiv
)
17 CK(register_parse_call_math
)
18 CK(register_param_limit
)
19 CK(register_param_filter
)
20 CK(register_param_set
)
21 CK(register_param_cleared
)
22 CK(register_struct_assignment
)
23 CK(register_comparison
)
24 CK(register_comparison_links
)
25 CK(register_local_values
)
26 CK(register_function_ptrs
)
28 CK(register_start_states
)
30 CK(register_data_source
)
31 CK(register_common_functions
)
32 CK(register_stored_conditions_links
)
33 CK(register_function_info
)
34 CK(register_auto_copy
)
35 CK(register_type_links
)
36 CK(register_impossible
)
39 CK(check_assigned_expr
)
40 CK(check_assigned_expr_links
)
47 CK(check_dereferences_param
)
52 CK(check_allocation_funcs
)
53 CK(check_frees_argument
)
58 CK(check_format_string
)
60 CK(check_dma_on_stack
)
61 CK(check_param_mapper
)
63 CK(check_dev_queue_xmit
)
68 CK(check_resource_size
)
69 CK(check_release_resource
)
71 CK(check_freeing_null
)
77 CK(check_return_efault
)
80 CK(check_kmalloc_to_bugon
)
81 CK(check_platform_device_put
)
83 CK(check_return_enomem
)
84 CK(check_get_user_overflow
)
85 CK(check_get_user_overflow2
)
86 CK(check_access_ok_math
)
87 CK(check_container_of
)
88 CK(check_input_free_device
)
91 CK(check_logical_instead_of_bitwise
)
92 CK(check_kmalloc_wrong_size
)
93 CK(check_pointer_math
)
95 CK(check_macro_side_effects
)
98 CK(check_passes_sizeof
)
99 CK(check_assign_vs_compare
)
100 CK(check_missing_break
)
101 CK(check_array_condition
)
102 CK(check_struct_type
)
103 CK(check_64bit_shift
)
104 CK(check_cast_assign
)
105 CK(check_readl_infinite_loops
)
106 CK(check_double_checking
)
107 CK(check_shift_to_zero
)
108 CK(check_unreachable
)
109 CK(check_no_if_block
)
110 CK(check_buffer_too_small_for_struct
)
112 /* <- your test goes here */
113 /* CK(register_template) */
115 /* kernel specific */
117 CK(check_puts_argument
)
119 CK(check_err_ptr_deref
)
120 CK(check_expects_err_ptr
)
122 CK(check_return_negative_var
)
125 CK(check_wait_for_common
)
126 CK(check_bogus_irqrestore
)
127 CK(check_buf_comparison
)
128 CK(check_buf_comparison_links
)
132 /* wine specific stuff */
133 CK(check_wine_filehandles
)
136 #include "check_list_local.h"
138 CK(register_stored_conditions
)
140 CK(register_buf_size_late
)
141 CK(register_modification_hooks_late
)
142 CK(register_smatch_extra_late
)
143 CK(check_kernel
) /* this is overwriting stuff from smatch_extra_late */
144 CK(register_function_hooks
)
146 CK(register_db_call_marker
) /* always second last */
147 CK(register_implications
) /* implications always has to be last */