check_wine_WtoA.c

   1 /*
   2  * sparse/check_template.c
   3  *
   4  * Copyright (C) 2009 Dan Carpenter.
   5  *
   6  * Licensed under the Open Software License version 1.1
   7  *
   8  */
   9
  10 /*
  11  * Idea from Michael Stefaniuc and Vincent Béron's earlier WtoA
  12  * check.
  13  *
  14  * Apparently when you are coding WINE, you are not allowed to call
  15  * functions that end in capital 'A' from functions that end in
  16  * capital 'W'
  17  *
  18  */
  19
  20 #include "smatch.h"
  21
  22 static int my_id;
  23
  24 static int in_w = 0;
  25
  26 static void match_function_def(struct symbol *sym)
  27 {
  28         char *func = get_function();
  29         int len;
  30
  31         if (!func) {
  32                 in_w = 0;
  33                 return;
  34         }
  35         len = strlen(func);
  36         if (func[len - 1] == 'W' && len > 2 && func[len - 2] != 'A' )
  37                 in_w = 1;
  38         else
  39                 in_w = 0;
  40 }
  41
  42 static int allowed_func(const char *fn)
  43 {
  44         if (!strcmp("lstrcatA", fn))
  45                 return 1;
  46         if (!strcmp("lstrcpyA", fn))
  47                 return 1;
  48         if (!strcmp("lstrcpynA", fn))
  49                 return 1;
  50         if (!strcmp("lstrlenA", fn))
  51                 return 1;
  52         return 0;
  53 }
  54
  55 static void match_call(struct expression *expr)
  56 {
  57         char *fn_name;
  58         int len;
  59
  60         if (!in_w)
  61                 return;
  62
  63         fn_name = expr_to_var(expr->fn);
  64         if (!fn_name)
  65                 goto free;
  66         len = strlen(fn_name);
  67         if (fn_name[len - 1] == 'A' && !allowed_func(fn_name)) {
  68                 sm_msg("warn: WtoA call %s()", fn_name);
  69         }
  70 free:
  71         free_string(fn_name);
  72 }
  73
  74 void check_wine_WtoA(int id)
  75 {
  76         if (option_project != PROJ_WINE)
  77                 return;
  78
  79         my_id = id;
  80         add_hook(&match_function_def, FUNC_DEF_HOOK);
  81         add_hook(&match_call, FUNCTION_CALL_HOOK);
  82 }