Public Git Hosting - smatch.git/search

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
2020-02-18	Dan Carpenter	implied/comparison: delete unknown implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	helper: return more specific error codes in get_param_num_fr... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	function_hooks/mtag: set mtag returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	helper: small white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	mtag: save the mtag allocator Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	db: add support for (*$)->foo = 1; Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	db: make mtag_about entries unique Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	db: add mtag_info table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	mtag_map: re-arrange container map Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	type: export is_struct_ptr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	db: don't bother splitting error paths Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	db: store the function mtag in the call_id space Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	db: don't split negatives using null/non_null Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	db: add a new callback for inserting stuff into caller_info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	function_ptrs: delete a stray space character Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	estate: pointers don't have hard maxes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	mtag_data: ignore boot_params Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	mtag_data: ignore head->next Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	helper: print EXPR_SELECT and EXPR_CONDITION with expr_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	mtag_map: add a tag_offset field Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	fresh_alloc: NULL is not a fresh alloc Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	debug: move __print_states() to smatch_states.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	math: handle unknown maximums in subtract operations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	flow: call ASSIGNMENT_HOOK_AFTER for complicated assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-28	Dan Carpenter	mtag: update swap_mtag_return() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	fresh_alloc: mark used data as unfresh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	fresh_alloc: export is_fresh_alloc() and is_fresh_alloc_var_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	fresh_alloc: NULL pointers are not fresh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	mtag: export str_to_mtag() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	type: improve debug output for NULL types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	slist: fix __print_stree() debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom