Public Git Hosting - smatch.git/search

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
2023-09-11	Dan Carpenter	hooks: rename l to list Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-11	Dan Carpenter	leaks: silence cleanup.h false positives Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-02	Dan Carpenter	buf_size: add bitmap functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-02	Dan Carpenter	buf_size: big ugly sync with released sources Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-02	Dan Carpenter	checking_for_null_instead_of_err_ptr: silence debugfs... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-02	Dan Carpenter	dereference: don't talk about dereferencing arrays... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-02	Dan Carpenter	dereference: add strlen() as a dereference function Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-02	Dan Carpenter	dereference: use the new add_param_key_expr_hook() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-01	Dan Carpenter	impossible_compare: silence const values Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-01	Dan Carpenter	signed/always_true: move "always true condition" warning... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-01	Dan Carpenter	tokenize: parse char16_t as wchar_t Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-01	Dan Carpenter	refcount_info/free: fix kfree_skb() when there is no DB Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-08-01	Dan Carpenter	smdb: don't use "like" where it isnt necessary Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-31	Dan Carpenter	kernel: use hard coded returns from IS_ERR() for u... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-31	Dan Carpenter	zero_to_err_ptr: handle parse errors better Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	atomic_inc_dec: delete obsolete check Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	kernel_atomic_dec_test_path: move this into a separate... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	refcount_info: promote it from a check_ to a smatch_... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	atomic_inc_dec/refcount: move was_inced() from atomic_inc_de... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	smatch: make a shared set_undefined() helper Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	function_hooks: introduce return_implies_param_key_expr() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	function_hooks: change add_function_param_hook() to... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	param_key: delete unused variable Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	holds_kernel_error_codes: commit the holds_kernel_error_code... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	devm_cleanup: commit the has_devm_cleanup() declaration Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	kernel_task_state: track when a task is not in TASK_RUNNING... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-28	Dan Carpenter	function_hooks: add add_function_param_hook() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-26	Dan Carpenter	parse: add __float128 Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-25	Dan Carpenter	negative_error_code_type_promoted: warn about error... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-25	Dan Carpenter	kernel: don't assume PTR_ERR() is an error pointer Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-25	Dan Carpenter	constants: fix err_min/max ULONG_MAX constants for... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-24	Dan Carpenter	unwind/has_devm_cleanup: move tracking devm_ actions... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-24	Dan Carpenter	negative_error_code: add special handling for negative... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-24	Dan Carpenter	not_passing_gfp: warning about using GFP_KERNEL instead... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-20	Dan Carpenter	double_checking: complete re-write Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-20	Dan Carpenter	struct_assignment: handle pointer to pointer assignments... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-19	Dan Carpenter	struct_assignment,points_to_user_data: track arrays... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-13	Dan Carpenter	db/kernel.return_fixes: alphabetize the file Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-13	Dan Carpenter	kernel.return_fixes: devm_drm_of_get_bridge() doesn... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-05	Dan Carpenter	impossible_compare: separate the impossible comparison... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-03	Dan Carpenter	bogus_loop: silence false positives when ARRAY_SIZE... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-07-03	Dan Carpenter	unsigned_lt_zero: don't warn about "if (foo < ARRAY_SIZE())" Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-30	Dan Carpenter	kernel_printf: silence warnings about %02X with signed... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	capped: delete a blank line Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	db: move an assignment outside the loop Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	extra: fake assignments for PARAM_SET data Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	function_hooks: mark params untracked if there is not... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	smatch_implied: delete some dead code in handle_zero_compari... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	param_cleared: don't record nested structs as BUF_CLEAR Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	ranges: handle IMPOSSIBLE_COMPARISON Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	flow: introduce shallow assignments Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	conditions: fix handling of "foo = bar ?: baz;" Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	flow: add a comment to handle__builtin_choose_expr_assigns() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	struct_assignment: delete some dead code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	struct_assignment: don't track stuff that we don't... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	struct_assignment: use BUF_ADD instead of PARAM_ADD Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	struct_assignment: add my_id variable Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	struct_assignment: add memcpy_fromio() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom