Public Git Hosting - smatch.git/search

2021-08-05	Dan Carpenter	validation: update sm_switch2.c (remove NULL dereference... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-05	Dan Carpenter	param_key: introduce get_implied_rl_from_call_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-04	Dan Carpenter	smatch.h: introduce sm_pedantic() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-04	Dan Carpenter	validation: delete obsolete dev_hold() check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-04	Dan Carpenter	netdev_priv: small tweaks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-03	Pavel Skripkin	check_netdev_priv: warn about using netdev priv data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-30	Dan Carpenter	index_overflow: fix false positives when we're memcpy... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-30	Dan Carpenter	held_dev: delete this check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-29	Dan Carpenter	bits: fix match_assign() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-29	Dan Carpenter	param_key: fix build, add container_of() stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-29	Dan Carpenter	bits: get rid of "unknown_bit_info" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	param_key: handle &foo in swap_names Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	slist: allocate snames for all show_sm() returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	ssa: introduce ssa_set_all_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	ssa: fix the modification hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	ssa: don't dynamically allocate &undefined and &merged Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	stored_conditions: record links better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	stored_conditions: ignore known conditions more thoroughly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	type: add support for parsing <~ container_of keys Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-27	Dan Carpenter	function_hooks: move code around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-26	Harshvardhan Jha	check_do_while_loop_limit: implements checker for do_while... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-26	Dan Carpenter	implied,db: fix a bug faking history Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-22	Harshvardhan Jha	bits_clear and bits_set: Track bits cleared and set... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-22	Harshvardhan Jha	extra: Fix handle_bit_test so that null set condition... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-22	Harshvardhan Jha	power_of_two: Track variables which are powers of two Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-19	Dan Carpenter	kernel_user_data: delete obselete comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-19	Dan Carpenter	kernel_user_data: AND and MOD are ways to cap data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-19	Dan Carpenter	math: assume container_of() return valid pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-19	Dan Carpenter	states: delete unused &ghost state Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-19	Dan Carpenter	Documentation/smatch: update build requirements for... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-06	Dan Carpenter	type: handle key type for "*$" where the parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-05	Dan Carpenter	atomic_inc_dec: tweak how the return states are calculated Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-05	Dan Carpenter	atomic_inc_dec: improve how inc/dec is recorded in... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-05	Dan Carpenter	atomic_inc_dec: create separate test_id for freeing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-01	Dan Carpenter	kernel: delete PCIBIOS_BAD_VENDOR_ID returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-01	Dan Carpenter	db: add a feature which lets people delete a return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-01	Dan Carpenter	Documentation: add libssl-dev and libtry-tiny-perl... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	buf_comparison: improve handling of binop sizes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	extra: re-write get_long_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	kernel.ignored_macros: add ASSERT() to ignored macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	smatch_data/kernel.clears_argument: add more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	user_data: kvm_read_guest_virt() is user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	rosenberg_funcs: warn about information leaks to the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	comparison: handle code like if (size - used == 0) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	kernel: hook match_fls() into the code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	kernel: introduce get_gfp_param() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-28	Dan Carpenter	expressions: introduce get_parent_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	param_key: mark get_variable_from_key() as deprecated Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	function_hooks: update comment explaining various function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	function_hooks: don't record parameters == as = Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	function_hooks: introduce add_function_param_key_hook_late() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	states: add has_possible_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-18	Dan Carpenter	param_set: setting stack data doesn't not affect the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-08	Dan Carpenter	db: add support for deleting and splitting returns... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-08	Dan Carpenter	db: call caller_info hooks when local debug is enabled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-02	Dan Carpenter	function_hooks: print impossible return in debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-29	Dan Carpenter	unwind: ignore drmm_add_action() paths Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-29	Dan Carpenter	unwind: tweaks to how clk_prepare_enable() is handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-27	Dan Carpenter	hooks: add DECLARATION_HOOK_AFTER Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-27	Dan Carpenter	allocation_funcs: add a lot more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-27	Dan Carpenter	extra: preserve hard max over LIMIT/FILTER actions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-27	Dan Carpenter	flow: don't parse empty pre statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	atomic_inc_dec: make get_best_match() stricter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	atomic_inc_dec: silence some common false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	atomic_inc_dec: move custom function hook to end of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	atomic_inc_dec: make the implied start/end a pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	atomic_inc_dec: fix names of reference counters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	container_of: fix the build Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	free_strict: silence some kfree_skb() false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	points_to_user_data: ignore fake call assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	passes_array_size: handle "frob(skb->data, skb->len)" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	db: export is_fn_ptr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	conditions: set the parent expression for fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-20	Dan Carpenter	symbol: introduce lookup_macro_symbol() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-18	Dan Carpenter	kernel_user_data: ignore v4l2_subdev_call() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-05-18	Dan Carpenter	locking: ignore efx_rwsem_assert_write_locked() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom