Public Git Hosting - smatch.git/search

2024-04-11	Dan Carpenter	comparison: add support for COMPARE_LIMIT Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-11	Dan Carpenter	allocations: add some more allocation functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-11	Dan Carpenter	struct_assignment: use the ->zeroed flag from allocations Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-11	Dan Carpenter	function_hooks: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-11	Dan Carpenter	implied: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-09	Dan Carpenter	implied: fix get_tf_stacks_from_pool() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-08	Dan Carpenter	implied: fix leaf checking Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-08	Dan Carpenter	flow: bail out earlier on parsing giant arrays Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-08	Dan Carpenter	helper: cache get_member_name() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-08	Dan Carpenter	conditions: fix parsing expression statements with... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-04	Dan Carpenter	math: add a short cut for fake calls in handle_call_rl() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-04	Dan Carpenter	kernel_printf: update to the latest kernel Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-04	Dan Carpenter	get_user_overflow: "x + 0" doesn't overflow Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-02	Javier Carrasco	Documentation/smatch: fix typo in submitting-patches.md Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-02	Javier Carrasco	Documentation/smatch: convert to RST Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-04-02	Javier Carrasco	Documentation/smatch: fix paths in the examples Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-26	Dan Carpenter	db: insert line numbers into INTERNAL return states Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-22	Dan Carpenter	db: fix splitting implications Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-20	Harshit Mogalapalli	kernel_user_data: add ceph_decode_n() as returning... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-05	Dan Carpenter	new_bugs.pl: add a -d <dir> option Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-05	Dan Carpenter	fixup_kernel.sh: remove some calls to (struct device_attribu... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-05	Dan Carpenter	db/kernel.return_fixes: add some comparisons Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-05	Dan Carpenter	db/smdb.py: add "irq" option Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-05	Dan Carpenter	db/fixup_kernel.sh: fix kstrtoint() functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-05	Dan Carpenter	locking: add some hardcoded locks Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-03-05	Dan Carpenter	scoped cleanup: update because of sound/ changes Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-29	Dan Carpenter	kvmalloc_NOFS: silence "does not make sense for no... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-29	Dan Carpenter	helper: fix crashing bug in token_to_ul() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-27	Dan Carpenter	kernel_xa_err: handle xa_is_err() and xa_err() a little... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-26	Dan Carpenter	kernel: handle scoped_guard(spinlock_irq ...) Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-23	Dan Carpenter	kernel.ignore_casted_params: add some more set_bit... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-23	Dan Carpenter	implied: add the correct expression to the debug output Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-22	Dan Carpenter	db/kernel.return_fixes: add cred scoped guard annotations Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-19	Dan Carpenter	mtag: fix a bug on 32 bit systems Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-19	Dan Carpenter	kernel_irq_context: add (struct irqaction)->handler... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-19	Dan Carpenter	kernel_irq_context: mark the IRQ handler in the function Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2024-02-19	Dan Carpenter	points_to_user_data: Add __wbuf() as setting a user... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom