Public Git Hosting - smatch.git/search

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
2020-05-26	Dan Carpenter	atomic_inc_dec: unknown values are not failures Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: don't record increment/decrement if... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: record potential decrements as a decrement Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: don't store information in impossible... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: add more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: don't double set states to &inc/&dec Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: change how unmatched states are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-26	Dan Carpenter	atomic_inc_dec: rename "orig" to "start_state" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-20	Dan Carpenter	kernel_printf: print error pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-20	Dan Carpenter	kernel_printf: add support for %ls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-20	Dan Carpenter	kernel_printf: add _GNU_SOURCE define Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-19	Dan Carpenter	Documentation/smatch: add a reference to the mailing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-12	Dan Carpenter	buf_size: ignore certain assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-11	Dan Carpenter	atomic_inc_dec: fix compile even harder Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-11	Dan Carpenter	db: split possible states even when they're equal to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-07	Dan Carpenter	smatch: fix the compile Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-07	Dan Carpenter	shift_to_zero: be even more conservative (avoid false... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	debug: add more debug info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	db: don't bother with unknown sizes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	buf_size: update some kernel functions: vzalloc() and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	bits: Fix handling of \|= and &= Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	bits: move is_loop_iterator() earlier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	kernel: preserve the sm state when handling IS_ERR() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	kernel: fix a type bug handling err_cast() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	kernel: add support for closure_call() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	buf_size: check pointer size earlier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	buf_size: fix handling of unknown flexible array sizes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	buf_size: ignore zero returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	extra: fix compile Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	extra: delete some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	build_kernel_data.sh: print a message after the kernel... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	db/kernel.return_fixes: ww_mutex_lock() can't return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	capped: handle & and % slightly differently Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom