Public Git Hosting - smatch.git/search

2021-05-17	Dan Carpenter	extra: fix type bug handling fake parameter assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-14	Dan Carpenter	ssa: parse the assignments later Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-14	Dan Carpenter	ssa: fix a crash Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-11	Dan Carpenter	validation/sm_equiv4: update unwind check output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-11	Dan Carpenter	smatch.h: introduce sm_warning_line() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	locking: don't store garbage lock information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	db: introduce select_caller_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	locking: fix a reversed if statement in do_lock() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	locking: fix handling of passed in locks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	points_to_user_data: handle arrays inside a user controlled... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	flow: introduce get_last_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	flow: set the parent statement for case statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	hooks: add a new add_array_initialized_hook() hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	validation: remove duplicate "dereferencing uninitialized... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-10	Dan Carpenter	kernel_user_data: fix copy_from_user() again Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-08	Dan Carpenter	validation/sm_user_data2.c: fix a crash Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-07	Dan Carpenter	checking_for_null_instead_of_err_ptr: warn about incorrect... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-04	Dan Carpenter	debug: make __smatch_about() print user data information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-04	Dan Carpenter	ssa, unwind: instead of tracking the variable track... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-03	Dan Carpenter	constants: add ulong_one and ulong_INT_MAX Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-03	Dan Carpenter	implied: preserve history in overwrite_states_using_pool() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-03	Dan Carpenter	type: introduce get_comparison_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-03	Dan Carpenter	mtag: don't store mtag data from fake environments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-03	Dan Carpenter	modification_hooks: ignore fake parameter_assignments... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-03	Dan Carpenter	function_hooks: fake parameter assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-04-16	Dan Carpenter	assigne_expr: delete unused variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-04-13	Dan Carpenter	check_list_add: warn about use after frees with lists Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-04-13	Dan Carpenter	arm64_tagged: silence a false positive with ~PAGE_SIZE Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	db: rename call_return_states_hooks() to call_return_states_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	db: move replace_return_ranges() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	extra: small cleanup in handle_canonical_for_inc() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	extra: export values_fit_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	function_hooks: clean up a condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	states,implied: delete __set_sm_fake_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	implied: create more fake history in PARAM_LIMIT situations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	extra: preserve some sm states dealing with PARAM_LIMIT Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	slist: delete a stray blank line Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-12	Dan Carpenter	states: fix FOR_EACH_MY_SM() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-11	Dan Carpenter	comparison: fix a bug dealing with transitive comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-11	Dan Carpenter	extra: fix a type issue handling unknown for loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-09	Dan Carpenter	real_absolute: don't store the real absolute for pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-09	Dan Carpenter	real_absolute: fix assignment handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-05	Dan Carpenter	db: pull share call_return_states() code into its own... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-05	Dan Carpenter	kvmalloc_NOFS: silence false positive on old kernels Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-04	Dan Carpenter	type: alloc_sname() in type to string Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	return_efault: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	kernel_printf: add %4cc format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	free_strict: take a short cut in unmatched_state()... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	free_strict: add mempool_free() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	err_ptr_deref: use shared err_min/max constants Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	rosenberg: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	constants: add ptr_err_min, ptr_err_max and ptr_null Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	equiv: don't mess with equiv in faked environments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	extra: avoid overflow in get_long_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	extra/mtag_data: don't update mtag data for fake parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	points_to_user_data: fake calls are not user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	flow: delete dead code in set_unset_to_zero() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	mtag_data: store mtag_data for structs declared on... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	var_sym: move some code around in expr_to_vsl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	parse_call_math: fix some read overflows in format_name_sym_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	var_sym: fix a bug in expr_to_vsl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	function_hooks/user_data: introduce and use add_function_hoo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	points_to_user_data: handle memcpy() correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	points_to_user_data: fix is_skb_data() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	user_data: move handling of pointer math up the call... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-03-03	Dan Carpenter	helper: re-write __get_variable_from_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-26	Dan Carpenter	flow: fix a type issue in fake_a_variable_assign() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-26	Dan Carpenter	helper: clean up the expr_to_str() EXPR_PREOP code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-26	Dan Carpenter	helper: fix how dereferences are represented with ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-24	Dan Carpenter	struct_assignment: rename "right_member" to "right_expr" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-24	Dan Carpenter	comparison: fix loop in get_all_possible_not_equal_comparisons() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-24	Dan Carpenter	locking: add __raw_write_unlock_irq function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-24	Dan Carpenter	flow: fake a return at the end of void functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-23	Dan Carpenter	smatch: add --pedantic option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-23	Dan Carpenter	unwind: use shared constants Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-23	Dan Carpenter	constants: move some constants from smatch.h to smatch_const... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-23	Dan Carpenter	locking: use shared sval constants Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-23	Dan Carpenter	db/smdb.py: add a try catch block printing the return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-23	Dan Carpenter	atomic_inc_dec: pass correct call expression to db_inc_dec() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	atomic_inc_dec: add this to check_list.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	constants: define a bunch of constant svals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	flow: pass conditional macros to MACRO_ASSIGNMENT_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	points_to_user_data: add the memcpy_from_user() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	slist: return an alloc_sname() in show_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	buf_comparison: s/kmemdup_user/memdup_user/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	states: Rename delete_state() to __delete_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	states: delete the unused delete_state_expr() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	untracked_param: assignments do not make a parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	avl: short cut FOR_EACH_MY_SM() for checks without... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-22	Dan Carpenter	flow: fake void returns if we have to bail on a function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-17	Dan Carpenter	sscanf/assigned_expr: introduce get_assgined_sm() ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-17	Dan Carpenter	conditions: fix the build Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-16	Dan Carpenter	kvmalloc_NOFS: warn about passing bogus GFP_ arguments... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-16	Dan Carpenter	sscanf_return: warn about propagating scanf() returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-16	Dan Carpenter	conditions: don't parse select statements twice Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-15	Dan Carpenter	db: use the load_strings_from_file() helper function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-15	Dan Carpenter	no_effect: stop warning about write_seqcount_begin() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-15	Dan Carpenter	files: introduce load_strings_from_file() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-11	Dan Carpenter	param_set/clear: Use memset() of struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-02-10	Dan Carpenter	expressions: introduce gen_expr_from_param_key() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom