55 CK(register_integer_overflow_links)
56 CK(register_real_absolute)
57 CK(register_imaginary_absolute)
58 CK(register_bits)
59 CK(register_fn_arg_link)
60 CK(register_parameter_names)
61 CK(register_param_limit)
62 CK(register_return_to_param)
63 CK(register_return_to_param_links)
64 CK(register_constraints)
65 CK(register_constraints_required)
66 CK(register_about_fn_ptr_arg)
67 CK(register_mtag)
68 CK(register_mtag_map)
69 CK(register_mtag_data)
70 CK(register_param_to_mtag_data)
71 CK(register_array_values)
72 CK(register_nul_terminator)
73 CK(register_nul_terminator_param_set)
74 CK(register_statement_count)
75
76 CK(register_kernel_user_data)
77 CK(register_kernel_user_data2)
78
79 CK(check_debug)
80
81 CK(check_bogus_loop)
82
83 CK(check_deref)
84 CK(check_check_deref)
85 CK(check_dereferences_param)
86 CK(check_index_overflow)
87 CK(check_index_overflow_loop_marker)
88 CK(check_testing_index_after_use)
89 CK(check_memcpy_overflow)
90 CK(check_strcpy_overflow)
91 CK(check_sprintf_overflow)
92 CK(check_snprintf_overflow)
93 CK(check_allocating_enough_data)
94 CK(check_leaks)
|
55 CK(register_integer_overflow_links)
56 CK(register_real_absolute)
57 CK(register_imaginary_absolute)
58 CK(register_bits)
59 CK(register_fn_arg_link)
60 CK(register_parameter_names)
61 CK(register_param_limit)
62 CK(register_return_to_param)
63 CK(register_return_to_param_links)
64 CK(register_constraints)
65 CK(register_constraints_required)
66 CK(register_about_fn_ptr_arg)
67 CK(register_mtag)
68 CK(register_mtag_map)
69 CK(register_mtag_data)
70 CK(register_param_to_mtag_data)
71 CK(register_array_values)
72 CK(register_nul_terminator)
73 CK(register_nul_terminator_param_set)
74 CK(register_statement_count)
75 CK(register_fresh_alloc)
76
77 CK(register_kernel_user_data)
78 CK(register_kernel_user_data2)
79
80 CK(check_debug)
81
82 CK(check_bogus_loop)
83
84 CK(check_deref)
85 CK(check_check_deref)
86 CK(check_dereferences_param)
87 CK(check_index_overflow)
88 CK(check_index_overflow_loop_marker)
89 CK(check_testing_index_after_use)
90 CK(check_memcpy_overflow)
91 CK(check_strcpy_overflow)
92 CK(check_sprintf_overflow)
93 CK(check_snprintf_overflow)
94 CK(check_allocating_enough_data)
95 CK(check_leaks)
|