Public Git Hosting - smatch.git/search

2014-08-29	Dan Carpenter	comparison: a variable is always equal to itself Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-25	Dan Carpenter	remove null tests for arrays. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-25	Dan Carpenter	Makefile: allow CC to be defined outside the makefile Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-25	Dan Carpenter	silence non-ANSI warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-05	Dan Carpenter	helper: prevent segfault in expr_to_var() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-07-25	Dan Carpenter	extra: improve handling of "if (x * 4 > 12) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-07-18	Dan Carpenter	missing_break: make a function static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-07-14	Dan Carpenter	db: fix runtime breakage Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-07-11	Dan Carpenter	dereferences_param: add more dereferenced variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-20	Dan Carpenter	ranges: remove unneeded NULL check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-20	Dan Carpenter	type_val: store fake assignments in a slightly different... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-20	Dan Carpenter	param_set/filter: don't print less useless information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-19	Dan Carpenter	db: fixup after call_implies changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-19	Dan Carpenter	param_cleared: handle direct assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-19	Dan Carpenter	db: make call_implies match caller_info with a key... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-18	Dan Carpenter	smdb.py: fix test for if a datatype is known Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-12	Dan Carpenter	assigned_expression: get the assigned expression using... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-12	Dan Carpenter	rosenberg: handle struct to struct assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-12	Dan Carpenter	data/kernel.sizeof_param.remove: add __dynamic_pr_debug() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom