Public Git Hosting - smatch.git/search

2023-05-08	Dan Carpenter	impossible: don't mark returns as impossible if threads... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-06	Dan Carpenter	struct_assignment: add copy_from_user() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-05	Dan Carpenter	locking: use shared success_fail_return() function Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-05	Dan Carpenter	locking: add some more locking functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-04	Dan Carpenter	rosenberg: fix a segfault Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-04	Dan Carpenter	kernel.unconstant_macros: add EXT4_MOUNT_DAX_ALWAYS Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	rosenberg: fully initializing the struct does not clear... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	rosenberg: revert "initialization and struct assignments... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	locking: delete some NULL checks Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	locking: add some more locking functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	bogus_address_param: warn about passing a bogus address Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-02	Dan Carpenter	units: fix the build Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-02	Dan Carpenter	check_trinity: delete this code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-04-20	Dan Carpenter	locking: ignore false positives caused by perf_event_enable... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-04-19	Dan Carpenter	units: store what sort of units a variable is in Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-04-19	Dan Carpenter	zero_to_err_ptr: add dev_err_probe() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-13	Dan Carpenter	free_strict: add sock_release() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	db/fixup_kernel.sh: ignore param limits from __dev_printk() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	db/fixup_kernel.sh: vfs_read/write() are the only important... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	extra: revert the mod_expr changes for modify expression... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	extra: set no limits mark_sub_members_gone() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	unwind: devm_add_action_or_reset() is now a macro Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	unwind: separate path states out into a different check id Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	unwind: ignore path states in pre-merge hook Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	unwind: don't warn about impossible leaks Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	unwind: ignore component_match_add_release() paths Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	unwind: use the shared success_fail_return() function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	unwind: catch additional bugs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	unwind: fix a bug with SSA Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-06	Dan Carpenter	unwind: introduce &unknown state Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-04	Dan Carpenter	flow: fix MACRO_ASSIGNMENT_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-04-03	Dan Carpenter	param_limit: don't store addresses as PARAM_LIMIT Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-28	Dan Carpenter	helper: make strip_expr() strip out "+ 0" Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-28	Dan Carpenter	flow: only fake parameter assignments once Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-28	Dan Carpenter	shift_to_zero: silence some warnings inside macros Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-28	Dan Carpenter	db/create_db.sh: verify that the info file exists Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-27	Dan Carpenter	data/kernel.unconstant_macros: add ENQUEUE_MIGRATED Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-25	Dan Carpenter	unwind: don't warn about global variables Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-24	Dan Carpenter	flow: don't reparse inlines over and over Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-23	Dan Carpenter	kernel.unconstant_macros: add some pending stuff Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-15	Dan Carpenter	debug: fix broken compile because of missing code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-15	Dan Carpenter	debug: skip everything except a given function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-15	Dan Carpenter	debug: add __smatch_start/stop_skip() to skip processing... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-15	Dan Carpenter	debug: make __smatch_about() handle SSA states better Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-11	Dan Carpenter	dereference: fix handling DEREFERENCE from the database Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-11	Dan Carpenter	dereference: only count foo->bar as a dereference not... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-09	Dan Carpenter	data/kernel.ignore_unitialized_param: add some more... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-09	Dan Carpenter	param_clear: add support for BUF_ADD Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-08	Dan Carpenter	param_limit: ignore BUF_CLEAR here as well Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-08	Dan Carpenter	dereference: create a add_dereference_hook() function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-08	Dan Carpenter	buf_clear: do a speed up Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-04	Dan Carpenter	kernel_user_data: use a param/key table for simple_strtoul() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-04	Dan Carpenter	db/kernel.return_fixes: add debugfs_initialized Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-04	Dan Carpenter	db/kernel.return_fixes: add nla_nest_start_noflag() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-03	Dan Carpenter	user_data: remove xdr_inline_decode() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-03	Dan Carpenter	user_data: clean up how sscanf is handled Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-03	Dan Carpenter	user_data: clean up how iov_iter_count is handled Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-03	Dan Carpenter	points_to_host_data: make a pointer const Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-03	Dan Carpenter	user_data/ptr: move things from user_data to user_ptr Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-03	Dan Carpenter	db: do the caller_info stuff earlier Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-03	Dan Carpenter	db: fix returned information Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-03	Dan Carpenter	struct_assignment: make the faked_expression function... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-02	Dan Carpenter	user_data: fix an is_new setting in handling assignments Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-02	Dan Carpenter	kernel_user_data: don't set *my_struct to user data Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-02	Dan Carpenter	kernel_user_data: ignore void types Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-02	Dan Carpenter	db/fixup_kernel.sh: only record one work queue caller... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-02	Dan Carpenter	estate: pointers can't have a fuzzy max Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-02	Dan Carpenter	points_to_user_data: all calls to copy_from_user()... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-03-02	Dan Carpenter	struct_assignment: introduce create_recursive_fake_assignments() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-28	Dan Carpenter	parse_call_math: store ==$0 even for known values Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-28	Dan Carpenter	hooks: save the container->owner Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-28	Dan Carpenter	returns_negative_error_code: low positives are not... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-28	Dan Carpenter	returns_negative_error_code: empty states are not error... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-28	Dan Carpenter	points_to_user_data: rename set_points_to_user_data... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-27	Dan Carpenter	sm_hash: export str_to_llu_hash_helper() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-27	Dan Carpenter	smatch: don't include "scope.h" for no reason Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-27	Dan Carpenter	flow: pull parse_assignment() into its own function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-24	Dan Carpenter	flow: revert previous commit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-24	Dan Carpenter	flow: handle struct assignments later Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-24	Dan Carpenter	points_to_user_data: handle some pointer math better Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-24	Dan Carpenter	points_to_user_data: communicate USER_PTR returns to... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-23	Dan Carpenter	points_to_user_data: hard code some ksmbd stuff as... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-23	Dan Carpenter	function_hooks: do early stuff even earlier Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-23	Dan Carpenter	function_hooks: don't call db_return_states() early Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-23	Dan Carpenter	function_hooks: introduce early add_function_hook_early() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-22	Dan Carpenter	unreachable: change int to bool Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-22	Dan Carpenter	unreachable: delete an extra space character Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-22	Dan Carpenter	unreachable: ignore all for_XXX macros Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-15	Dan Carpenter	expressions: make gen_expression_from_key() handle... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-15	Dan Carpenter	expressions: make gen_expr_from_param_key() work for... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-13	Harshit Mogalapalli	direct_return_instead_of_goto: don't warn about other... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-13	Harshit Mogalapalli	direct_return_instead_of_goto: Delete duplicate conditions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-09	Dan Carpenter	sleeping in atomic: silence some duplicate warnings Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	db/kernel.return_fixes: update notifier_to_errno()... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	db/smdb.py: update the type strings Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	kernel.unreachable.ignore: add damon_for_each_target Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	expressions: add cast_expression() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	expressions: fix a -> vs . bug in gen_expression_from_key() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	extra: pass a different mod_expr for vanilla assignments Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	buf_comparison: add support for struct_size() array Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom