Public Git Hosting - smatch.git/search

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	John Levon	Check for NULL stmt in check_all_func_returns 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
2020-05-04	Dan Carpenter	db/return_states: fix call_id type Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	db/create_db.sh: silence warning when -p option isn... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	mark_function_ptrs_searchable: mark more functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	container_of: fix importing the mtag data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	estate: check hard max in estates_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	estate: add a ->new flag to track new states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	helper: export get_array_expression() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	implied: fix parsing for PARAM_LIMIT implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	implied: non-merged states have no implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	type: improve get_member_type_from_key() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	type_val: ignore "idr_find" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	implied: turn on debug_implied when regular debug is set Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	err_ptr: delete dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	struct_assignment: strip parentheses right Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	atomic_inc_dec: push latest code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-04-07	Dan Carpenter	real_absolute: update real absolute for faked fresh... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	type: create type_fits() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	db/kernel.return_fixes: misc updates (locking mostly) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	states: add a way to watch other checks set states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	debug: print a special warning for user_rl without... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	fresh_alloc: some things are not fresh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	helper: don't cache Tmp expressions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	expressions: Rename "Fake" to "Tmp" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	math: functions can return fuzzy range lists Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	return_to_param: remove unused declaration Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	scripts/summarize_errs.sh: white space fixes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	tokenize: export alloc_ident() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	allocating_enough_data: clarify error message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	struct_assignment: Fix (*$)->foo handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	validation: update impossible tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	shift_to_zero: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	mtag: don't double record mtag data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	smdb: add some more types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	slist: add some debug code to warn about missing set_dynamic... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	helper: remove no_parens parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom