Public Git Hosting - smatch.git/search

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
2023-02-08	Dan Carpenter	hooks: commit some missing bits Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	helper: 0-s32max returns are success Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	helper: add a strip_parens() in get_member_name() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	kernel_host_data: ignore nonsense information Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	db/clear_user_data: clean user data more thoroughly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	kernel_user_data: ignore nonsense data Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	kernel_user_data: add some more functions that return... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	function_hooks: create fake_param_assign_helper() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-07	Dan Carpenter	preempt_info: add rht_lock and bit_spin_lock Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-07	Dan Carpenter	scheduling_in_atomic: Add mas_store_gfp() as a special... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-07	Dan Carpenter	dma_mapping_error: delete obsolete check Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-07	Dan Carpenter	direct_return_instead_of_goto: don't warn about printk... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-06	Dan Carpenter	sleep_info: handle mutexes correctly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-02	Dan Carpenter	expressions: handle a case in gen_expression_from_key() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-02	Dan Carpenter	db: improve recording when we return a parameter Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-01-19	Dan Carpenter	kernel_user_data: iov_iter_count() returns user data Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-01-18	Dan Carpenter	param_key: export the split_param_key() function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-01-12	Dan Carpenter	free_strict: don't promote "maybe_freed" to "freed... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-13	Dan Carpenter	function_hooks: use the correct expression Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-09	Dan Carpenter	debug: print the param key of a variable Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-08	Dan Carpenter	generisize.pl: remove the function name from "too small... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-08	Dan Carpenter	frees_param_strict: handle assigned parameters Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-07	Dan Carpenter	buf_size: small clean up Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-06	Dan Carpenter	kernel.ignore_side_effects: ignore memcpy/move/set Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	math: do another strlen fix Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	strlen: add __builtin and __fortify functions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	struct_assignment: add __builtin_memset/memcpy() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	param_clear: add __builtin_memset/memcpy Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	postop_timeout: warn about incorrect while (timeout... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-28	Dan Carpenter	unchecked_allocation: warn about potential NULL dereferences Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	goto_tracker: still doesn't build Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom