Public Git Hosting - smatch.git/search

2015-08-20	Dan Carpenter	states: remove an unused function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	double_checking: avoid more false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	double_checking: silence false positives caused by... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	double_checking: allow if (foo) { ... } else if (!foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	zero_to_err_ptr: calling PTR_ERR(NULL) is a probably... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	smdb.py: update list of types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-19	Dan Carpenter	check_kernel: register this later Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-19	Dan Carpenter	check_dma_mapping_error: The dma_mapping_error() function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-19	Dan Carpenter	buf_comparison: split the code up and move it around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-18	Dan Carpenter	extra, db: don't use PARAM_VALUE for return states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-17	Dan Carpenter	buf_size: add kmap() and get_zeroed_page() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-17	Dan Carpenter	buf_size, strlen: don't use strlen() to determine the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-17	Dan Carpenter	strlen: cleanup in get_implied_strlen() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-17	Dan Carpenter	buf_size, strlen: move strlen() handling to smatch_strlen.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-15	Dan Carpenter	extra: track array values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-15	Dan Carpenter	stored_conditons: store the chunk as well as the var_sym_list Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-15	Dan Carpenter	ranges: add a missing cast in add_range_t() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-14	Dan Carpenter	validation: don't use uninitialized data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-14	Dan Carpenter	modification_hook: record the modification expression Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-11	Dan Carpenter	smatch: remove the "loop could be replaced with if... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-11	Dan Carpenter	buf_size: unbreak this feature Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-11	Dan Carpenter	test_kernel.sh: print where the warnings are saved Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-11	Dan Carpenter	buf_size, db: only store type_size if it is a pointer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-10	Dan Carpenter	stored_conditions, implied: use implications of previous... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-10	Dan Carpenter	implied: re-order where we calculate implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-08	Dan Carpenter	overflow: silence glibc strcmp false positives with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-05	Dan Carpenter	implied, ranges: use type promotion for comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-05	Dan Carpenter	ranges: use NULL instead of zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-04	Dan Carpenter	deref_check, check_deref: only consider pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-03	Dan Carpenter	stored_conditions: rename match_modify() to match_link_modify() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-03	Dan Carpenter	math: fix an out of memory issue Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-03	Dan Carpenter	math: return a bit earlier in handle_binop_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-31	Dan Carpenter	implied: we have to make the false states match as... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-31	Dan Carpenter	err_ptr: use the actual values to silence false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-30	Dan Carpenter	comparison: fix an oops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-30	Dan Carpenter	fixup_kernel.sh: track kmalloced() vs .text data better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-30	Dan Carpenter	extra: don't try to record the state for literals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-30	Dan Carpenter	flow: add a ->parent member to statement structs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-30	Dan Carpenter	ranges: don't allow so many inverted ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-30	Dan Carpenter	type: improve get_member_type_from_key() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-30	Dan Carpenter	extra: handle arrays better using the chunk code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-29	Dan Carpenter	type: make type_to_str() handle arrays better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-29	Dan Carpenter	helper: tiny cleanup in get_complication_score() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-28	Dan Carpenter	implied: fix bug handling unmatched implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-28	Dan Carpenter	extra: fix chunk handling a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-28	Dan Carpenter	validation: fix a test a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-27	Dan Carpenter	deref_check: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-27	Dan Carpenter	deref_check: remove unnecessary call to getting_address() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-27	Dan Carpenter	fixup_kernel.sh: fix the rtlwifi hack Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-25	Dan Carpenter	unconstant_macros: add MAP_UNINITIALIZED Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-23	Dan Carpenter	ptrlist: reading deleted items in NEXT_PTR_LIST() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-16	Dan Carpenter	ranges: fix how some ranges are joined together Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-16	Dan Carpenter	ranges: avoid a possible integer overflow problem Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-16	Dan Carpenter	pointer_math: ALIGN is not bytes, but offsetof() and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-16	Dan Carpenter	pointer_math: don't complain if a pointer math operation... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-16	Dan Carpenter	pointer_math: silence false a ton of false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-14	Dan Carpenter	chunk: improve expr_to_chunk_sym_vsl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-14	Dan Carpenter	helper: improve get_complication_score() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-14	Dan Carpenter	helper: export get_complication_score() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-11	Dan Carpenter	type: export is_local_variable() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-11	Dan Carpenter	chunk: change the API a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-10	Dan Carpenter	extra: start tracking "chunks" instead of just variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-09	Dan Carpenter	math: give up if calculating a value is too complicated Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-08	Dan Carpenter	implied: turn off debug messages Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-07	Dan Carpenter	check_list.h: move stored_condition_links next to stored_con... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-07	Dan Carpenter	flow: ignore arrays with over a 1000 elements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-06	Dan Carpenter	db/fixup_kernel.sh: hack around slow rtlwifi tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-01	Dan Carpenter	capped: use FOR_EACH_MY_SM() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-01	Dan Carpenter	user_data2: add skb_network_header() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-01	Dan Carpenter	user_data2: handle pointers to user data better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-01	Dan Carpenter	user_data: add kmap_atomic() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-01	Dan Carpenter	user_data: s/kmemdup_user/memdup_user/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-01	Dan Carpenter	test_bit: add set_bit() and clear_bit() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-07-01	Dan Carpenter	check_deref: remove call to getting_address() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-30	Dan Carpenter	estate: make clone_estate() take a NULL pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-30	Dan Carpenter	whitespace: change some spaces to tabs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-29	Dan Carpenter	debug: add some tools for developing the db parser... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-29	Dan Carpenter	buf_size: improve resizable struct handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-26	Dan Carpenter	db: fix a bug in split returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-26	Dan Carpenter	extra: introduce get_extra_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-26	Dan Carpenter	smatch: change all remaining references from warns... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-23	Dan Carpenter	kernel.ignored_macros: add SNIC_BUG_ON() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-10	Dan Carpenter	unreachable: ignore list_for_each_entry_continue Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-10	Dan Carpenter	extra: handle x = (u8)y; correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-09	Dan Carpenter	implied: fix a leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-09	Dan Carpenter	type: handle typeof() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-09	Dan Carpenter	math: handle __smatch_implied(&foo->bar) a little better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-09	Dan Carpenter	assigned_expr: store it late Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-09	Dan Carpenter	function_hooks: fix validation/sm_compare15.c handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-07	Dan Carpenter	locking: add new down_timeout() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-07	Dan Carpenter	smatch_address: fix compile Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-07	Dan Carpenter	fixup_kernel.sh: ignore some __vfs_write() calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-07	Dan Carpenter	fixup_kernel: update types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-26	Dan Carpenter	debug: improve __smatch_states() output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-22	Dan Carpenter	flow: ignore parenthesis in prev_expression_is_getting_address() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-20	Dan Carpenter	unreachable: ignore netdev_for_each_lower_dev() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-18	Dan Carpenter	flow: cleanup prev_expression_is_getting_address()... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-15	Dan Carpenter	flow: "&foo->bar" is not a dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-15	Dan Carpenter	smatch_address: separate things out into .bss and ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-13	Dan Carpenter	new check_test_bit: check for test_bit(BIT(0), &foo) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom