Public Git Hosting - smatch.git/search

2020-10-23	Dan Carpenter	signed: don't warn about u64 comparisons with ULONG_MAX Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	flow: don't parse inlines again if they take a long... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	param_limit: move registration before param_set Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	states: introduce has_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	math: don't use type_value for get_implied_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	leaks: small white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	math: remove a stray space character Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	param_limit/filter/set: use param_key code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	param_key: export some functions and introduce map_to_param() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	smatch: save less stuff, run faster Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	type_val: speed up type_val cache Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	flow: clear out fake assignments after they're not... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	math: store all constant EXPR_BINOP results Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-15	Dan Carpenter	db: handle extern inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-14	Dan Carpenter	deref: avoid the big_statement_stack Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-14	Dan Carpenter	param_used: always assume "$" and "*$" are used Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-13	Dan Carpenter	smatch: add a [smatch.check_name] to the output with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-30	Dan Carpenter	smatch_scripts/new_bugs.pl: total re-write of the script... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-30	Dan Carpenter	db/create_db: don't use corrupted DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-29	Dan Carpenter	param_limit: use the shared copy of start states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-29	Dan Carpenter	param_filter: delete unused code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-28	Dan Carpenter	flow: fake a parameter assignment for literals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	param_key: remove bogus consts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	param_key: don't export state_name_to_param_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	capped: convert return info to modern code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	assigned_expr: clean up old ancient code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	locking: fix compile (broken by add_function_data()) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	capped: change how binops are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	capped: change += assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	kernel: add support for array_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	kernel: fix implied_err_cast_return() return Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	frees_param_strict: use get_param_key_from_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	atomic_inc_dec: add some more inc_dec functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	implied: add a comment in possible_false_helper() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	param_key: use get_name_sym_from_key() instead of return_sta... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	flow: Use add_function_data() to clean up the code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	db/param_key: move some key related functions from... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	unwind: add some more functions that need to be freed Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	math: improve AND handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	function_ptrs: don't store nonsense fake pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	unwind: handle freeing in other functions better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	flow: introduce function data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	param_key: preserve parameter assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	check_unwind: remove request_resource() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	db: fix db_incomplete Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	unwind: fix a spelling mistake "ballance" --> "balance" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	db: record if the DB is missing information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	unwind: fix request_resource() checking Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	db: split ranged implication hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-15	Dan Carpenter	param_key: introduce get_name_sym_from_key() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-15	Dan Carpenter	ranges: add is_err_or_null() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-15	Dan Carpenter	unwind: re-write the check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-15	Dan Carpenter	param_key: move functions to new file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-11	Dan Carpenter	helper: introduce get_param_key_from_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-11	Dan Carpenter	return_to_param: delete debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-11	Dan Carpenter	return_to_param: Fix returned function parsing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-10	Dan Carpenter	function_hooks: check the return from the implied_return_hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-10	Dan Carpenter	function_hooks: rename a variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-04	Dan Carpenter	db/kernel.insert: the device_add() function sets the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-04	Dan Carpenter	db/kernel.insert: Insert some vmalloc() limits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-01	Dan Carpenter	validation: update locking tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-01	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/sparse... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-01	Dan Carpenter	helper: export get_param_key_from_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-01	Dan Carpenter	locking: turn off locking check for non-SMP configs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-14	Dan Carpenter	free_strict/frees_param: re-write these checks a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-14	Dan Carpenter	free: fix parsing of parent_is_free_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-14	Dan Carpenter	buf_size: add support for kvcalloc() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-14	Dan Carpenter	buf_size: improve support for variable size arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-14	Dan Carpenter	buf_size: improve support for zero size arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-13	Dan Carpenter	capped: move binop handling into a separate function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-13	Dan Carpenter	capped: hard max does not mean capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-11	Dan Carpenter	db/smdb: port it to python3 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-11	Dan Carpenter	db/smdb: add USER_PTR types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-06	Dan Carpenter	equiv: delete unused remove_from_equiv_expr() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-05	Dan Carpenter	user_data: clean up match_assign() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-05	Dan Carpenter	user_data: mark array_index_mask_nospec as capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-05	Dan Carpenter	points_to_user_data: reset the state to not user data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-05	Dan Carpenter	db: don't store unreachable calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-05	Dan Carpenter	dereferences_param: mark more parameters as dereferenced Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-05	Dan Carpenter	math: array parameters can be NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-08-03	Dan Carpenter	points_to_user_data: Fix a segfault parsing kernel... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-21	Dan Carpenter	atomic_inc_dec: create a new inc_dec table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	user_data/points_to_user_data: re-write user tracking Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	flow: fix certain inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	db: create fake assignments for calls and returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	kernel: improve handling of kernel parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	kernel: improve handling for IS_ERR() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	user_data: update a comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	math: fix a compile issue Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	math: assume pointer additions don't overflow Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	buf_size: fake function assigns are always unknown... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	math: add support for __builtin_ffs() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	allocating_enough_data: silence container_of() false... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-07-14	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/sparse... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-06-19	Dan Carpenter	type: mark foo.bar.baz as a local variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-06-18	Dan Carpenter	extra: mtag: don't store unknown states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-06-08	Dan Carpenter	db: Fix buffer overflow in state_name_to_param_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: remove an unused parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: don't warn about impossible paths Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: ignore local static variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom