check_list.h

   1 #ifndef CK
   2 #define CK(_x) void _x(int id);
   3 #define __undo_CK_def
   4 #endif
   5
   6 CK(register_smatch_extra) /* smatch_extra always has to be first */
   7 CK(register_modification_hooks)
   8 CK(register_definition_db_callbacks)
   9 CK(register_project)
  10
  11 CK(register_smatch_ignore)
  12 CK(register_buf_size)
  13 CK(register_strlen)
  14 CK(register_strlen_equiv)
  15 CK(register_capped)
  16 CK(register_parse_call_math)
  17 CK(register_param_limit)
  18 CK(register_param_filter)
  19 CK(register_param_set)
  20 CK(register_param_cleared)
  21 CK(register_struct_assignment)
  22 CK(register_comparison)
  23 CK(register_comparison_links)
  24 CK(register_local_values)
  25 CK(register_function_ptrs)
  26 CK(register_annotate)
  27 CK(register_start_states)
  28 CK(register_type_val)
  29 CK(register_data_source)
  30 CK(register_common_functions)
  31 CK(register_stored_conditions_links)
  32 CK(register_function_info)
  33
  34 CK(check_debug)
  35 CK(check_assigned_expr)
  36 CK(check_assigned_expr_links)
  37 CK(check_user_data)
  38
  39 CK(check_bogus_loop)
  40
  41 CK(check_deref)
  42 CK(check_check_deref)
  43 CK(check_dereferences_param)
  44 CK(check_frees_param)
  45 CK(check_overflow)
  46 CK(check_leaks)
  47 CK(check_type)
  48 CK(check_allocation_funcs)
  49 CK(check_frees_argument)
  50 CK(check_balanced)
  51 CK(check_deref_check)
  52 CK(check_redundant_null_check)
  53 CK(check_signed)
  54 CK(check_precedence)
  55 CK(check_format_string)
  56 CK(check_unused_ret)
  57 CK(check_dma_on_stack)
  58 CK(check_param_mapper)
  59 CK(check_call_tree)
  60 CK(check_dev_queue_xmit)
  61 CK(check_stack)
  62 CK(check_no_return)
  63 CK(check_mod_timer)
  64 CK(check_return)
  65 CK(check_resource_size)
  66 CK(check_release_resource)
  67 CK(check_proc_create)
  68 CK(check_freeing_null)
  69 CK(check_free)
  70 CK(check_no_effect)
  71 CK(check_kunmap)
  72 CK(check_snprintf)
  73 CK(check_macros)
  74 CK(check_return_efault)
  75 CK(check_gfp_dma)
  76 CK(check_unwind)
  77 CK(check_kmalloc_to_bugon)
  78 CK(check_platform_device_put)
  79 CK(check_info_leak)
  80 CK(check_return_enomem)
  81 CK(check_get_user_overflow)
  82 CK(check_get_user_overflow2)
  83 CK(check_access_ok_math)
  84 CK(check_container_of)
  85 CK(check_input_free_device)
  86 CK(check_select)
  87 CK(check_memset)
  88 CK(check_logical_instead_of_bitwise)
  89 CK(check_kmalloc_wrong_size)
  90 CK(check_pointer_math)
  91 CK(check_bit_shift)
  92 CK(check_macro_side_effects)
  93 CK(check_sizeof)
  94 CK(check_or_vs_and)
  95 CK(check_passes_sizeof)
  96 CK(check_assign_vs_compare)
  97 CK(check_missing_break)
  98 CK(check_array_condition)
  99 CK(check_struct_type)
 100 CK(check_cast_assign)
 101 CK(check_readl_infinite_loops)
 102 CK(check_double_checking)
 103 CK(check_unreachable)
 104 CK(check_no_if_block)
 105
 106 /* <- your test goes here */
 107 /* CK(register_template) */
 108
 109 /* kernel specific */
 110 CK(check_locking)
 111 CK(check_puts_argument)
 112 CK(check_err_ptr)
 113 CK(check_err_ptr_deref)
 114 CK(check_expects_err_ptr)
 115 CK(check_held_dev)
 116 CK(check_return_negative_var)
 117 CK(check_rosenberg)
 118 CK(check_rosenberg2)
 119 CK(check_wait_for_common)
 120 CK(check_bogus_irqrestore)
 121
 122 /* wine specific stuff */
 123 CK(check_wine_filehandles)
 124 CK(check_wine_WtoA)
 125
 126 #include "check_list_local.h"
 127
 128 CK(register_stored_conditions)
 129 CK(register_sval)
 130 CK(register_buf_size_late)
 131 CK(register_modification_hooks_late)
 132 CK(register_smatch_extra_late)
 133 CK(check_kernel)  /* this is overwriting stuff from smatch_extra_late */
 134 CK(register_function_hooks)
 135 CK(register_returns)
 136 CK(register_db_call_marker) /* always second last */
 137 CK(register_implications) /* implications always has to be last */
 138
 139 #ifdef __undo_CK_def
 140 #undef CK
 141 #undef __undo_CK_def
 142 #endif