| /illumos-gate/usr/src/tools/smatch/src/ |
| 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 | smatch_struct_assignment.c | 69 static struct symbol *get_struct_type(struct expression *expr) in get_struct_type()
113 static struct expression *remove_addr(struct expression *expr) in remove_addr()
140 static void split_fake_expr(struct expression *expr) in split_fake_expr()
310 static int returns_zeroed_mem(struct expression *expr) in returns_zeroed_mem()
365 static int handle_param_offsets(struct expression *expr) in handle_param_offsets()
406 void __fake_struct_member_assignments(struct expression *expr) in __fake_struct_member_assignments()
431 static void match_memset(const char *fn, struct expression *expr, void *_size_arg) in match_memset()
443 static void match_memcpy(const char *fn, struct expression *expr, void *_arg) in match_memcpy()
455 struct expression *expr, void *_unused) in match_memdup()
479 static void match_sscanf(const char *fn, struct expression *expr, void *unused) in match_sscanf()
[all …]
|
| H A D | check_arm64_tagged.c | 28 static void match_assign(struct expression *expr) in match_assign()
53 static bool expr_has_untagged_symbol(struct expression *expr) in expr_has_untagged_symbol()
72 static bool expr_has_untagged_member(struct expression *expr) in expr_has_untagged_member()
85 static bool expr_has_macro_with_name(struct expression *expr, const char *macro_name) in expr_has_macro_with_name()
93 static bool expr_has_untagged_macro(struct expression *expr) in expr_has_untagged_macro()
115 static bool expr_has_memory_addr(struct expression *expr) in expr_has_memory_addr()
188 static void match_condition(struct expression *expr) in match_condition()
|
| H A D | evaluate.c | 53 static inline int valid_expr_type(struct expression *expr) in valid_expr_type()
58 static inline int valid_subexpr_type(struct expression *expr) in valid_subexpr_type()
304 struct expression *expr; in cast_to() local
527 static inline void unrestrict(struct expression *expr, in unrestrict()
821 static void bad_null(struct expression *expr) in bad_null()
1315 static int evaluate_assign_op(struct expression *expr) in evaluate_assign_op()
1539 static void mark_assigned(struct expression *expr) in mark_assigned()
2144 static int is_promoted(struct expression *expr) in is_promoted()
2324 struct expression *expr; in evaluate_arguments() local
3455 struct expression *expr = stmt->expression; in evaluate_return_expression() local
[all …]
|
| H A D | smatch_stored_conditions.c | 75 struct expression *expr; in clone_expression_list() local
84 static void insert_expression(struct expression_list **list, struct expression *expr) in insert_expression()
99 struct expression *expr; in merge_links() local
141 static struct smatch_state *alloc_state(struct expression *expr, int is_true) in alloc_state()
154 static void store_all_links(struct expression *expr, struct expression *condition) in store_all_links()
185 static int condition_too_complicated(struct expression *expr) in condition_too_complicated()
192 void __stored_condition(struct expression *expr) in __stored_condition()
214 struct smatch_state *get_stored_condition(struct expression *expr) in get_stored_condition()
228 struct expression_list *get_conditions(struct expression *expr) in get_conditions()
278 struct sm_state *stored_condition_implication_hook(struct expression *expr, in stored_condition_implication_hook()
|
| H A D | check_atomic_inc_dec.c | 172 static bool is_inc_dec_primitive(struct expression *expr) in is_inc_dec_primitive()
192 static void db_inc(struct expression *expr, int param, char *key, char *value) in db_inc()
199 static void db_dec(struct expression *expr, int param, char *key, char *value) in db_dec()
206 static void match_atomic_inc(const char *fn, struct expression *expr, void *_unused) in match_atomic_inc()
211 static void match_atomic_dec(const char *fn, struct expression *expr, void *_unused) in match_atomic_dec()
216 static void match_atomic_add(const char *fn, struct expression *expr, void *_unused) in match_atomic_add()
230 static void match_atomic_sub(const char *fn, struct expression *expr, void *_unused) in match_atomic_sub()
235 static void refcount_inc(const char *fn, struct expression *expr, void *param) in refcount_inc()
240 static void refcount_dec(const char *fn, struct expression *expr, void *param) in refcount_dec()
411 static void match_save_states(struct expression *expr) in match_save_states()
[all …]
|
| H A D | smatch_param_cleared.c | 38 static void db_param_cleared(struct expression *expr, int param, char *key, char *value) in db_param_cleared()
63 static void match_memset(const char *fn, struct expression *expr, void *arg) in match_memset()
68 static void match_memcpy(const char *fn, struct expression *expr, void *arg) in match_memcpy()
73 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param()
136 static void match_usb_control_msg(const char *fn, struct expression *expr, void *_size_arg) in match_usb_control_msg()
149 static void match_assign(struct expression *expr) in match_assign()
163 static void match_array_assign(struct expression *expr) in match_array_assign()
|
| H A D | check_spectre.c | 27 static int is_write(struct expression *expr) in is_write()
32 static int is_read(struct expression *expr) in is_read()
65 static int is_harmless(struct expression *expr) in is_harmless()
93 static unsigned long long get_max_by_type(struct expression *expr) in get_max_by_type()
126 static unsigned long long get_mask(struct expression *expr) in get_mask()
152 static void array_check(struct expression *expr) in array_check()
|
| H A D | smatch_integer_overflow.c | 25 static struct smatch_state *safe_state(struct expression *expr) in safe_state()
36 static char *save_links(struct expression *expr, struct symbol **sym, struct var_sym_list **vsl) in save_links()
54 static void match_divide(struct expression *expr) in match_divide()
96 static void match_overflow_to_less_than(struct expression *expr) in match_overflow_to_less_than()
131 static void match_condition(struct expression *expr) in match_condition()
137 int can_integer_overflow(struct symbol *type, struct expression *expr) in can_integer_overflow()
181 int can_integer_overflow_expr(struct expression *expr) in can_integer_overflow_expr()
208 static int get_arg_nr(struct expression *call, struct expression *expr) in get_arg_nr()
228 struct expression *expr; in check_links() local
|
| H A D | smatch_extra.c | 376 static int chunk_has_array(struct expression *expr) in chunk_has_array()
911 struct expression *expr; in get_global_rl() local
1164 static void match_assign(struct expression *expr) in match_assign()
1291 static void unop_expr(struct expression *expr) in unop_expr()
1323 struct expression *expr; in asm_expr() local
1724 static int is_simple_math(struct expression *expr) in is_simple_math()
1755 struct expression *expr = *expr_p; in move_known_to_rl() local
2319 int parent_is_null(struct expression *expr) in parent_is_null()
2803 struct expression *expr; in set_param_value() local
2826 struct expression *expr; in set_param_fuzzy_max() local
[all …]
|
| H A D | check_signed.c | 34 static void match_assign(struct expression *expr) in match_assign()
88 static int cap_gt_zero_and_lt(struct expression *expr) in cap_gt_zero_and_lt()
136 static int cap_lt_zero_or_gt(struct expression *expr) in cap_lt_zero_or_gt()
184 static int cap_both_sides(struct expression *expr) in cap_both_sides()
201 static int compare_against_macro(struct expression *expr) in compare_against_macro()
213 static int print_unsigned_never_less_than_zero(struct expression *expr) in print_unsigned_never_less_than_zero()
230 static void match_condition(struct expression *expr) in match_condition()
|
| H A D | smatch_nul_terminator.c | 35 static void set_terminated(struct expression *expr, struct smatch_state *state) in set_terminated()
47 static void match_nul_assign(struct expression *expr) in match_nul_assign()
90 static struct smatch_state *get_terminated_state(struct expression *expr) in get_terminated_state()
112 static void match_string_assign(struct expression *expr) in match_string_assign()
152 static void match_call_info(struct expression *expr) in match_call_info()
184 static void split_return_info(int return_id, char *return_ranges, struct expression *expr) in split_return_info()
231 static void return_info_terminated(struct expression *expr, int param, char *key, char *value) in return_info_terminated()
268 bool is_nul_terminated(struct expression *expr) in is_nul_terminated()
275 static void match_strnlen_test(struct expression *expr) in match_strnlen_test()
|
| H A D | check_resource_size.c | 23 static int is_probably_ok(struct expression *expr) in is_probably_ok()
35 static void verify_size_expr(struct expression *expr) in verify_size_expr()
48 static void handle_assigned_expr(struct expression *expr) in handle_assigned_expr()
59 static void match_resource(const char *fn, struct expression *expr, void *_arg_no) in match_resource()
|
| H A D | check_deref.c | 64 static void check_dereference(struct expression *expr) in check_dereference()
141 static void match_dereferences(struct expression *expr) in match_dereferences()
148 static void match_pointer_as_array(struct expression *expr) in match_pointer_as_array()
185 static void match_assign(struct expression *expr) in match_assign()
204 static void match_assigns_address(struct expression *expr) in match_assigns_address()
214 static void match_condition(struct expression *expr) in match_condition()
241 static void match_assign_returns_null(const char *fn, struct expression *expr, void *_gfp) in match_assign_returns_null()
|
| 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()
125 struct smatch_state *get_mtag_return(struct expression *expr, struct smatch_state *state) 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()
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()
404 int get_mtag_sval(struct expression *expr, sval_t *sval) in get_mtag_sval()
|
| H A D | check_get_user_overflow.c | 33 static void match_condition(struct expression *expr) in match_condition()
93 static void match_normal_assign(struct expression *expr) in match_normal_assign()
101 static void match_assign(struct expression *expr) in match_assign()
119 static void check_expr(struct expression *expr) in check_expr()
158 static void match_binop(struct expression *expr) in match_binop()
|
| H A D | check_free.c | 45 static int is_freed(struct expression *expr) in is_freed()
55 static void match_symbol(struct expression *expr) in match_symbol()
78 static void match_dereferences(struct expression *expr) in match_dereferences()
156 static void match_call(struct expression *expr) in match_call()
187 static void match_return(struct expression *expr) in match_return()
207 static void match_free(const char *fn, struct expression *expr, void *param) in match_free()
266 int parent_is_free(struct expression *expr) in parent_is_free()
|
| H A D | check_bit_shift.c | 32 static const char *get_shifter(struct expression *expr) in get_shifter()
54 static void match_assign(struct expression *expr) in match_assign()
70 static void match_binop(struct expression *expr) in match_binop()
115 static void match_binop_info(struct expression *expr) in match_binop_info()
134 static void match_call(const char *fn, struct expression *expr, void *_arg_no) in match_call()
|
| H A D | smatch_constraints_required.c | 59 static int bytes_per_element(struct expression *expr) in bytes_per_element()
214 static void match_alloc(const char *fn, struct expression *expr, void *_size_arg) in match_alloc()
225 static void match_calloc(const char *fn, struct expression *expr, void *_start_arg) in match_calloc()
257 static void match_assign_size(struct expression *expr) in match_assign_size()
281 static void match_assign_has_buf_comparison(struct expression *expr) in match_assign_has_buf_comparison()
298 static void match_assign_data(struct expression *expr) in match_assign_data()
361 static void match_assign_ARRAY_SIZE(struct expression *expr) in match_assign_ARRAY_SIZE()
396 static void match_assign_buf_comparison(struct expression *expr) in match_assign_buf_comparison()
417 static int has_constraint(struct expression *expr, const char *constraint) in has_constraint()
431 static void match_assign_constraint(struct expression *expr) in match_assign_constraint()
|
| H A D | check_free_strict.c | 62 static int is_freed(struct expression *expr) in is_freed()
72 static void match_symbol(struct expression *expr) in match_symbol()
95 static void match_dereferences(struct expression *expr) in match_dereferences()
172 static void match_call(struct expression *expr) in match_call()
203 static void match_return(struct expression *expr) in match_return()
221 static void match_free(const char *fn, struct expression *expr, void *param) in match_free()
240 static void set_param_freed(struct expression *expr, int param, char *key, char *value) in set_param_freed()
295 int parent_is_free_strict(struct expression *expr) in parent_is_free_strict()
|
| H A D | check_err_ptr_deref.c | 45 static void check_is_err_ptr(struct expression *expr) in check_is_err_ptr()
65 static void match_returns_err_ptr(const char *fn, struct expression *expr, in match_returns_err_ptr()
124 static void match_dereferences(struct expression *expr) in match_dereferences()
131 static void match_kfree(const char *fn, struct expression *expr, void *_arg_nr) in match_kfree()
140 static void match_condition(struct expression *expr) in match_condition()
173 static void match_err_ptr_positive_const(const char *fn, struct expression *expr, void *unused) in match_err_ptr_positive_const()
186 static void match_err_ptr(const char *fn, struct expression *expr, void *unused) in match_err_ptr()
|
| 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()
79 static int size_of_union(struct expression *expr) in size_of_union()
132 static int ends_on_struct_member_boundary(struct expression *expr, int needed) 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()
236 static void match_limited(const char *fn, struct expression *expr, void *_limiter) in match_limited()
|
| H A D | check_implicit_dependencies.c | 146 static void print_read_member_type(struct expression *expr) in print_read_member_type()
181 static void print_write_member_type(struct expression *expr) in print_write_member_type()
213 static void match_condition(struct expression *expr) in match_condition()
249 static void match_call_info(struct expression *expr) in match_call_info()
270 static void match_assign_value(struct expression *expr) in match_assign_value()
277 static void unop_expr(struct expression *expr) in unop_expr()
|
| H A D | check_kunmap.c | 28 struct expression *expr = (struct expression *)data; in check_assignment() local
43 static void match_kmap_atomic(const char *fn, struct expression *expr, void *data) in match_kmap_atomic()
51 static void match_kunmap_atomic(const char *fn, struct expression *expr, void *data) in match_kunmap_atomic()
64 static void match_kunmap(const char *fn, struct expression *expr, void *data) in match_kunmap()
|
| /illumos-gate/usr/src/lib/libdwarf/common/ |
| H A D | pro_expr.c | 80 dwarf_add_expr_gen(Dwarf_P_Expr expr, in dwarf_add_expr_gen()
98 dwarf_add_expr_gen_a(Dwarf_P_Expr expr, in dwarf_add_expr_gen_a()
508 dwarf_add_expr_addr_b(Dwarf_P_Expr expr, in dwarf_add_expr_addr_b()
525 dwarf_add_expr_addr_c(Dwarf_P_Expr expr, in dwarf_add_expr_addr_c()
576 dwarf_add_expr_addr(Dwarf_P_Expr expr, in dwarf_add_expr_addr()
601 dwarf_expr_current_offset(Dwarf_P_Expr expr, Dwarf_Error * error) in dwarf_expr_current_offset()
614 dwarf_expr_current_offset_a(Dwarf_P_Expr expr, in dwarf_expr_current_offset_a()
632 dwarf_expr_reset(Dwarf_P_Expr expr, Dwarf_Error * error) in dwarf_expr_reset()
642 dwarf_expr_into_block(Dwarf_P_Expr expr, in dwarf_expr_into_block()
658 dwarf_expr_into_block_a(Dwarf_P_Expr expr, in dwarf_expr_into_block_a()
|