Public Git Hosting - smatch.git/search

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-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
2022-11-25	Dan Carpenter	goto_tracker: create a goto state for goto statements Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	smatch.h: export __smatch_lineno Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	kernel: add handling for kref_put() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	kernel_user_data: clean up variable in tag_struct_members() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	kernel_user_data: introduce a param/key table Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	missing_error_code2: warn about return ret where ret... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	missing_error_code: cleanup s/yup/true/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	missing_error_code: fix bug handling inlines Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-24	Dan Carpenter	direct_return_instead_of_goto: warn about missing unwinds Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-24	Dan Carpenter	divide_condition: warn about if (foo / 4) { Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-23	Dan Carpenter	function_hooks: do set_fresh_mtag_returns() later Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-10	Dan Carpenter	type: export is_void_ptr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-10	Dan Carpenter	free_strict: add qdisc_enqueue() as a free function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-10	Dan Carpenter	release_resource: add allocate_resource() as a request... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-07	Dan Carpenter	db: add a NULL check in is_kernel_success_fail() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-03	Dan Carpenter	data/kernel.unreachable.ignore: add put_user() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-02	Dan Carpenter	assigned: strip some assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-27	Dan Carpenter	unreachable: ignore outb outw and outl Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	comparison: use COMPARE_LIMIT Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	db: get rid of RELEASE_OLD Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	fixup_kernel.sh: update to use hashed file names Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	type: get type from _Generic() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	sm_hash: remove incorrect "0x" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-21	Dan Carpenter	flow: fix ordering for STMT_HOOK_AFTER wrt labels Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom