Public Git Hosting - smatch.git/search

2012-10-12	Dan Carpenter	absolute: track the absolute limits that variables... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-11	Dan Carpenter	math: improve how get_absolute_min/max() work Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-11	Dan Carpenter	math: improve how known logical operations are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-10	Dan Carpenter	type: simplify get_binop_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-09	Dan Carpenter	type: improve handling of type promotion on binary... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-04	Dan Carpenter	extra: delete some debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-04	Dan Carpenter	ranges: parse the ranges list correctly if it only... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-03	Dan Carpenter	math: known conditions are equal to one or zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-03	Dan Carpenter	math: handle select statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-03	Dan Carpenter	helper: improve printed messages a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-03	Dan Carpenter	extra: handle asm expressions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-03	Dan Carpenter	dereferences_param: handle strcmp() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-02	Dan Carpenter	ranges: kill the "Error invalid range message". Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-02	Dan Carpenter	assigned_expr: ignore += assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-24	Dan Carpenter	function_hooks: white space fix Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-24	Dan Carpenter	function_hooks: use the stripped function call Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-24	Dan Carpenter	db, buf_size, parse_call_math: track the size of returned... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-22	Dan Carpenter	get_implied_range_list: use the new function hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-22	Dan Carpenter	implied_value: don't get confused by casts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-22	Dan Carpenter	db/return_states: fix return values for USER_DATA Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-20	Dan Carpenter	function_hooks: clean up some naming Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-20	Dan Carpenter	function_hooks: introduce get_implied_return() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-19	Dan Carpenter	misc: whitespace cleanups Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-19	Dan Carpenter	db_caller_info: add some comments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-19	Dan Carpenter	db, function_hooks: pass assignment expression to the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-17	Dan Carpenter	buf_size: introduce get_array_size_bytes_min() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-14	Horst H. von Brand	Install cgcc too	commit \| commitdiff \| tree
2012-09-14	Dan Carpenter	capped: fix how the min() macro is handled. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-14	Dan Carpenter	buf_size: db: Use the --spammy option to fill the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-14	Dan Carpenter	buf_size: merging two same size buffers give a same... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-14	Dan Carpenter	buf_size: record static variables in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-14	Dan Carpenter	proc_create: fix a whitespace issue Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-11	Dan Carpenter	buf_size, db: if a struct member size is set in the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-09-09	Dan Carpenter	check_kernel: fix ERR_PTR() false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-16	Dan Carpenter	logical_instead_of_bitwise: foo = (1 << x) && y; is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-15	Dan Carpenter	locking: _bh lock functions are nestable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	extra: introduce filter_range_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	kernel: handle IS_ERR() properly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db_info: remove unused print Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	extra, function_hooks, db: change cross function analysis... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db: remove the return_info table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	smatch_data: update the data director to the latest... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db: caller_info: fix more fall out Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db: type_size: silence a perl warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db: caller_info: update fixup_kernel.sh to the new... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	extra: get_implied_range_list() should return 0 if... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	user_data: use the new return_states database table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	user_data: syscalls are a source of user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	user_data: if "ptr" is user data then "*ptr" is user... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	user_data: add is_user_macro() stub Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	user_data: skb->data is user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	extra: make a function static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db: create return_states table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db: add get_return_id() and return markers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db: improve error message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db: caller_info changes: store the caller, param =... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	db: add return_values table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-14	Dan Carpenter	err_ptr_deref: remove duplicate conflicting code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-13	Dan Carpenter	function_hooks: move registration to the right place Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-08-09	Omair Mohammed Abdullah	Fix bug in Makefile that causes linking to fail	commit \| commitdiff \| tree
2012-08-09	Dan Carpenter	deref_check: remove dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-31	Dan Carpenter	misc white space fixes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-31	Dan Carpenter	implied: change debugging output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-31	Dan Carpenter	checks: get rid of some delete_state() calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-31	Dan Carpenter	deref_check: fix a false positive Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-30	Christopher Li	Fix a bug with variables named "x86_64". Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-30	Dan Carpenter	sparse: comment out an internal error message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-26	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/chrisl...	commit \| commitdiff \| tree
2012-07-24	Dan Carpenter	new assign_vs_compare: if ((x = <constant>)) { Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-20	Dan Carpenter	ranges: introduce rl_contiguous() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-20	Dan Carpenter	deref_check: silence some false positive on cross function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-20	Dan Carpenter	fill_db_call_implies: check correct variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-20	Dan Carpenter	fill_db_return_implies: delete the correct table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-17	Dan Carpenter	pointer_math: check ALIGN() macro math Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-11	Dan Carpenter	helper: handle if (WARN_ON(i == ARRAY_SIZE(foo)) return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-07-02	Jonathan Neuschäfer	smatch_scripts: fix spelling of "usage"	commit \| commitdiff \| tree
2012-07-02	Jonathan Neuschäfer	smatch: fix several typos	commit \| commitdiff \| tree
2012-06-22	Dan Carpenter	assigned_expr: move check_assigned_expr() to smatch.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-22	Dan Carpenter	macro_side_effects: only enable when --spammy is used Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-22	Dan Carpenter	ignore_side_effects: add some more macros that have... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-18	Dan Carpenter	buf_size: add --spammy to validation tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-18	Dan Carpenter	overflow: remove strncpy() false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-18	Dan Carpenter	Merge branch 'devel'	commit \| commitdiff \| tree
2012-06-18	Dan Carpenter	buf_size: turn off buf size for &addresses unless ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-18	Dan Carpenter	flow: handle the __noreturn__ attribute Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-18	Dan Carpenter	buf_size: remove the &* and [0] from around the pointer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-16	KOSAKI Motohiro	sparse: Add 'error' to ignored attributes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-16	KOSAKI Motohiro	sparse: Add '__vector_size__' to ignored attributes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-16	Dan Carpenter	sm_buf: don't return the maximum store buffer size Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-16	Dan Carpenter	buf_size: return the size of &foo Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-15	Dan Carpenter	buf_size: add kmalloc_array() and sock_kmalloc() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-15	Dan Carpenter	buf_size: if the member size is not known then store... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-15	Dan Carpenter	Merge branch 'buf_size' into devel	commit \| commitdiff \| tree
2012-06-15	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/sparse...	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: first get the size in bytes then convert... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: remove cast_ratio() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: fix bytes_per_element() for strings and arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: delete some duplicate code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: prefer the declared array size Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: strcpy() only sets the size of the destination... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom