Public Git Hosting - smatch.git/search

2024-02-01	Dan Carpenter	flow: fix some ordering bugs in handling DEREFs and... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-31	Dan Carpenter	db/kernel.delete.return_states: delete some impossible... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-29	Dan Carpenter	double_fget: warn about re-using file descriptors Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-29	Dan Carpenter	Merge https://git.kernel.org/pub/scm/devel/sparse/sparse...	commit \| commitdiff \| tree
2024-01-29	Dan Carpenter	states: correct a typo in some comments Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-29	Dan Carpenter	flow/conditions: fix ordering bug Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-18	Dan Carpenter	slist: introduce __diff_stree() for debugging Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-09	Dan Carpenter	or_vs_and: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-08	Dan Carpenter	helper: make expr_to_str() print comma expressions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-08	Dan Carpenter	uninitialized_kobj: turn off when the DB isn't used Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-08	Dan Carpenter	unsigned_lt_zero: ignore "NF_CT_HELPER_BUILD_BUG_ON... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-05	Dan Carpenter	kernel_has_devm_cleanup: add drmm_add_action_or_reset() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-05	Dan Carpenter	flow: pull if statement handling into its own function Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-05	Dan Carpenter	memcpy_overflow: add other memcpy() functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-05	Dan Carpenter	states: preserve out of scope states Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-05	Dan Carpenter	units: add pixel units Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-05	Dan Carpenter	sleep_info: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-16	Dan Carpenter	parse: handle __cleanup__ attribute Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-11	Dan Carpenter	kernel.check_string_condition.ignore: ignore acp_dev_hid_uid... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-08	Dan Carpenter	db/kernel.return_fixes: platform_get_irq_byname doesn... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-08	Dan Carpenter	db/fixup_kernel.sh: no user data is passed to suspend... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-08	Dan Carpenter	db/fixup_kernel.sh: fixup kmalloc() returns Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-08	Dan Carpenter	db/fixup_kernel.sh: fixup sysfs read/write Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-06	Dan Carpenter	kernel_err_ptr: empty states are not error pointers Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-06	Dan Carpenter	type: fix some type promotion bugs for units with the... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-05	Dan Carpenter	preempt_info: add class_write_lock_irq_destructor() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-04	Dan Carpenter	unsinged_lt_zero: allow unsigned comparisons with KASAN_SHAD... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-01	Dan Carpenter	units: anything can be saved to a register Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-01	Dan Carpenter	units: remove some guessing Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-01	Dan Carpenter	flow: don't call scope_guard hooks twice at the end... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-12-01	Dan Carpenter	flow: fake returns for inline functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-29	Dan Carpenter	parse: add a check for NULL in stmt_get_parent_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-29	Dan Carpenter	db/kernel.return_fixes: add __hci_cmd_sync_sk() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-29	Dan Carpenter	db/kernel.return_fixes: fix scope_guard() parsing Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-21	Dan Carpenter	param_set: remove duplicate math strings Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-09	Dan Carpenter	check_unwind: fix request_firmware() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-07	Dan Carpenter	check_kernel: fix the build Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-07	Dan Carpenter	assign_vs_compare: silence bcache false positives Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-01	Dan Carpenter	free/refcount: move refcount_was_inced() to refcount.c Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-01	Dan Carpenter	kernel_kref_put: move to a different file Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-01	Dan Carpenter	check_kernel: add support for with_intel_display() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-01	Dan Carpenter	check_kernel: add support for msec() to jiffies Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-01	Dan Carpenter	check_kernel: add support for size_add() and size_mul() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-01	Dan Carpenter	check_kernel: add support for put_device() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-01	Dan Carpenter	locking: handle class_mutex_destructor() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-01	Dan Carpenter	assigned_expr: make skip_mod function_data Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-11-01	Dan Carpenter	assigned_expr: handle fake parameter assignments Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-31	Dan Carpenter	unchecked_allocation: use the smatch_dereference.c... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	free_strict: remove kref_put() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	free_strict: __skb_pad() only frees on error Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	buf_comparison: introduce the buf_has_bytes() function Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	buf_size: track the size of structs when people use... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	smdb.py: improve type_size output Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	extra: don't track array assignments Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	function_ptrs: don't track function pointers passed... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	helper: improve get_member_name() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	hooks: remove some unnecessary NULL checks Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	debug: prevent uninitialized variable Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	points_to_user_data: add a comment Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-26	Dan Carpenter	frees_param_strict: track container_of better Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-25	Dan Carpenter	frees_param_strict: track MAYBE_FREED parameters Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-25	Dan Carpenter	free_strict: add support for __skb_pad() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-20	Dan Carpenter	strings: fix crash bug parsing foo = bar ?: baz Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-19	Dan Carpenter	db: don't mark the db as incomplete because of check_debug.h Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-19	Dan Carpenter	kernel_user_data: don't insert useless data into the DB Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-18	Dan Carpenter	data/kernel.unconstant_macros: add more macros Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-12	Dan Carpenter	flow: call scope hooks before recording the cross function... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-12	Dan Carpenter	deref: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-11	Dan Carpenter	parse: ignore __seg_gs Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	free_strict: pass the correct expression to free hooks. Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	dereference: add spinlock_check() as a dereference... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	double_checking: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	double_checking: disable implications Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	atomic_dec_test_path: hack around assignments Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	kernel_user_data: delete some dead code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	refcount_info: add some more refcount functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	locking: re-add release_sock() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	stored_conditions: commit useless code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-06	Dan Carpenter	refcount: partial increments count as increments Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-05	Dan Carpenter	ranges: fix error pointer handling cross compiling... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-05	Dan Carpenter	flow: more fixes for cleanup code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-05	Dan Carpenter	flow: move some code around Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-05	Dan Carpenter	flow/dereference: handle *&foo->bar better Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-05	Dan Carpenter	dereference: handle frob(&foo->bar); better Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-10-02	Dan Carpenter	dereference: ignore pointer math better Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-28	Dan Carpenter	locking: hard code some locks Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-28	Dan Carpenter	locking: add class_mutex_destructor() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-27	Dan Carpenter	preempt_info: add class_raw_spinlock_irq_destructor() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-25	Dan Carpenter	points_to_user_data: add xdr_copy_to_scratch() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-25	Dan Carpenter	slist: set the correct sm->line in set_state_stree_perm() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-25	Dan Carpenter	err_ptr_deref: silence mlx5_eswitch_get_vport() warnings Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-15	Dan Carpenter	locking: remove release_sock() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-14	Dan Carpenter	type: fix crash parsing bcache code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-11	Dan Carpenter	preempt_info: add class_spinlock_irqsave_destructor() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-11	Dan Carpenter	parse: fix how cleanup attributes are handled Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-11	Dan Carpenter	preempt_info: Use param -2 instead of -1 Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-11	Dan Carpenter	preempt_info: add class_raw_spinlock_irqsave_destructor() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-11	Dan Carpenter	flow: fix scope hooks for for loop Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-11	Dan Carpenter	flow: handle function scope hooks better Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-09-11	Dan Carpenter	scopes: make scopes work correctly across inlines Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom