4 * Copyright (C) 2009 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
11 #include "smatch_slist.h"
12 #include "smatch_extra.h"
17 static void match_all_values(const char *fn
, struct expression
*expr
, void *info
)
19 struct state_list
*slist
;
21 slist
= get_all_states(SMATCH_EXTRA
);
26 static void match_cur_slist(const char *fn
, struct expression
*expr
, void *info
)
31 static void match_state(const char *fn
, struct expression
*expr
, void *info
)
33 struct expression
*check_arg
, *state_arg
;
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
);
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
);
48 FOR_EACH_PTR(__get_cur_slist(), sm
) {
49 if (strcmp(check_name(sm
->owner
), check_arg
->string
->data
) != 0)
51 if (strcmp(sm
->name
, state_arg
->string
->data
) != 0)
53 sm_msg("'%s' = '%s'", sm
->name
, sm
->state
->name
);
55 } END_FOR_EACH_PTR(sm
);
58 sm_msg("%s '%s' not found", check_arg
->string
->data
, state_arg
->string
->data
);
61 static void match_states(const char *fn
, struct expression
*expr
, void *info
)
63 struct expression
*check_arg
;
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
);
73 FOR_EACH_PTR(__get_cur_slist(), sm
) {
74 if (strcmp(check_name(sm
->owner
), check_arg
->string
->data
) != 0)
76 sm_msg("'%s' = '%s'", sm
->name
, sm
->state
->name
);
78 } END_FOR_EACH_PTR(sm
);
81 sm_msg("%s: no states", check_arg
->string
->data
);
84 static void match_print_value(const char *fn
, struct expression
*expr
, void *info
)
86 struct state_list
*slist
;
88 struct expression
*arg_expr
;
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
);
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
);
104 static void match_print_implied(const char *fn
, struct expression
*expr
, void *info
)
106 struct expression
*arg
;
107 struct range_list
*rl
= NULL
;
110 arg
= get_argument_from_call_expr(expr
->args
, 0);
111 get_implied_rl(arg
, &rl
);
113 name
= expr_to_str(arg
);
114 sm_msg("implied: %s = '%s'", name
, show_rl(rl
));
118 static void match_print_implied_min(const char *fn
, struct expression
*expr
, void *info
)
120 struct expression
*arg
;
124 arg
= get_argument_from_call_expr(expr
->args
, 0);
125 name
= expr_to_str(arg
);
127 if (get_implied_min(arg
, &sval
))
128 sm_msg("implied min: %s = %s", name
, sval_to_str(sval
));
130 sm_msg("implied min: %s = <unknown>", name
);
135 static void match_print_implied_max(const char *fn
, struct expression
*expr
, void *info
)
137 struct expression
*arg
;
141 arg
= get_argument_from_call_expr(expr
->args
, 0);
142 name
= expr_to_str(arg
);
144 if (get_implied_max(arg
, &sval
))
145 sm_msg("implied max: %s = %s", name
, sval_to_str(sval
));
147 sm_msg("implied max: %s = <unknown>", name
);
152 static void match_print_hard_max(const char *fn
, struct expression
*expr
, void *info
)
154 struct expression
*arg
;
158 arg
= get_argument_from_call_expr(expr
->args
, 0);
159 name
= expr_to_str(arg
);
161 if (get_hard_max(arg
, &sval
))
162 sm_msg("hard max: %s = %s", name
, sval_to_str(sval
));
164 sm_msg("hard max: %s = <unknown>", name
);
169 static void match_print_fuzzy_max(const char *fn
, struct expression
*expr
, void *info
)
171 struct expression
*arg
;
175 arg
= get_argument_from_call_expr(expr
->args
, 0);
176 name
= expr_to_str(arg
);
178 if (get_fuzzy_max(arg
, &sval
))
179 sm_msg("fuzzy max: %s = %s", name
, sval_to_str(sval
));
181 sm_msg("fuzzy max: %s = <unknown>", name
);
186 static void match_print_absolute_min(const char *fn
, struct expression
*expr
, void *info
)
188 struct expression
*arg
;
192 arg
= get_argument_from_call_expr(expr
->args
, 0);
193 name
= expr_to_str(arg
);
195 if (get_absolute_min(arg
, &sval
))
196 sm_msg("absolute min: %s = %s", name
, sval_to_str(sval
));
198 sm_msg("absolute min: %s = <unknown>", name
);
203 static void match_print_absolute_max(const char *fn
, struct expression
*expr
, void *info
)
205 struct expression
*arg
;
209 arg
= get_argument_from_call_expr(expr
->args
, 0);
210 get_absolute_max(arg
, &sval
);
212 name
= expr_to_str(arg
);
213 sm_msg("absolute max: %s = %s", name
, sval_to_str(sval
));
217 static void match_sval_info(const char *fn
, struct expression
*expr
, void *info
)
219 struct expression
*arg
;
223 arg
= get_argument_from_call_expr(expr
->args
, 0);
224 name
= expr_to_str(arg
);
226 if (!get_implied_value(arg
, &sval
)) {
227 sm_msg("no sval for '%s'", name
);
231 sm_msg("implied: %s %c%d ->value = %llx", name
, sval_unsigned(sval
) ? 'u' : 's', sval_bits(sval
), sval
.value
);
236 static void print_possible(struct sm_state
*sm
)
238 struct sm_state
*tmp
;
240 sm_msg("Possible values for %s", sm
->name
);
241 FOR_EACH_PTR(sm
->possible
, tmp
) {
242 printf("%s\n", tmp
->state
->name
);
243 } END_FOR_EACH_PTR(tmp
);
247 static void match_possible(const char *fn
, struct expression
*expr
, void *info
)
249 struct state_list
*slist
;
250 struct sm_state
*tmp
;
251 struct expression
*arg_expr
;
253 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
254 if (arg_expr
->type
!= EXPR_STRING
) {
255 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
259 slist
= get_all_states(SMATCH_EXTRA
);
260 FOR_EACH_PTR(slist
, tmp
) {
261 if (!strcmp(tmp
->name
, arg_expr
->string
->data
))
263 } END_FOR_EACH_PTR(tmp
);
267 static void match_strlen(const char *fn
, struct expression
*expr
, void *info
)
269 struct expression
*arg
;
270 struct range_list
*rl
;
273 arg
= get_argument_from_call_expr(expr
->args
, 0);
274 get_implied_strlen(arg
, &rl
);
276 name
= expr_to_str(arg
);
277 sm_msg("strlen: '%s' %s characters", name
, show_rl(rl
));
281 static void match_buf_size(const char *fn
, struct expression
*expr
, void *info
)
283 struct expression
*arg
;
287 arg
= get_argument_from_call_expr(expr
->args
, 0);
288 elements
= get_array_size(arg
);
289 bytes
= get_array_size_bytes(arg
);
291 name
= expr_to_str(arg
);
292 sm_msg("buf size: '%s' %d elements, %d bytes", name
, elements
, bytes
);
296 static void match_note(const char *fn
, struct expression
*expr
, void *info
)
298 struct expression
*arg_expr
;
300 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
301 if (arg_expr
->type
!= EXPR_STRING
) {
302 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
305 sm_msg("%s", arg_expr
->string
->data
);
308 static void print_related(struct sm_state
*sm
)
310 struct relation
*rel
;
312 if (!estate_related(sm
->state
))
316 sm_printf("%s: ", sm
->name
);
317 FOR_EACH_PTR(estate_related(sm
->state
), rel
) {
318 sm_printf("%s ", rel
->name
);
319 } END_FOR_EACH_PTR(rel
);
323 static void match_dump_related(const char *fn
, struct expression
*expr
, void *info
)
325 struct state_list
*slist
;
326 struct sm_state
*tmp
;
328 slist
= get_all_states(SMATCH_EXTRA
);
329 FOR_EACH_PTR(slist
, tmp
) {
331 } END_FOR_EACH_PTR(tmp
);
335 static void match_compare(const char *fn
, struct expression
*expr
, void *info
)
337 struct expression
*one
, *two
;
338 char *one_name
, *two_name
;
342 one
= get_argument_from_call_expr(expr
->args
, 0);
343 two
= get_argument_from_call_expr(expr
->args
, 1);
345 comparison
= get_comparison(one
, two
);
347 snprintf(buf
, sizeof(buf
), "<none>");
349 snprintf(buf
, sizeof(buf
), "%s", show_special(comparison
));
351 one_name
= expr_to_str(one
);
352 two_name
= expr_to_str(two
);
354 sm_msg("%s %s %s", one_name
, buf
, two_name
);
356 free_string(one_name
);
357 free_string(two_name
);
360 static void match_debug_on(const char *fn
, struct expression
*expr
, void *info
)
365 static void match_debug_off(const char *fn
, struct expression
*expr
, void *info
)
370 static void match_local_debug_on(const char *fn
, struct expression
*expr
, void *info
)
375 static void match_local_debug_off(const char *fn
, struct expression
*expr
, void *info
)
380 static void match_debug_implied_on(const char *fn
, struct expression
*expr
, void *info
)
382 option_debug_implied
= 1;
385 static void match_debug_implied_off(const char *fn
, struct expression
*expr
, void *info
)
387 option_debug_implied
= 0;
390 void check_debug(int id
)
393 add_function_hook("__smatch_all_values", &match_all_values
, NULL
);
394 add_function_hook("__smatch_state", &match_state
, NULL
);
395 add_function_hook("__smatch_states", &match_states
, NULL
);
396 add_function_hook("__smatch_value", &match_print_value
, NULL
);
397 add_function_hook("__smatch_implied", &match_print_implied
, NULL
);
398 add_function_hook("__smatch_implied_min", &match_print_implied_min
, NULL
);
399 add_function_hook("__smatch_implied_max", &match_print_implied_max
, NULL
);
400 add_function_hook("__smatch_hard_max", &match_print_hard_max
, NULL
);
401 add_function_hook("__smatch_fuzzy_max", &match_print_fuzzy_max
, NULL
);
402 add_function_hook("__smatch_absolute_min", &match_print_absolute_min
, NULL
);
403 add_function_hook("__smatch_absolute_max", &match_print_absolute_max
, NULL
);
404 add_function_hook("__smatch_sval_info", &match_sval_info
, NULL
);
405 add_function_hook("__smatch_possible", &match_possible
, NULL
);
406 add_function_hook("__smatch_cur_slist", &match_cur_slist
, NULL
);
407 add_function_hook("__smatch_strlen", &match_strlen
, NULL
);
408 add_function_hook("__smatch_buf_size", &match_buf_size
, NULL
);
409 add_function_hook("__smatch_note", &match_note
, NULL
);
410 add_function_hook("__smatch_dump_related", &match_dump_related
, NULL
);
411 add_function_hook("__smatch_compare", &match_compare
, NULL
);
412 add_function_hook("__smatch_debug_on", &match_debug_on
, NULL
);
413 add_function_hook("__smatch_debug_off", &match_debug_off
, NULL
);
414 add_function_hook("__smatch_local_debug_on", &match_local_debug_on
, NULL
);
415 add_function_hook("__smatch_local_debug_off", &match_local_debug_off
, NULL
);
416 add_function_hook("__smatch_debug_implied_on", &match_debug_implied_on
, NULL
);
417 add_function_hook("__smatch_debug_implied_off", &match_debug_implied_off
, NULL
);