Public Git Hosting - smatch.git/search

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
2011-11-21	Dan Carpenter	recognize binary constants Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-09-14	Dan Carpenter	deref_check: check_deref: print both line numbers	commit \| commitdiff \| tree
2011-09-13	Dan Carpenter	core: set position earlier in smatch_flow.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-09-12	Dan Carpenter	slist: preserve the ->line value correctly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-09-12	Dan Carpenter	overflow: print more helpful info when the data file... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-09-12	Dan Carpenter	gen_array_bounds: filter out bogus lines Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-30	Dan Carpenter	buf_size: silence a gcc false positive Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-30	Dan Carpenter	use PTR_INT() and INT_PTR() to silence cast warnings Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	slist: make alloc_sm_state() static Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	slist: remove some dead code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	core: clong_sm() should preserve the ->line value Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	update smatch_data/ for linux-3.1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-04	Dan Carpenter	new bogus_loops: warn on bogus for loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-07-29	Dan Carpenter	extra: use get_implied_value() instead of get_value... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-07-26	Dan Carpenter	implied: handle assignments inside conditions better Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-17	Dan Carpenter	overflow: check sprintf() and snprintf() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-17	Dan Carpenter	smatch_flow: fix compile error caused by upstream changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-17	Dan Carpenter	overflow: cut down on false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-13	Dan Carpenter	smatch_data: update for 3.0 kernel Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom