Public Git Hosting - smatch.git/search

2023-05-10	Dan Carpenter	units/debug: add __smatch_units() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-10	Dan Carpenter	units: delete some accidental code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-10	Dan Carpenter	units: make unit states global Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	macro_table: don't store duplicate macros Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	capped: handle for loops better Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	conditions: strip stuff off a STMT_EXPRESSION Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	expressions: *&foo is just foo Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	kernel_user_data: take a short cut to speed up empty... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	mtag: create a reverse mapping from mtag to symbol Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	param_limit: improve printing the limit Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	returns: delete some dead code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	db/untracked_param: move mark_call_params_untracked() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	db: fix sql_insert_return_implies() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	dereferences_param: re-write simpler Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom