/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_param_set.c | 175 static void print_return_value_param_helper(int return_id, char *return_ranges, struct expression *… in print_return_value_param_helper() argument 226 sql_insert_return_states(return_id, return_ranges, in print_return_value_param_helper() 236 sql_insert_return_states(return_id, return_ranges, in print_return_value_param_helper() 247 sql_insert_return_states(return_id, return_ranges, in print_return_value_param_helper() 258 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() argument 260 print_return_value_param_helper(return_id, return_ranges, expr, 0); in print_return_value_param() 263 void print_limited_param_set(int return_id, char *return_ranges, struct expression *expr) in print_limited_param_set() argument 265 print_return_value_param_helper(return_id, return_ranges, expr, 1000); in print_limited_param_set()
|
H A D | smatch_untracked_param.c | 188 static void mark_all_params(int return_id, char *return_ranges, int type) in mark_all_params() argument 199 sql_insert_return_states(return_id, return_ranges, in mark_all_params() 205 void mark_all_params_untracked(int return_id, char *return_ranges, struct expression *expr) in mark_all_params_untracked() argument 207 mark_all_params(return_id, return_ranges, UNTRACKED_PARAM); in mark_all_params_untracked() 210 void mark_all_params_lost(int return_id, char *return_ranges, struct expression *expr) in mark_all_params_lost() argument 212 mark_all_params(return_id, return_ranges, LOST_PARAM); in mark_all_params_lost() 215 static void print_untracked_params(int return_id, char *return_ranges, struct expression *expr) in print_untracked_params() argument 241 sql_insert_return_states(return_id, return_ranges, in print_untracked_params()
|
H A D | smatch_db.c | 32 static int return_id; variable 56 void (*callback)(int return_id, char *return_ranges, struct expression *return_expr); 64 …void (*callback)(int return_id, char *return_ranges, struct expression *expr, char *printed_name, … 195 void sql_insert_return_states(int return_id, const char *return_ranges, in sql_insert_return_states() argument 210 get_base_file(), get_function(), id, return_id, in sql_insert_return_states() 662 void add_split_return_callback(void (*fn)(int return_id, char *return_ranges, struct expression *re… in add_split_return_callback() argument 670 void add_returned_member_callback(int owner, void (*callback)(int return_id, char *return_ranges, s… in add_returned_member_callback() argument 1475 static void match_return_info(int return_id, char *return_ranges, struct expression *expr) in match_return_info() argument 1477 sql_insert_return_states(return_id, return_ranges, INTERNAL, -1, "", function_signature()); in match_return_info() 1535 return_id++; in call_return_state_hooks_compare() [all …]
|
H A D | smatch_impossible.c | 87 static void print_impossible_return(int return_id, char *return_ranges, struct expression *expr) in print_impossible_return() argument 91 sm_msg("impossible return. return_id = %d return ranges = %s", return_id, return_ranges); in print_impossible_return() 92 sql_insert_return_states(return_id, return_ranges, CULL_PATH, -1, "", ""); in print_impossible_return()
|
H A D | smatch_param_filter.c | 135 static void print_one_mod_param(int return_id, char *return_ranges, in print_one_mod_param() argument 155 sql_insert_return_states(return_id, return_ranges, PARAM_FILTER, param, in print_one_mod_param() 159 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() argument 180 print_one_mod_param(return_id, return_ranges, param, sm, &totally_filtered); in print_return_value_param()
|
H A D | check_capable.c | 70 static void save_return_info(int return_id, char *return_ranges, struct expression *expr) in save_return_info() argument 76 sql_insert_return_states(return_id, return_ranges, in save_return_info() 82 sql_insert_return_states(return_id, return_ranges, in save_return_info()
|
H A D | check_nospec.c | 97 static void returned_struct_members(int return_id, char *return_ranges, struct expression *expr) in returned_struct_members() argument 127 sql_insert_return_states(return_id, return_ranges, NOSPEC, param, param_name, ""); in returned_struct_members() 131 sql_insert_return_states(return_id, return_ranges, NOSPEC, -1, "$", ""); in returned_struct_members() 134 sql_insert_return_states(return_id, return_ranges, NOSPEC_WB, -1, "", ""); in returned_struct_members()
|
H A D | smatch_statement_count.c | 58 static void insert_return_info(int return_id, char *return_ranges, struct expression *expr) in insert_return_info() argument 65 sql_insert_return_states(return_id, return_ranges, STMT_CNT, -1, "", buf); in insert_return_info()
|
H A D | smatch_param_cleared.c | 73 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() argument 92 sql_insert_return_states(return_id, return_ranges, in print_return_value_param() 97 sql_insert_return_states(return_id, return_ranges, in print_return_value_param()
|
H A D | smatch_capped.c | 249 static void print_return_implies_capped(int return_id, char *return_ranges, struct expression *expr) in print_return_implies_capped() argument 284 sql_insert_return_states(return_id, return_ranges, CAPPED_DATA, in print_return_implies_capped() 305 sql_insert_return_states(return_id, return_ranges, CAPPED_DATA, in print_return_implies_capped() 314 sql_insert_return_states(return_id, return_ranges, CAPPED_DATA, in print_return_implies_capped()
|
H A D | check_frees_param_strict.c | 117 static void param_freed_info(int return_id, char *return_ranges, struct expression *expr) in param_freed_info() argument 138 sql_insert_return_states(return_id, return_ranges, PARAM_FREED, in param_freed_info()
|
H A D | smatch_nul_terminator.c | 184 static void split_return_info(int return_id, char *return_ranges, struct expression *expr) in split_return_info() argument 209 sql_insert_return_states(return_id, return_ranges, TERMINATED, in split_return_info() 226 sql_insert_return_states(return_id, return_ranges, TERMINATED, in split_return_info()
|
H A D | smatch_fresh_alloc.c | 130 static void record_alloc_func(int return_id, char *return_ranges, struct expression *expr) in record_alloc_func() argument 134 sql_insert_return_states(return_id, return_ranges, FRESH_ALLOC, -1, "$", ""); in record_alloc_func()
|
H A D | smatch_function_hooks.c | 654 int return_id; in db_compare_callback() local 660 return_id = atoi(argv[0]); in db_compare_callback() 678 db_info->prev_return_id = return_id; in db_compare_callback() 915 int return_id; in db_assign_return_states_callback() local 920 return_id = atoi(argv[0]); in db_assign_return_states_callback() 938 db_info->prev_return_id = return_id; in db_assign_return_states_callback() 1104 int return_id; in db_return_states_callback() local 1110 return_id = atoi(argv[0]); in db_return_states_callback() 1128 db_info->prev_return_id = return_id; in db_return_states_callback()
|
H A D | smatch_param_limit.c | 133 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() argument 164 sql_insert_return_states(return_id, return_ranges, PARAM_LIMIT, in print_return_value_param()
|
H A D | smatch_param_to_mtag_data.c | 186 static void print_stored_to_mtag(int return_id, char *return_ranges, struct expression *expr) in print_stored_to_mtag() argument 207 sql_insert_return_states(return_id, return_ranges, MTAG_ASSIGN, param, param_name, buf); in print_stored_to_mtag()
|
H A D | smatch_param_compare_limit.c | 174 static void print_return_comparison(int return_id, char *return_ranges, struct expression *expr) in print_return_comparison() argument 229 sql_insert_return_states(return_id, return_ranges, in print_return_comparison()
|
H A D | smatch_returns.c | 71 static void match_return(int return_id, char *return_ranges, struct expression *expr) in match_return() argument
|
H A D | smatch_constraints.c | 473 static void print_return_implies_constrained(int return_id, char *return_ranges, struct expression … in print_return_implies_constrained() argument 496 sql_insert_return_states(return_id, return_ranges, CONSTRAINT, in print_return_implies_constrained()
|
H A D | check_atomic_inc_dec.c | 272 static void match_return_info(int return_id, char *return_ranges, struct expression *expr) in match_return_info() argument 294 sql_insert_return_states(return_id, return_ranges, in match_return_info()
|
H A D | smatch_kernel_user_data.c | 1340 static void param_set_to_user_data(int return_id, char *return_ranges, struct expression *expr) in param_set_to_user_data() argument 1386 sql_insert_return_states(return_id, return_ranges, in param_set_to_user_data() 1409 sql_insert_return_states(return_id, return_ranges, in param_set_to_user_data() 1420 sql_insert_return_states(return_id, return_ranges, in param_set_to_user_data() 1430 sql_insert_return_states(return_id, return_ranges, in param_set_to_user_data()
|
H A D | smatch.h | 905 void add_split_return_callback(void (*fn)(int return_id, char *return_ranges, struct expression *re… 906 void add_returned_member_callback(int owner, void (*callback)(int return_id, char *return_ranges, s… 994 void sql_insert_return_states(int return_id, const char *return_ranges, 1224 void print_limited_param_set(int return_id, char *return_ranges, struct expression *expr); 1243 void mark_all_params_untracked(int return_id, char *return_ranges, struct expression *expr);
|
H A D | smatch_container_of.c | 82 static void print_returns_container_of(int return_id, char *return_ranges, struct expression *expr) in print_returns_container_of() argument 100 sql_insert_return_states(return_id, return_ranges, CONTAINER, -1, in print_returns_container_of()
|
/illumos-gate/usr/src/tools/smatch/src/smatch_data/db/ |
H A D | insert_manual_states.pl | 50 my $return_id = $row[1]; 53 $insert->execute($file, $func, 0, $return_id, $ret, $static, $type, $param, $key, $value);
|
H A D | return_states.schema | 1 CREATE TABLE return_states (file varchar(128), function varchar(64), call_id big int, return_id int…
|