Public Git Hosting - smatch.git/search

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
2015-05-04	Dan Carpenter	type: speed up get_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-04	Dan Carpenter	type: improve get_binop_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-01	Dan Carpenter	flow: add a new expr->parent struct member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-27	Dan Carpenter	fixup_kernel: hard code __spi_sync() returns. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-27	Dan Carpenter	fixup_kernel: kmalloc() can allocate more data. Let... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-24	Dan Carpenter	smatch_address: sort pointers into different ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-23	Dan Carpenter	extra: remove some unused functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-23	Dan Carpenter	smatch.h: add the comparison hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-22	Dan Carpenter	type_to_str: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-13	Dan Carpenter	ignore_side_effects: get_child_rcu() double evaluates... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-09	Dan Carpenter	implied: use comparison information for implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-09	Dan Carpenter	smatch.h: move stree_stack declaration from smatch_slist... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-07	Dan Carpenter	rosenberg: add __builtin_memset/memcpy() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	user_data2: handle returned struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	comparison: update a comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	smdb.py: update to reflect LIMIT/FILTER changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	unwind: add some null checks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	type: include smatch_slist.h to prevent a segfault Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	extra: don't set states to unknown at the beginning... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	extra: don't set true false states if they are the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	function_hooks: add a hack around in compare_db_return_state... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	list: add a comment about register_implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	param_limit: handle struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	states: white space fix Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	conditions: ignore known/implied conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	strings: record string assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	struct_assignment: save a lot more information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	param_limit/filter: fix a type bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	comparison: handle canonical for loops with variable... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	comparison: unsigned can not be less than zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	flow: set __cur_stmt and __prev_stmt inside for loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	comparison: merging equivalent states is not undefined Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	comparison: fix an indent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	function_hooks: fix up db_compare_callback() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	function_hooks, debug: print impossible returns if... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	helper: don't strip casting in get_array_offset() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom