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_project)
   9
  10 CK(register_smatch_ignore)
  11 CK(register_buf_size)
  12 CK(register_strlen)
  13
  14 CK(check_debug)
  15 CK(check_assigned_expr)
  16
  17 CK(check_deref)
  18 CK(check_check_deref)
  19 CK(check_overflow)
  20 CK(check_leaks)
  21 CK(check_type)
  22 CK(check_allocation_funcs)
  23 CK(check_frees_argument)
  24 CK(check_balanced)
  25 CK(check_deref_check)
  26 CK(check_redundant_null_check)
  27 CK(check_signed)
  28 CK(check_precedence)
  29 CK(check_format_string)
  30 CK(check_unused_ret)
  31 CK(check_dma_on_stack)
  32 CK(check_param_mapper)
  33 CK(check_db_info)
  34 CK(check_call_tree)
  35 CK(check_dev_queue_xmit)
  36 CK(check_stack)
  37 CK(check_no_return)
  38 CK(check_mod_timer)
  39 CK(check_le16)
  40 CK(check_return)
  41 CK(check_resource_size)
  42 CK(check_release_resource)
  43 CK(check_proc_create)
  44 CK(check_freeing_null)
  45 CK(check_free)
  46 CK(check_no_effect)
  47 CK(check_kunmap)
  48 CK(check_snprintf)
  49 CK(check_macros)
  50 CK(check_propagate)
  51 CK(check_return_efault)
  52 CK(check_gfp_dma)
  53 CK(check_unwind)
  54 CK(check_kmalloc_to_bugon)
  55
  56 /* <- your test goes here */
  57 /* CK(register_template) */
  58
  59 /* kernel specific */
  60 CK(check_kernel)
  61 CK(check_locking)
  62 CK(check_puts_argument)
  63 CK(check_err_ptr)
  64 CK(check_err_ptr_deref)
  65 CK(check_hold_dev)
  66
  67 /* wine specific stuff */
  68 CK(check_wine_filehandles)
  69 CK(check_wine_WtoA)
  70
  71 CK(register_implications) /* implications always has to be last */
  72
  73 #ifdef __undo_CK_def
  74 #undef CK
  75 #undef __undo_CK_def
  76 #endif