| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_snprintf.c | 24 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use()
29 static void match_snprintf(const char *fn, struct expression *expr, void *info) in match_snprintf()
31 struct expression *call; in match_snprintf()
32 struct expression *arg; in match_snprintf()
54 static void match_call(struct expression *expr) in match_call()
56 struct expression *arg; in match_call()
|
| H A D | check_nospec.c | 40 bool is_nospec(struct expression *expr) in is_nospec()
56 static void nospec_assign(struct expression *expr) in nospec_assign()
76 static void match_call_info(struct expression *expr) in match_call_info()
78 struct expression *arg; in match_call_info()
88 static void struct_member_callback(struct expression *call, int param, char *printed_name, struct s… in struct_member_callback()
97 static void returned_struct_members(int return_id, char *return_ranges, struct expression *expr) in returned_struct_members()
144 static void db_returns_nospec(struct expression *expr, int param, char *key, char *value) in db_returns_nospec()
146 struct expression *call; in db_returns_nospec()
147 struct expression *arg; in db_returns_nospec()
238 static void db_returns_barrier(struct expression *expr, int param, char *key, char *value) in db_returns_barrier()
[all …]
|
| H A D | check_unused_ret.c | 60 static struct expression *skip_this;
76 static char *get_fn_name(struct expression *expr) in get_fn_name()
85 static int ignored_function(struct expression *expr) in ignored_function()
99 static void match_assign_call(struct expression *expr) in match_assign_call()
101 struct expression *left; in match_assign_call()
132 static void match_assign(struct expression *expr) in match_assign()
134 struct expression *left; in match_assign()
165 static void match_symbol(struct expression *expr) in match_symbol()
|
| H A D | smatch_unknown_value.c | 43 static struct expression fake_fn_expr = {
48 static struct expression fake_call = {
62 struct expression *unknown_value_expression(struct expression *expr) in unknown_value_expression()
69 int is_fake_call(struct expression *expr) in is_fake_call()
|
| H A D | smatch_db.c | 72 void (*callback)(struct expression *call, struct expression *arg, char *key, char *value);
495 struct expression *arg; in mark_call_params_untracked()
543 struct expression *fn; in sql_select_return_states()
577 struct expression *expr;
973 struct expression *arg; in match_call_info()
998 struct expression *arg; in match_call_info_new()
1267 struct expression *arg = NULL; in return_implies_callbacks()
1295 struct expression *arg; in call_implies_callbacks()
1355 struct expression *tmp; in get_fn_param_str()
2075 struct expression *strip_expr_statement(struct expression *expr) in strip_expr_statement()
[all …]
|
| H A D | check_double_checking.c | 35 static void set_modified(struct sm_state *sm, struct expression *mod_expr) in set_modified()
40 static struct expression *strip_condition(struct expression *expr) in strip_condition()
59 static int conditions_match(struct expression *cond, struct expression *prev) in conditions_match()
79 static int is_obvious_else(struct expression *cond) in is_obvious_else()
82 struct expression *prev; in is_obvious_else()
167 static void match_condition(struct expression *expr) in match_condition()
185 if (get_macro_name(((struct expression *)state->data)->pos)) in match_condition()
|
| H A D | check_string_len.c | 38 static int handle_format(struct expression *call, char **pp, int *arg_nr, bool use_max) in handle_format()
40 struct expression *arg; in handle_format()
178 int get_formatted_string_size_helper(struct expression *call, int arg, bool use_max) in get_formatted_string_size_helper()
180 struct expression *expr; in get_formatted_string_size_helper()
206 int get_formatted_string_size(struct expression *call, int arg) in get_formatted_string_size()
211 int get_formatted_string_min_size(struct expression *call, int arg) in get_formatted_string_min_size()
216 static void match_not_limited(const char *fn, struct expression *call, void *info) in match_not_limited()
220 struct expression *dest; in match_not_limited()
221 struct expression *arg; in match_not_limited()
|
| H A D | check_info_leak.c | 26 static char *my_get_variable(struct expression *expr, struct symbol **sym) in my_get_variable()
38 static void match_kmalloc(const char *fn, struct expression *expr, void *unused) in match_kmalloc()
49 static void match_strcpy(const char *fn, struct expression *expr, void *unused) in match_strcpy()
51 struct expression *dest; in match_strcpy()
64 static void match_copy_to_user(const char *fn, struct expression *expr, void *unused) in match_copy_to_user()
66 struct expression *src; in match_copy_to_user()
|
| H A D | check_input_free_device.c | 32 static void match_assign(struct expression *expr) in match_assign()
39 static void match_input_unregister(const char *fn, struct expression *expr, void *data) in match_input_unregister()
41 struct expression *arg; in match_input_unregister()
47 static void match_input_free(const char *fn, struct expression *expr, void *data) in match_input_free()
49 struct expression *arg; in match_input_free()
|
| H A D | check_frees_param_strict.c | 42 static void set_ignore(struct sm_state *sm, struct expression *mod_expr) in set_ignore()
47 static int counter_was_inced(struct expression *expr) in counter_was_inced()
65 static void match_free(const char *fn, struct expression *expr, void *param) in match_free()
67 struct expression *arg, *tmp; in match_free()
89 static void set_param_freed(struct expression *expr, int param, char *key, char *value) in set_param_freed()
91 struct expression *arg; in set_param_freed()
117 static void param_freed_info(int return_id, char *return_ranges, struct expression *expr) in param_freed_info()
|
| H A D | check_check_deref.c | 43 static void is_ok(struct sm_state *sm, struct expression *mod_expr) in is_ok()
48 static void check_dereference(struct expression *expr) in check_dereference()
107 static void match_dereferences(struct expression *expr) in match_dereferences()
114 static void match_pointer_as_array(struct expression *expr) in match_pointer_as_array()
121 static void set_param_dereferenced(struct expression *call, struct expression *arg, char *key, char… in set_param_dereferenced()
135 static void match_condition(struct expression *expr) in match_condition()
|
| H A D | check_memcpy_overflow.c | 33 static int get_the_max(struct expression *expr, sval_t *sval) in get_the_max()
49 static int bytes_to_end_of_struct(struct expression *expr) in bytes_to_end_of_struct()
51 struct expression *deref; in bytes_to_end_of_struct()
79 static int size_of_union(struct expression *expr) in size_of_union()
95 static int is_likely_multiple(int has, int needed, struct expression *limit) in is_likely_multiple()
132 static int ends_on_struct_member_boundary(struct expression *expr, int needed) in ends_on_struct_member_boundary()
154 struct expression *unop = strip_expr(expr->unop); in ends_on_struct_member_boundary()
194 static int is_one_element_array(struct expression *expr) in is_one_element_array()
218 static int is_ignored_struct(struct expression *expr) in is_ignored_struct()
239 struct expression *dest; in match_limited()
[all …]
|
| H A D | check_snprintf_overflow.c | 20 static void match_snprintf(const char *fn, struct expression *expr, void *unused) in match_snprintf()
22 struct expression *dest; in match_snprintf()
23 struct expression *dest_size_expr; in match_snprintf()
24 struct expression *format_string; in match_snprintf()
25 struct expression *data; in match_snprintf()
|
| H A D | smatch_param_to_mtag_data.c | 79 static void match_assign(struct expression *expr) in match_assign()
81 struct expression *left; in match_assign()
110 static void propogate_assignment(struct expression *expr, mtag_t tag, int offset, int param, char *… in propogate_assignment()
112 struct expression *arg; in propogate_assignment()
135 static void assign_to_alias(struct expression *expr, int param, mtag_t tag, int offset, char *key) in assign_to_alias()
137 struct expression *arg, *gen_expr; in assign_to_alias()
164 static void call_does_mtag_assign(struct expression *expr, int param, char *key, char *value) in call_does_mtag_assign()
186 static void print_stored_to_mtag(int return_id, char *return_ranges, struct expression *expr) in print_stored_to_mtag()
|
| H A D | check_return_efault.c | 33 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use()
39 static void match_copy(const char *fn, struct expression *expr, void *unused) in match_copy()
46 static void match_condition(struct expression *expr) in match_condition()
61 static void match_return_var(struct expression *ret_value) in match_return_var()
82 static void match_return_call(struct expression *ret_value) in match_return_call()
84 struct expression *fn; in match_return_call()
|
| H A D | smatch_capped.c | 36 static void set_uncapped(struct sm_state *sm, struct expression *mod_expr) in set_uncapped()
51 static int is_capped_macro(struct expression *expr) in is_capped_macro()
69 int is_capped(struct expression *expr) in is_capped()
143 static void match_condition(struct expression *expr) in match_condition()
145 struct expression *left, *right; in match_condition()
199 static void match_assign(struct expression *expr) in match_assign()
219 static void match_caller_info(struct expression *expr) in match_caller_info()
221 struct expression *tmp; in match_caller_info()
236 static void struct_member_callback(struct expression *call, int param, char *printed_name, struct s… in struct_member_callback()
249 static void print_return_implies_capped(int return_id, char *return_ranges, struct expression *expr) in print_return_implies_capped()
[all …]
|
| H A D | smatch_constraints.c | 159 static char *get_func_constraint(struct expression *expr) in get_func_constraint()
174 static char *get_toplevel_name(struct expression *expr) in get_toplevel_name()
195 char *get_constraint_str(struct expression *expr) in get_constraint_str()
294 char *unmet_constraint(struct expression *data, struct expression *offset) in unmet_constraint()
350 static void handle_comparison(struct expression *left, int op, struct expression *right) in handle_comparison()
385 static void match_condition(struct expression *expr) in match_condition()
398 struct constraint_list *get_constraints(struct expression *expr) in get_constraints()
408 static void match_caller_info(struct expression *expr) in match_caller_info()
410 struct expression *tmp; in match_caller_info()
473 static void print_return_implies_constrained(int return_id, char *return_ranges, struct expression … in print_return_implies_constrained()
[all …]
|
| H A D | smatch_mtag.c | 95 static char *get_allocator_info(struct expression *expr, struct smatch_state *state) in get_allocator_info()
112 static void update_mtag_info(struct expression *expr, mtag_t tag, in update_mtag_info()
127 struct expression *left, *right; in get_mtag_return()
168 int get_string_mtag(struct expression *expr, mtag_t *tag) in get_string_mtag()
232 static int get_array_mtag_offset(struct expression *expr, mtag_t *tag, int *offset) in get_array_mtag_offset()
234 struct expression *array, *offset_expr; in get_array_mtag_offset()
263 struct range_list *swap_mtag_seed(struct expression *expr, struct range_list *rl) in swap_mtag_seed()
283 int create_mtag_alias(mtag_t tag, struct expression *expr, mtag_t *new) in create_mtag_alias()
310 static int get_implied_mtag_offset(struct expression *expr, mtag_t *tag, int *offset) in get_implied_mtag_offset()
341 int expr_to_mtag_offset(struct expression *expr, mtag_t *tag, int *offset) in expr_to_mtag_offset()
[all …]
|
| H A D | builtin.c | 40 static int evaluate_pure_unop(struct expression *expr) in evaluate_pure_unop()
42 struct expression *arg = first_expression(expr->args); in evaluate_pure_unop()
58 static int eval_args(struct expression *expr, int n) in eval_args()
60 struct expression *arg; in eval_args()
85 static int args_triadic(struct expression *expr) in args_triadic()
90 static int evaluate_choose(struct expression *expr) in evaluate_choose()
93 struct expression *arg, *args[3]; in evaluate_choose()
121 struct expression *arg; in expand_warning()
205 struct expression *arg; in expand_bswap()
235 struct expression *arg; in evaluate_fp_unop()
[all …]
|
| H A D | check_deref_check.c | 25 static void underef(struct sm_state *sm, struct expression *mod_expr) in underef()
30 static void match_dereference(struct expression *expr) in match_dereference()
49 static void set_param_dereferenced(struct expression *call, struct expression *arg, char *key, char… in set_param_dereferenced()
66 static void match_condition(struct expression *expr) in match_condition()
|
| H A D | check_shift_to_zero.c | 22 static void match_binop(struct expression *expr) in match_binop()
43 static void match_binop2(struct expression *expr) in match_binop2()
45 struct expression *left; in match_binop2()
46 struct expression *tmp; in match_binop2()
70 static void match_assign(struct expression *expr) in match_assign()
|
| H A D | check_readl_infinite_loops.c | 33 static int is_readl_call(struct expression *expr) in is_readl_call()
50 static int is_readl(struct expression *expr) in is_readl()
59 static void match_assign(struct expression *expr) in match_assign()
67 static int condition_depends_on_readl(struct expression *expr) in condition_depends_on_readl()
81 static void check_condition(struct expression *expr) in check_condition()
91 static void match_return(struct expression *expr) in match_return()
|
| H A D | check_capable.c | 26 static void match_capable(const char *fn, struct expression *expr, void *_param) in match_capable()
28 struct expression *arg; in match_capable()
39 static void match_ns_capable(const char *fn, struct expression *expr, void *_param) in match_ns_capable()
41 struct expression *arg; in match_ns_capable()
55 static void save_call_info(struct expression *call) in save_call_info()
70 static void save_return_info(int return_id, char *return_ranges, struct expression *expr) in save_return_info()
|
| H A D | smatch_impossible.c | 33 static void handle_compare(struct expression *left, int op, struct expression *right) in handle_compare()
62 static void match_condition(struct expression *expr) in match_condition()
80 static void match_case(struct expression *expr, struct range_list *rl) in match_case()
87 static void print_impossible_return(int return_id, char *return_ranges, struct expression *expr) in print_impossible_return()
|
| H A D | check_access_ok_math.c | 22 static int can_overflow(struct expression *expr) in can_overflow()
47 static void match_size(struct expression *size_expr) in match_size()
68 static void match_access_ok(const char *fn, struct expression *expr, void *data) in match_access_ok()
70 struct expression *size_expr; in match_access_ok()
78 struct expression *expr; in split_asm_constraints()
|