Public Git Hosting - smatch.git/search

2011-11-16	Dan Carpenter	update smatch_data for 3.2-rc Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-11-01	Dan Carpenter	Allow check_debug.h to be included more than once. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-30	Dan Carpenter	core: add --file-output variable for make -j8 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-30	Dan Carpenter	smatch_extra: clear out struct members if a the pointer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-28	Dan Carpenter	extra: fix crashing bug from last commit. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-22	Dan Carpenter	extra: expressions are equivalent even if they are... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-22	Dan Carpenter	user_data: use is_capped() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-22	Dan Carpenter	user_data: handle binops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-22	Dan Carpenter	new smatch_capped: introduce is_capped() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-18	Dan Carpenter	new check_user_data: record all the user data (and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-13	Dan Carpenter	buf_size: there was a mistake in handling calls to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-13	Dan Carpenter	buf_size: record the size of struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-13	Dan Carpenter	extra: cleanup: use my_id instead of SMATCH_EXTRA Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-13	Dan Carpenter	db: wrong parameter number in struct member callback Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-13	Dan Carpenter	extra: don't print an extra $$ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-13	Dan Carpenter	db: limit the number of function pointer calls we check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-13	Dan Carpenter	db, extra: introduce add_member_info_callback() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-12	Dan Carpenter	extra, db: record a dummy output for every function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-12	Dan Carpenter	db: use option_no_db Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-12	Dan Carpenter	extra, db: move some db functions from smatch_extra... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-12	Dan Carpenter	buf_size: handle function pointers as well Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-11	Dan Carpenter	db: follow calls to functions pointers as well as normal... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-11	Dan Carpenter	flow: set position for global variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-10	Dan Carpenter	signed: allow checks like: if (foo < 0 \|\| foo > x... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-10	Dan Carpenter	overflow: get rid of "buffer overflow calling %s. param... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-10	Dan Carpenter	get rid of --print_returns option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-09	Dan Carpenter	extra, db: we have to record every function call in... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-09	Dan Carpenter	ranges: invalid ranges default to the whole range Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-08	Dan Carpenter	signed: don't warn about unsigned comparisons to macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-08	Dan Carpenter	extra, db: record the struct member values in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-08	Dan Carpenter	extra: fix parsing of values from db Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-07	Dan Carpenter	fill_db_untrusted: follow untrusted data down the call... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-07	Dan Carpenter	extra: don't print if the min-max as the value passed... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-07	Dan Carpenter	ranges: introduce is_whole_range_rl() and fix is_whole_range... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-07	Dan Carpenter	db: use the function_id correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-07	Dan Carpenter	fill_db_caller_info: calculate function_id correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-07	Dan Carpenter	debug: add a __smatch_possible("variable") function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-04	Dan Carpenter	uncapped_alloc: use _complex() version of get_variable_from_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-04	Dan Carpenter	extra: db: put single quotes around the function name. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-04	Dan Carpenter	new smatch_scripts/follow_params.pl Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-04	Dan Carpenter	hooks: remove some commented out code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-04	Dan Carpenter	sql: snprintf() nul terminates its strings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-04	Dan Carpenter	db: move buf_size to the new add_definition_db_callback() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-04	Dan Carpenter	db: introduce add_definition_db_callback() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-04	Dan Carpenter	db: store the values of parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-10-04	Dan Carpenter	db: make database code usable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-09-27	Dan Carpenter	new min_t() casting that truncates the values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-09-23	Dan Carpenter	new rosenberg: check for information leaks from the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-09-22	Dan Carpenter	flow: tweak the ->pos setting for fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-09-22	Dan Carpenter	flow: whitespace changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-09-22	Dan Carpenter	flow: pass condition assignments to clients with ASSIGNMENT_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-09-22	Dan Carpenter	no_effect: add some more tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-09-14	Dan Carpenter	deref_check: check_deref: print both line numbers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2011-09-13	Dan Carpenter	core: set position earlier in smatch_flow.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-09-12	Dan Carpenter	slist: preserve the ->line value correctly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-09-12	Dan Carpenter	overflow: print more helpful info when the data file... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-09-12	Dan Carpenter	gen_array_bounds: filter out bogus lines Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-30	Dan Carpenter	buf_size: silence a gcc false positive Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-30	Dan Carpenter	use PTR_INT() and INT_PTR() to silence cast warnings Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	slist: make alloc_sm_state() static Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	slist: remove some dead code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	core: clong_sm() should preserve the ->line value Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	update smatch_data/ for linux-3.1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-04	Dan Carpenter	new bogus_loops: warn on bogus for loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-07-29	Dan Carpenter	extra: use get_implied_value() instead of get_value... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-07-26	Dan Carpenter	implied: handle assignments inside conditions better Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-17	Dan Carpenter	overflow: check sprintf() and snprintf() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-17	Dan Carpenter	smatch_flow: fix compile error caused by upstream changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-17	Dan Carpenter	overflow: cut down on false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-13	Dan Carpenter	smatch_data: update for 3.0 kernel Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-13	Dan Carpenter	gen_no_return_funcs: always keep the default no return... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-13	Dan Carpenter	In a couple place the original checked for --spammy... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-09	Dan Carpenter	flow: handle known switch statements Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-09	Dan Carpenter	new return_negative_var: returning positive values... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-09	Dan Carpenter	new memset: check for memset(x, y, 0); typos Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-03	Dan Carpenter	Support __builtin_unreachable() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-01-26	Dan Carpenter	overflow: format_strings: put some verbose messages... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-01-18	Dan Carpenter	buf_size: put some guesses behind --spammy Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-01-11	Dan Carpenter	extra: handle count down for loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-01-11	Dan Carpenter	add RAW_ASSIGNMENT_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-21	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/chrisl...	commit \| commitdiff \| tree
2010-12-21	Dan Carpenter	signed: don't complain about putting 0xff into a signed... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-20	Dan Carpenter	locking: add _raw_spin_lock_nested() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-17	Dan Carpenter	introduce SELECT_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-17	Dan Carpenter	new check_select: return ret < 0 ?: 0; Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	new input_free_device: don't call this after input_unregis... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	new check_container_of: container_of() doesn't return... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	create check_list_local.h which is for untracked local... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	locking: _atomic_dec_and_lock() is a spinlock() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	files: cleanup open_file() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	add default no_return_funcs if no project is specified Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	update smatch_data/ for 2.6.37 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-15	Dan Carpenter	new check_access_ok_math: potential integer overflows Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-11-16	Dan Carpenter	hooks: introduce ASM_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-11-16	Dan Carpenter	temporary hack to solve crashing bug in fs/reiserfs... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-11-13	Dan Carpenter	locking: add __raw_spin_unlock_irq() function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-11-12	Dan Carpenter	err_ptr_deref: fix assignments inside conditions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-10-25	Dan Carpenter	locking: add arch_local_irq_save() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-10-05	Dan Carpenter	check_type: warn about kfree() vs free_netdev() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-10-05	Dan Carpenter	type: improve handling of array types Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom