Public Git Hosting - smatch.git/search

2014-05-29	Dan Carpenter	struct_assignment: introduce get_faked_expression() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-29	Dan Carpenter	struct_assignment: handle memcpy(foo, ...) where foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-29	Dan Carpenter	math: be more ambitious handling right shifts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-28	Dan Carpenter	user_data: kstrtoul() and friends should taint data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-28	Dan Carpenter	extra: more limits on which variables are equivalent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-27	Dan Carpenter	db: get return states from function pointers if possible Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-23	Dan Carpenter	propagate: remove validation test because we removed... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-22	Dan Carpenter	slist: introduce merge_fake_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-22	Dan Carpenter	unreachable: silence "not actually initialized" false... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-22	Dan Carpenter	rosenberg: fix some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-16	Dan Carpenter	debug: introduce __smatch_debug_check() to debug a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-14	Dan Carpenter	new check_no_if_block: sometimes the if block is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-13	Dan Carpenter	unconstant_macros: add VM_SOFTDIRTY Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-07	Dan Carpenter	type: introduce is_string() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-07	Dan Carpenter	user_data: introduce implied_user_data() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-07	Dan Carpenter	rosenberg: refactor match_copy_to_user() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-07	Dan Carpenter	rosenberg: check many more functions instead of just... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-07	Dan Carpenter	rosenberg: add memzero() to clear functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-06	Dan Carpenter	param_cleared: memzero() clears the parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-05	Dan Carpenter	db: split all boolean functions into one and zero strees Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-05	Dan Carpenter	clear_buffer: remove this code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-02	Dan Carpenter	param_cleared: this shouldn't depend on --info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-02	Dan Carpenter	locking: update validation to the new error formation Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-02	Dan Carpenter	locking: update error format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-02	Dan Carpenter	struct_assignment: fix how smatch handles foo = NULL; Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-02	Dan Carpenter	rosenberg: prepare to check pointers to structs as... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-02	Dan Carpenter	rosenberg: check for holes at the end of the struct Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-02	Dan Carpenter	rosenberg: this check is kernel specific Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: turn it on by default Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	helper: introduce get_prev_statement() (fix the build). Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: add watchdog() to kernel.no_return_funcs... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: don't print a warning if we jump to the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: ignore unreachable code right after an... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: turn off backward labeled warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: add some more macros to the .ignore and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	flow: merge continues before the iterator_post_statement... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	flow: handle post op return statements like: return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: ignore some conditionally unreachable... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: ignore common false positives caused by... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: ignore unreachable code after BUG() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-25	Dan Carpenter	unreachable: move it out of smatch_flow.c and smatch_states.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-24	Dan Carpenter	avl: fix failing "stree->stree_id == 0" assert Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-24	Dan Carpenter	overflow: don't warn if we overflow use buffers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-16	Dan Carpenter	smatch_type: never refer to ->bit_size directly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-14	Dan Carpenter	db: function with too many pointers to it cause slow... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-11	Dan Carpenter	db: rename db_callback to caller_info_callback Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-10	Dan Carpenter	propagate: delete this test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-10	Dan Carpenter	stored_conditions: don't store constants Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-04-10	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/chrisl... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-07	Dan Carpenter	states: add another read_only check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-07	Dan Carpenter	missing_break: use fewer states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-07	Dan Carpenter	avl: add a counter for when you allocate or free a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-07	Dan Carpenter	slist, returns: introduce merge_stree_no_pools() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-07	Dan Carpenter	unconstant_macros: allow (foo & _PAGE_NX) even when... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-07	Dan Carpenter	buf_size: allow strncmp("foo", bar, 100) where 100... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-06	Dan Carpenter	param_set: only record parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-06	Dan Carpenter	extra: ignore struct to struct assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-06	Dan Carpenter	implied: add the stree_id to debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-06	Dan Carpenter	clear_buffer: delete an unused function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-06	Dan Carpenter	clear_buffer: delete obsolete code to handle struct... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-06	Dan Carpenter	comparison: don't record that actual structs are equivalent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-06	Dan Carpenter	assigned_expr: don't store fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-06	Dan Carpenter	debug: change __smatch_cur_slist() to __smatch_cur_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-05	Dan Carpenter	states: don't __unnullify_path unnecessarily Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-03-05	Dan Carpenter	implied: smatch was saying somethings were implied... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-28	Dan Carpenter	stree: fix a bunch of stree leaks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-28	Dan Carpenter	states: merge nullify_all_states() into save_all_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	stree: make strees copy on write Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	stree: move stree_id into the avl root Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	slist: rename slist_id to stree_id. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	avl: introduce FOR_EACH_MY_SM() and callers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	kunmap: update validation file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	flow: fixes for hairy functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	extra: fix unknown += assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	implied: add a newline to output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	stored_conditions: store comparisons and not logicals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	db: fix nested call handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	kunmap: tidy up error message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	conditions: fix some leaks in handle_select() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	slist: fix a leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-27	Dan Carpenter	stree fallout: implications not working 100% Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	states: rename fake_cur_slist functions to fake_cur_stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	states: rename __print_cur_slist() to __print_cur_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	avl: rename avl_free() to free_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	avl: rename avl_count() to stree_count() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	avl: use struct stree instead of making it a typedef Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	avl: rename struct AVL to struct stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	avl: rename avl_clone to clone_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	slist: delete slist compat layer and remaining unused... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	states: eliminate remaining references to __get_cur_slist() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	states: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	slist: remove a bunch of unused slist functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	core: change (struct sm_state)->pool to be a stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	start_states: update get_start_states() to use stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	returns: update all_return_states_hook() to stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	type_val: update to stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	start_states: partial update to stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	match_returns: partial update to stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	param_set: update to stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-25	Dan Carpenter	param_limit: update to stree	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom