Public Git Hosting - smatch.git/search

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
2023-06-27	Dan Carpenter	flow: add support for __cleanup__ functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	parse: handle __cleanup__ attribute Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	kernel_netdev_priv: track netdev priv data Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	param_limit: update a comment Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-27	Dan Carpenter	param_key: remove some bogus warning messages Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-23	Dan Carpenter	function_hooks: prevent a crashing bug parsing fake... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-19	Dan Carpenter	type: support __auto_type Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-14	Dan Carpenter	db/fixup_kernel.sh: delete kfree() poison information Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-14	Dan Carpenter	kernel: handle with_intel_runtime_pm() macros better Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-14	Dan Carpenter	flow: handle declarations inside for loops Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	strlen: handle strchr() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	strlen: store strlen information as a range Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	strlen: handle p++ Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	strlen: small cleanup Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	deref_check: warn about dereferences before an IS_ERR... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	deref_check: use add_dereference_hook() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	units: handle the situation where it an array of bytes Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	points_to_user_data: update with some ntfs user data... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	db/reload_partial.sh: update to handle hashed files Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-12	Dan Carpenter	db/fill_db_caller_info.pl: fix "too common function... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-06-07	Dan Carpenter	unsigned_lt_zero: re-write this check Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-31	Dan Carpenter	dereference: fix a crash Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-23	Dan Carpenter	scripts/generisize.pl: handle "potentially tagged address... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-19	Dan Carpenter	dereference: fix some false positives Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-19	Dan Carpenter	returns_negative_error_code: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-19	Dan Carpenter	dereference: hard code nla_data() as dereferencing... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-18	Dan Carpenter	checking_for_null_instead_of_err_ptr: add list of untrust... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-17	Dan Carpenter	checking_for_null_instead_of_err_ptr: use smatch_kernel_err_... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-17	Dan Carpenter	kernel_err_ptr: hack around for_each_gpio_desc_with_flag() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-15	Dan Carpenter	scripts/generisize.pl: generisize function names Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-12	Dan Carpenter	kernel.unreachable.turn_off: add some kunit stuff Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	preempt_info: add __bit_spin_unlock() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	check_list/err_ptr: register the err_ptr code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	debug/units: hook in the __smatch_units() code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	validation/sm_err_ptr: make IS_ERR() an inline function Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	dereference: find more cross function dereferences Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	err_ptr_deref: re-write the check Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	kernel_err_ptr: track error pointers in the database Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	kernel.no_return_funcs: update to the latest linux... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	kernel.no_return_funcs: add kunit_do_failed_assertion() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-10	Dan Carpenter	comparison: store modified comparisons Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-10	Dan Carpenter	units: move checks to check_ file and hide under the... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom