/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_continue_vs_break.c | 122 add_hook(&match_stmt, STMT_HOOK); in check_continue_vs_break() 123 add_hook(&match_stmt_after, STMT_HOOK_AFTER); in check_continue_vs_break() 124 add_hook(&match_inline_start, INLINE_FN_START); in check_continue_vs_break() 125 add_hook(&match_inline_end, INLINE_FN_END); in check_continue_vs_break() 127 add_hook(&match_continue, STMT_HOOK); in check_continue_vs_break()
|
H A D | smatch_start_states.c | 62 add_hook(&save_start_states, AFTER_DEF_HOOK); in register_start_states() 63 add_hook(&match_save_states, INLINE_FN_START); in register_start_states() 64 add_hook(&match_restore_states, INLINE_FN_END); in register_start_states() 65 add_hook(&match_end_func, AFTER_FUNC_HOOK); in register_start_states()
|
H A D | check_precedence.c | 148 add_hook(&match_condition, CONDITION_HOOK); in check_precedence() 149 add_hook(&match_binop, BINOP_HOOK); in check_precedence() 150 add_hook(&match_mask, BINOP_HOOK); in check_precedence() 151 add_hook(&match_mask_compare, BINOP_HOOK); in check_precedence() 152 add_hook(&match_subtract_shift, BINOP_HOOK); in check_precedence()
|
H A D | check_readl_infinite_loops.c | 158 add_hook(match_assign, ASSIGNMENT_HOOK); in check_readl_infinite_loops() 159 add_hook(check_condition, CONDITION_HOOK); in check_readl_infinite_loops() 161 add_hook(&match_return, RETURN_HOOK); in check_readl_infinite_loops() 163 add_hook(before_loop, STMT_HOOK); in check_readl_infinite_loops() 164 add_hook(after_loop, STMT_HOOK_AFTER); in check_readl_infinite_loops()
|
H A D | check_missing_break.c | 184 add_hook(&match_assign, ASSIGNMENT_HOOK); in check_missing_break() 185 add_hook(&match_symbol, SYM_HOOK); in check_missing_break() 186 add_hook(&match_stmt, STMT_HOOK); in check_missing_break() 187 add_hook(&match_switch, STMT_HOOK); in check_missing_break() 188 add_hook(&match_switch_end, STMT_HOOK_AFTER); in check_missing_break()
|
H A D | smatch_modification_hooks.c | 276 add_hook(&match_assign_early, ASSIGNMENT_HOOK); in register_modification_hooks() 277 add_hook(&unop_expr_early, OP_HOOK); in register_modification_hooks() 278 add_hook(&asm_expr_early, ASM_HOOK); in register_modification_hooks() 283 add_hook(&match_call, FUNCTION_CALL_HOOK); in register_modification_hooks_late() 288 add_hook(&match_assign_late, ASSIGNMENT_HOOK_AFTER); in register_modification_hooks_late() 289 add_hook(&unop_expr_late, OP_HOOK); in register_modification_hooks_late() 290 add_hook(&asm_expr_late, ASM_HOOK); in register_modification_hooks_late()
|
H A D | check_unused_ret.c | 207 add_hook(&match_assign_call, CALL_ASSIGNMENT_HOOK); in check_unused_ret() 208 add_hook(&match_assign, ASSIGNMENT_HOOK); in check_unused_ret() 209 add_hook(&match_symbol, SYM_HOOK); in check_unused_ret() 210 add_hook(&match_end_func, END_FUNC_HOOK); in check_unused_ret() 211 add_hook(&match_after_func, AFTER_FUNC_HOOK); in check_unused_ret()
|
H A D | check_uninitialized.c | 387 add_hook(&match_declarations, DECLARATION_HOOK); in check_uninitialized() 389 add_hook(&match_assign, ASSIGNMENT_HOOK); in check_uninitialized() 390 add_hook(&match_negative_comparison, CONDITION_HOOK); in check_uninitialized() 394 add_hook(&match_dereferences, DEREF_HOOK); in check_uninitialized() 395 add_hook(&match_condition, CONDITION_HOOK); in check_uninitialized() 396 add_hook(&match_call, FUNCTION_CALL_HOOK); in check_uninitialized() 397 add_hook(&match_call_struct_members, FUNCTION_CALL_HOOK); in check_uninitialized() 398 add_hook(&match_symbol, SYM_HOOK); in check_uninitialized()
|
H A D | smatch_returns.c | 134 add_hook(&match_end_func, END_FUNC_HOOK); in register_returns() 135 add_hook(&match_save_states, INLINE_FN_START); in register_returns() 136 add_hook(&match_restore_states, INLINE_FN_END); in register_returns() 137 add_hook(&free_resources, AFTER_FUNC_HOOK); in register_returns()
|
H A D | check_implicit_dependencies_tester.c | 163 add_hook(&match_syscall_definition, AFTER_DEF_HOOK); in check_implicit_dependencies_tester() 164 add_hook(&match_after_syscall, AFTER_FUNC_HOOK); in check_implicit_dependencies_tester() 165 add_hook(&match_condition, CONDITION_HOOK); in check_implicit_dependencies_tester() 166 add_hook(&match_function_call, FUNCTION_CALL_HOOK); in check_implicit_dependencies_tester()
|
H A D | check_spectre_second_half.c | 120 add_hook(&match_assign, ASSIGNMENT_HOOK); in check_spectre_second_half() 121 add_hook(&match_done, SYM_HOOK); in check_spectre_second_half() 122 add_hook(&match_done, DEREF_HOOK); in check_spectre_second_half() 124 add_hook(&match_end_func, END_FUNC_HOOK); in check_spectre_second_half()
|
H A D | check_implicit_dependencies.c | 301 add_hook(&match_syscall_definition, AFTER_DEF_HOOK); in check_implicit_dependencies() 302 add_hook(&match_after_syscall, AFTER_FUNC_HOOK); in check_implicit_dependencies() 303 add_hook(&match_condition, CONDITION_HOOK); in check_implicit_dependencies() 304 add_hook(&match_call_info, FUNCTION_CALL_HOOK); in check_implicit_dependencies() 307 add_hook(&match_assign_value, ASSIGNMENT_HOOK_AFTER); in check_implicit_dependencies() 308 add_hook(&unop_expr, OP_HOOK); in check_implicit_dependencies()
|
H A D | smatch_type_val.c | 667 add_hook(&clear_cache, AFTER_FUNC_HOOK); in register_type_val() 672 add_hook(&match_assign_value, ASSIGNMENT_HOOK_AFTER); in register_type_val() 673 add_hook(&match_assign_pointer, ASSIGNMENT_HOOK); in register_type_val() 674 add_hook(&unop_expr, OP_HOOK); in register_type_val() 675 add_hook(&asm_expr, ASM_HOOK); in register_type_val() 680 add_hook(&match_inline_start, INLINE_FN_START); in register_type_val() 681 add_hook(&match_inline_end, INLINE_FN_END); in register_type_val() 683 add_hook(&match_end_func_info, END_FUNC_HOOK); in register_type_val() 684 add_hook(&match_after_func, AFTER_FUNC_HOOK); in register_type_val() 686 add_hook(&match_global_assign, GLOBAL_ASSIGNMENT_HOOK); in register_type_val() [all …]
|
H A D | check_frees_argument.c | 136 add_hook(&match_function_def, FUNC_DEF_HOOK); in check_frees_argument() 141 add_hook(&match_return, RETURN_HOOK); in check_frees_argument() 142 add_hook(&match_end_func, END_FUNC_HOOK); in check_frees_argument() 143 add_hook(&match_after_func, AFTER_FUNC_HOOK); in check_frees_argument()
|
H A D | check_deref.c | 287 add_hook(&match_dereferences, DEREF_HOOK); in check_deref() 288 add_hook(&match_pointer_as_array, OP_HOOK); in check_deref() 290 add_hook(&match_condition, CONDITION_HOOK); in check_deref() 291 add_hook(&match_declarations, DECLARATION_HOOK); in check_deref() 292 add_hook(&match_assign, ASSIGNMENT_HOOK); in check_deref() 293 add_hook(&match_assigns_address, ASSIGNMENT_HOOK); in check_deref()
|
H A D | check_leaks.c | 263 add_hook(&match_condition, CONDITION_HOOK); in check_leaks() 265 add_hook(&match_function_call, FUNCTION_CALL_HOOK); in check_leaks() 266 add_hook(&match_assign, ASSIGNMENT_HOOK); in check_leaks() 268 add_hook(&match_return, RETURN_HOOK); in check_leaks() 269 add_hook(&match_end_func, END_FUNC_HOOK); in check_leaks()
|
H A D | check_shift_to_zero.c | 92 add_hook(&match_binop, BINOP_HOOK); in check_shift_to_zero() 93 add_hook(&match_binop2, BINOP_HOOK); in check_shift_to_zero() 95 add_hook(&match_assign, ASSIGNMENT_HOOK); in check_shift_to_zero()
|
H A D | smatch_param_limit.c | 199 add_hook(&save_start_states, AFTER_DEF_HOOK); in register_param_limit() 200 add_hook(&free_start_states, AFTER_FUNC_HOOK); in register_param_limit() 206 add_hook(&match_save_states, INLINE_FN_START); in register_param_limit() 207 add_hook(&match_restore_states, INLINE_FN_END); in register_param_limit()
|
H A D | smatch_param_used.c | 115 add_hook(&match_function_def, FUNC_DEF_HOOK); in register_param_used() 119 add_hook(&match_save_states, INLINE_FN_START); in register_param_used() 120 add_hook(&match_restore_states, INLINE_FN_END); in register_param_used()
|
H A D | check_nospec.c | 256 add_hook(&nospec_assign, ASSIGNMENT_HOOK); in check_nospec() 261 add_hook(&match_call_info, FUNCTION_CALL_HOOK); in check_nospec() 268 add_hook(&match_asm, ASM_HOOK); in check_nospec() 269 add_hook(&match_after_nospec_asm, STMT_HOOK_AFTER); in check_nospec() 276 add_hook(&match_barrier, ASM_HOOK); in check_nospec_barrier()
|
H A D | smatch_param_filter.c | 206 add_hook(&save_start_states, AFTER_DEF_HOOK); in register_param_filter() 207 add_hook(&free_start_states, AFTER_FUNC_HOOK); in register_param_filter() 214 add_hook(&match_save_states, INLINE_FN_START); in register_param_filter() 215 add_hook(&match_restore_states, INLINE_FN_END); in register_param_filter()
|
H A D | check_return_efault.c | 128 add_hook(&match_condition, CONDITION_HOOK); in check_return_efault() 129 add_hook(&match_return_var, RETURN_HOOK); in check_return_efault() 130 add_hook(&match_return_call, RETURN_HOOK); in check_return_efault()
|
H A D | check_dereferences_param.c | 122 add_hook(&match_function_def, FUNC_DEF_HOOK); in check_dereferences_param() 124 add_hook(&match_dereference, DEREF_HOOK); in check_dereferences_param() 125 add_hook(&match_pointer_as_array, OP_HOOK); in check_dereferences_param()
|
H A D | smatch_untracked_param.c | 304 add_hook(&match_after_call, FUNCTION_CALL_HOOK_AFTER_DB); in register_untracked_param() 308 add_hook(&match_param_assign, ASSIGNMENT_HOOK); in register_untracked_param() 309 add_hook(&match_param_assign_in_asm, ASM_HOOK); in register_untracked_param() 311 add_hook(&match_inline_start, INLINE_FN_START); in register_untracked_param() 312 add_hook(&match_inline_end, INLINE_FN_END); in register_untracked_param()
|
H A D | smatch_constraints_required.c | 462 add_hook(&match_assign_size, ASSIGNMENT_HOOK); in register_constraints_required() 463 add_hook(&match_assign_data, ASSIGNMENT_HOOK); in register_constraints_required() 464 add_hook(&match_assign_has_buf_comparison, ASSIGNMENT_HOOK); in register_constraints_required() 466 add_hook(&match_assign_ARRAY_SIZE, ASSIGNMENT_HOOK); in register_constraints_required() 467 add_hook(&match_assign_ARRAY_SIZE, GLOBAL_ASSIGNMENT_HOOK); in register_constraints_required() 468 add_hook(&match_assign_buf_comparison, ASSIGNMENT_HOOK); in register_constraints_required() 469 add_hook(&match_assign_constraint, ASSIGNMENT_HOOK); in register_constraints_required()
|