Public Git Hosting - smatch.git/search

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
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
next

Static analysis for C

RSS Atom