Public Git Hosting - smatch.git/search

2024-02-19	Dan Carpenter	double_checking: ignore known/constant conditions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-19	Dan Carpenter	err_ptr_deref: silence impossible checks Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-19	Dan Carpenter	function_hooks: add missing return states Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-19	Dan Carpenter	refcount_info: add xe_device_mem_access_get/put() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-19	Dan Carpenter	kernel.unconstant_macros: add __GFP_SKIP_ZERO Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-19	Dan Carpenter	sleep_info: add mas_alloc_cyclic() as a weird function Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-13	Dan Carpenter	points_to_container: white space change Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-13	Dan Carpenter	db/kernel.delete.return_states: lets say that bio_alloc_bios... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-13	Dan Carpenter	db/kernel.return_fixes: fix up copy_from_user() on... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-13	Dan Carpenter	db/kernel.return_fixes: add __kthread_create_on_node... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-13	Dan Carpenter	db/kernel.return_fixes: delete __hci_cmd_sync_sk() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-12	Dan Carpenter	Merge branch 'set-position-fix' of https://github.com...	commit \| commitdiff \| tree
2024-02-12	Dan Carpenter	db/kernel.return_fixes: add more guard lock annotations Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-05	Dan Carpenter	irq_context: ignore (struct flexcop_device)->read_ibi_reg Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-05	Dan Carpenter	data/kernel.unconstant_macros: add VM_USWAP and some... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-02	Dan Carpenter	smbd: add type_info command Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-02	Dan Carpenter	kernel_irq_context: track when we're in IRQ context Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
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	Luc Van Oostenryck	llvm: fix LLVM 15 deprecation warnings Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-29	Luc Van Oostenryck	llvm: ensure SYM_NODE is stripped before accessing... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-29	Luc Van Oostenryck	llvm: do not duplicate strings and use their length... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-29	Luc Van Oostenryck	llvm: add a few testcases for integer/pointer conversion Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-01-29	Luc Van Oostenryck	llvm: suppress warnings about deprecated API 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-22	Lukáš Zaoral	untracked_param: fix compilation errors with GCC 14 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-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-12-01	Harshit Mogalapalli	check_uninitialized_kobj: Add a new check 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-11-01	Harshit Mogalapalli	check_unwind: Add request/release_firmware to the function... 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	Harshit Mogalapalli	check_ida_alloc: Improve check to not warn when min... 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
next

Static analysis for C

RSS Atom