check_debug.c

   1 /*
   2  * sparse/check_debug.c
   3  *
   4  * Copyright (C) 2009 Dan Carpenter.
   5  *
   6  * Licensed under the Open Software License version 1.1
   7  *
   8  */
   9
  10 #include "smatch.h"
  11 #include "smatch_slist.h"
  12 #include "smatch_extra.h"
  13
  14 int local_debug;
  15 static int my_id;
  16
  17 static void match_all_values(const char *fn, struct expression *expr, void *info)
  18 {
  19         struct state_list *slist;
  20
  21         slist = get_all_states(SMATCH_EXTRA);
  22         __print_slist(slist);
  23         free_slist(&slist);
  24 }
  25
  26 static void match_cur_slist(const char *fn, struct expression *expr, void *info)
  27 {
  28         __print_cur_slist();
  29 }
  30
  31 static void match_state(const char *fn, struct expression *expr, void *info)
  32 {
  33         struct expression *check_arg, *state_arg;
  34         struct sm_state *sm;
  35         int found = 0;
  36
  37         check_arg = get_argument_from_call_expr(expr->args, 0);
  38         if (check_arg->type != EXPR_STRING) {
  39                 sm_msg("error:  the check_name argument to %s is supposed to be a string literal", fn);
  40                 return;
  41         }
  42         state_arg = get_argument_from_call_expr(expr->args, 1);
  43         if (!state_arg || state_arg->type != EXPR_STRING) {
  44                 sm_msg("error:  the state_name argument to %s is supposed to be a string literal", fn);
  45                 return;
  46         }
  47
  48         FOR_EACH_PTR(__get_cur_slist(), sm) {
  49                 if (strcmp(check_name(sm->owner), check_arg->string->data) != 0)
  50                         continue;
  51                 if (strcmp(sm->name, state_arg->string->data) != 0)
  52                         continue;
  53                 sm_msg("'%s' = '%s'", sm->name, sm->state->name);
  54                 found = 1;
  55         } END_FOR_EACH_PTR(sm);
  56
  57         if (!found)
  58                 sm_msg("%s '%s' not found", check_arg->string->data, state_arg->string->data);
  59 }
  60
  61 static void match_states(const char *fn, struct expression *expr, void *info)
  62 {
  63         struct expression *check_arg;
  64         struct sm_state *sm;
  65         int found = 0;
  66
  67         check_arg = get_argument_from_call_expr(expr->args, 0);
  68         if (check_arg->type != EXPR_STRING) {
  69                 sm_msg("error:  the check_name argument to %s is supposed to be a string literal", fn);
  70                 return;
  71         }
  72
  73         FOR_EACH_PTR(__get_cur_slist(), sm) {
  74                 if (strcmp(check_name(sm->owner), check_arg->string->data) != 0)
  75                         continue;
  76                 sm_msg("'%s' = '%s'", sm->name, sm->state->name);
  77                 found = 1;
  78         } END_FOR_EACH_PTR(sm);
  79
  80         if (!found)
  81                 sm_msg("%s: no states", check_arg->string->data);
  82 }
  83
  84 static void match_print_value(const char *fn, struct expression *expr, void *info)
  85 {
  86         struct state_list *slist;
  87         struct sm_state *tmp;
  88         struct expression *arg_expr;
  89
  90         arg_expr = get_argument_from_call_expr(expr->args, 0);
  91         if (arg_expr->type != EXPR_STRING) {
  92                 sm_msg("error:  the argument to %s is supposed to be a string literal", fn);
  93                 return;
  94         }
  95
  96         slist = get_all_states(SMATCH_EXTRA);
  97         FOR_EACH_PTR(slist, tmp) {
  98                 if (!strcmp(tmp->name, arg_expr->string->data))
  99                         sm_msg("%s = %s", tmp->name, tmp->state->name);
 100         } END_FOR_EACH_PTR(tmp);
 101         free_slist(&slist);
 102 }
 103
 104 static void match_print_implied(const char *fn, struct expression *expr, void *info)
 105 {
 106         struct expression *arg;
 107         struct range_list *rl = NULL;
 108         char *name;
 109
 110         arg = get_argument_from_call_expr(expr->args, 0);
 111         get_implied_rl(arg, &rl);
 112
 113         name = expr_to_str(arg);
 114         sm_msg("implied: %s = '%s'", name, show_rl(rl));
 115         free_string(name);
 116 }
 117
 118 static void match_print_implied_min(const char *fn, struct expression *expr, void *info)
 119 {
 120         struct expression *arg;
 121         sval_t sval;
 122         char *name;
 123
 124         arg = get_argument_from_call_expr(expr->args, 0);
 125         name = expr_to_str(arg);
 126
 127         if (get_implied_min(arg, &sval))
 128                 sm_msg("implied min: %s = %s", name, sval_to_str(sval));
 129         else
 130                 sm_msg("implied min: %s = <unknown>", name);
 131
 132         free_string(name);
 133 }
 134
 135 static void match_print_implied_max(const char *fn, struct expression *expr, void *info)
 136 {
 137         struct expression *arg;
 138         sval_t sval;
 139         char *name;
 140
 141         arg = get_argument_from_call_expr(expr->args, 0);
 142         name = expr_to_str(arg);
 143
 144         if (get_implied_max(arg, &sval))
 145                 sm_msg("implied max: %s = %s", name, sval_to_str(sval));
 146         else
 147                 sm_msg("implied max: %s = <unknown>", name);
 148
 149         free_string(name);
 150 }
 151
 152 static void match_print_hard_max(const char *fn, struct expression *expr, void *info)
 153 {
 154         struct expression *arg;
 155         sval_t sval;
 156         char *name;
 157
 158         arg = get_argument_from_call_expr(expr->args, 0);
 159         name = expr_to_str(arg);
 160
 161         if (get_hard_max(arg, &sval))
 162                 sm_msg("hard max: %s = %s", name, sval_to_str(sval));
 163         else
 164                 sm_msg("hard max: %s = <unknown>", name);
 165
 166         free_string(name);
 167 }
 168
 169 static void match_print_fuzzy_max(const char *fn, struct expression *expr, void *info)
 170 {
 171         struct expression *arg;
 172         sval_t sval;
 173         char *name;
 174
 175         arg = get_argument_from_call_expr(expr->args, 0);
 176         name = expr_to_str(arg);
 177
 178         if (get_fuzzy_max(arg, &sval))
 179                 sm_msg("fuzzy max: %s = %s", name, sval_to_str(sval));
 180         else
 181                 sm_msg("fuzzy max: %s = <unknown>", name);
 182
 183         free_string(name);
 184 }
 185
 186 static void match_print_absolute_min(const char *fn, struct expression *expr, void *info)
 187 {
 188         struct expression *arg;
 189         sval_t sval;
 190         char *name;
 191
 192         arg = get_argument_from_call_expr(expr->args, 0);
 193         name = expr_to_str(arg);
 194
 195         if (get_absolute_min(arg, &sval))
 196                 sm_msg("absolute min: %s = %s", name, sval_to_str(sval));
 197         else
 198                 sm_msg("absolute min: %s = <unknown>", name);
 199
 200         free_string(name);
 201 }
 202
 203 static void match_print_absolute_max(const char *fn, struct expression *expr, void *info)
 204 {
 205         struct expression *arg;
 206         sval_t sval;
 207         char *name;
 208
 209         arg = get_argument_from_call_expr(expr->args, 0);
 210         get_absolute_max(arg, &sval);
 211
 212         name = expr_to_str(arg);
 213         sm_msg("absolute max: %s = %s", name, sval_to_str(sval));
 214         free_string(name);
 215 }
 216
 217 static void match_sval_info(const char *fn, struct expression *expr, void *info)
 218 {
 219         struct expression *arg;
 220         sval_t sval;
 221         char *name;
 222
 223         arg = get_argument_from_call_expr(expr->args, 0);
 224         name = expr_to_str(arg);
 225
 226         if (!get_implied_value(arg, &sval)) {
 227                 sm_msg("no sval for '%s'", name);
 228                 goto free;
 229         }
 230
 231         sm_msg("implied: %s %c%d ->value = %llx", name, sval_unsigned(sval) ? 'u' : 's', sval_bits(sval), sval.value);
 232 free:
 233         free_string(name);
 234 }
 235
 236 static void match_member_name(const char *fn, struct expression *expr, void *info)
 237 {
 238         struct expression *arg;
 239         char *name, *member_name;
 240
 241         arg = get_argument_from_call_expr(expr->args, 0);
 242         name = expr_to_str(arg);
 243         member_name = get_member_name(arg);
 244         sm_msg("member name: '%s => %s'", name, member_name);
 245         free_string(member_name);
 246         free_string(name);
 247 }
 248
 249 static void print_possible(struct sm_state *sm)
 250 {
 251         struct sm_state *tmp;
 252
 253         sm_msg("Possible values for %s", sm->name);
 254         FOR_EACH_PTR(sm->possible, tmp) {
 255                 printf("%s\n", tmp->state->name);
 256         } END_FOR_EACH_PTR(tmp);
 257         sm_msg("===");
 258 }
 259
 260 static void match_possible(const char *fn, struct expression *expr, void *info)
 261 {
 262         struct state_list *slist;
 263         struct sm_state *tmp;
 264         struct expression *arg_expr;
 265
 266         arg_expr = get_argument_from_call_expr(expr->args, 0);
 267         if (arg_expr->type != EXPR_STRING) {
 268                 sm_msg("error:  the argument to %s is supposed to be a string literal", fn);
 269                 return;
 270         }
 271
 272         slist = get_all_states(SMATCH_EXTRA);
 273         FOR_EACH_PTR(slist, tmp) {
 274                 if (!strcmp(tmp->name, arg_expr->string->data))
 275                         print_possible(tmp);
 276         } END_FOR_EACH_PTR(tmp);
 277         free_slist(&slist);
 278 }
 279
 280 static void match_strlen(const char *fn, struct expression *expr, void *info)
 281 {
 282         struct expression *arg;
 283         struct range_list *rl;
 284         char *name;
 285
 286         arg = get_argument_from_call_expr(expr->args, 0);
 287         get_implied_strlen(arg, &rl);
 288
 289         name = expr_to_str(arg);
 290         sm_msg("strlen: '%s' %s characters", name, show_rl(rl));
 291         free_string(name);
 292 }
 293
 294 static void match_buf_size(const char *fn, struct expression *expr, void *info)
 295 {
 296         struct expression *arg;
 297         int elements, bytes;
 298         char *name;
 299
 300         arg = get_argument_from_call_expr(expr->args, 0);
 301         elements = get_array_size(arg);
 302         bytes = get_array_size_bytes(arg);
 303
 304         name = expr_to_str(arg);
 305         sm_msg("buf size: '%s' %d elements, %d bytes", name, elements, bytes);
 306         free_string(name);
 307 }
 308
 309 static void match_buf_size_rl(const char *fn, struct expression *expr, void *info)
 310 {
 311         struct expression *arg;
 312         struct range_list *rl;
 313         int elements, bytes;
 314         char *name;
 315
 316         arg = get_argument_from_call_expr(expr->args, 0);
 317         rl = get_array_size_bytes_rl(arg);
 318         elements = get_array_size(arg);
 319         bytes = get_array_size_bytes(arg);
 320
 321         name = expr_to_str(arg);
 322         sm_msg("buf size: '%s' %s %d elements, %d bytes", name, show_rl(rl), elements, bytes);
 323         free_string(name);
 324 }
 325
 326 static void match_note(const char *fn, struct expression *expr, void *info)
 327 {
 328         struct expression *arg_expr;
 329
 330         arg_expr = get_argument_from_call_expr(expr->args, 0);
 331         if (arg_expr->type != EXPR_STRING) {
 332                 sm_msg("error:  the argument to %s is supposed to be a string literal", fn);
 333                 return;
 334         }
 335         sm_msg("%s", arg_expr->string->data);
 336 }
 337
 338 static void print_related(struct sm_state *sm)
 339 {
 340         struct relation *rel;
 341
 342         if (!estate_related(sm->state))
 343                 return;
 344
 345         sm_prefix();
 346         sm_printf("%s: ", sm->name);
 347         FOR_EACH_PTR(estate_related(sm->state), rel) {
 348                 sm_printf("%s ", rel->name);
 349         } END_FOR_EACH_PTR(rel);
 350         sm_printf("\n");
 351 }
 352
 353 static void match_dump_related(const char *fn, struct expression *expr, void *info)
 354 {
 355         struct state_list *slist;
 356         struct sm_state *tmp;
 357
 358         slist = get_all_states(SMATCH_EXTRA);
 359         FOR_EACH_PTR(slist, tmp) {
 360                 print_related(tmp);
 361         } END_FOR_EACH_PTR(tmp);
 362         free_slist(&slist);
 363 }
 364
 365 static void match_compare(const char *fn, struct expression *expr, void *info)
 366 {
 367         struct expression *one, *two;
 368         char *one_name, *two_name;
 369         int comparison;
 370         char buf[16];
 371
 372         one = get_argument_from_call_expr(expr->args, 0);
 373         two = get_argument_from_call_expr(expr->args, 1);
 374
 375         comparison = get_comparison(one, two);
 376         if (!comparison)
 377                 snprintf(buf, sizeof(buf), "<none>");
 378         else
 379                 snprintf(buf, sizeof(buf), "%s", show_special(comparison));
 380
 381         one_name = expr_to_str(one);
 382         two_name = expr_to_str(two);
 383
 384         sm_msg("%s %s %s", one_name, buf, two_name);
 385
 386         free_string(one_name);
 387         free_string(two_name);
 388 }
 389
 390 static void match_debug_on(const char *fn, struct expression *expr, void *info)
 391 {
 392         option_debug = 1;
 393 }
 394
 395 static void match_debug_off(const char *fn, struct expression *expr, void *info)
 396 {
 397         option_debug = 0;
 398 }
 399
 400 static void match_local_debug_on(const char *fn, struct expression *expr, void *info)
 401 {
 402         local_debug = 1;
 403 }
 404
 405 static void match_local_debug_off(const char *fn, struct expression *expr, void *info)
 406 {
 407         local_debug = 0;
 408 }
 409
 410 static void match_debug_implied_on(const char *fn, struct expression *expr, void *info)
 411 {
 412         option_debug_implied = 1;
 413 }
 414
 415 static void match_debug_implied_off(const char *fn, struct expression *expr, void *info)
 416 {
 417         option_debug_implied = 0;
 418 }
 419
 420 void check_debug(int id)
 421 {
 422         my_id = id;
 423         add_function_hook("__smatch_all_values", &match_all_values, NULL);
 424         add_function_hook("__smatch_state", &match_state, NULL);
 425         add_function_hook("__smatch_states", &match_states, NULL);
 426         add_function_hook("__smatch_value", &match_print_value, NULL);
 427         add_function_hook("__smatch_implied", &match_print_implied, NULL);
 428         add_function_hook("__smatch_implied_min", &match_print_implied_min, NULL);
 429         add_function_hook("__smatch_implied_max", &match_print_implied_max, NULL);
 430         add_function_hook("__smatch_hard_max", &match_print_hard_max, NULL);
 431         add_function_hook("__smatch_fuzzy_max", &match_print_fuzzy_max, NULL);
 432         add_function_hook("__smatch_absolute_min", &match_print_absolute_min, NULL);
 433         add_function_hook("__smatch_absolute_max", &match_print_absolute_max, NULL);
 434         add_function_hook("__smatch_sval_info", &match_sval_info, NULL);
 435         add_function_hook("__smatch_member_name", &match_member_name, NULL);
 436         add_function_hook("__smatch_possible", &match_possible, NULL);
 437         add_function_hook("__smatch_cur_slist", &match_cur_slist, NULL);
 438         add_function_hook("__smatch_strlen", &match_strlen, NULL);
 439         add_function_hook("__smatch_buf_size", &match_buf_size, NULL);
 440         add_function_hook("__smatch_buf_size_rl", &match_buf_size_rl, NULL);
 441         add_function_hook("__smatch_note", &match_note, NULL);
 442         add_function_hook("__smatch_dump_related", &match_dump_related, NULL);
 443         add_function_hook("__smatch_compare", &match_compare, NULL);
 444         add_function_hook("__smatch_debug_on", &match_debug_on, NULL);
 445         add_function_hook("__smatch_debug_off", &match_debug_off, NULL);
 446         add_function_hook("__smatch_local_debug_on", &match_local_debug_on, NULL);
 447         add_function_hook("__smatch_local_debug_off", &match_local_debug_off, NULL);
 448         add_function_hook("__smatch_debug_implied_on", &match_debug_implied_on, NULL);
 449         add_function_hook("__smatch_debug_implied_off", &match_debug_implied_off, NULL);
 450 }