Public Git Hosting - smatch.git/search

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
2012-06-13	Dan Carpenter	buf_size: ignore casts in get_array_size_bytes() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: create an elements_to_bytes() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: separate bytes_per_element() into its own... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: using ->bit_size doesn't work for void pointers... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: use get_stored_size_bytes() directly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: make get_stored_size_bytes() a separate function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: pull bytes_to_elements() in its own function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: calculate bytes per element better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: add a basic validation test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-13	Dan Carpenter	buf_size: if the size is variable pick the larger one Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	buf_size: move get_size_from_strlen() into it's own... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	buf_size: pull get_size_from_initializer() into separate... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	buf_size: move get_stored_size() out of get_array_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	buf_size: pull handling of normal arrays into separate... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	buf_size: move some functions around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	buf_size: add modification hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	debug: add a way to debug buffer sizes __smatch_buf_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-11	Dan Carpenter	Or vs and: warn about bitwise ANDs that always give... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-11	Dan Carpenter	Or vs and: if (foo & ZERO) is nonsense Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-11	Dan Carpenter	function_hash: make it easier to handle a file with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-06	Dan Carpenter	signed: unbreak the check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-04	Dan Carpenter	overflow: update validation test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-04	Dan Carpenter	flow: handle struct initialization better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-04	Dan Carpenter	flow: handle EXPR_OFFSETOF and EXPR_ALIGNOF Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-04	Dan Carpenter	overflow: ignore "x = &foo[ARRAY_SIZE(foo)];" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-30	Dan Carpenter	overflow: white space cleanups Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-30	Dan Carpenter	implied: the base slist is not special Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-30	Dan Carpenter	slist: change format for debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-30	Dan Carpenter	expressions: introduce some more expression allocation... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-29	Dan Carpenter	validation: update dereference check output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-29	Dan Carpenter	implied: certain states should be left as is Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-27	Dan Carpenter	slist: put the sm_state itself into ->possible not... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-27	Dan Carpenter	slist: cleanup merge_hooks API Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-27	Dan Carpenter	extra: don't create a new merged estate if ->right... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	estates: reuse same estate for extra_undefined() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: get rid of add_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: fix set_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: add_related() should take a related_list... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: sort the ->related list properly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: replace get_common_relationship() with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	slist: move add_pool() to smatch_implied Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-24	Dan Carpenter	bit_shift: add test_bit() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-23	Dan Carpenter	flow: silence false positives caused by hairy functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	implied: rename ->my_pool to ->pool Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	slist: rename add_possible() => copy_possibles() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	or_vs_and: ignore p++ \|\| p++ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	tracker: fix a small memory leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	modification: remove calls to delete_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	check_dereference: enable this Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	db: store whether functions are global or static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	tracker: remove unused clone_tracker_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	slist: buffer overflow in debugging code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	user_data: fix NULL dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-21	Dan Carpenter	db: white space cleanups Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-21	Dan Carpenter	db: move parameter_implications into the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-21	Dan Carpenter	ranges: add possibly_true/false_range_lists_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-18	Dan Carpenter	overflow: automatically list functions that take a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-18	Dan Carpenter	modification_hooks: complete rewrite Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-17	Dan Carpenter	db: print the SQL queries when --debug is on Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-16	Dan Carpenter	cleanup: use valid_ptr_min/max. get rid of POINTER_MAX Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-16	Dan Carpenter	extra: dereferencing a pointer means it is valid Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-16	Dan Carpenter	implied: cleanup debug output a little Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-16	Dan Carpenter	slist: pull show_sm() into a separate function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	check_kernel: ERR_PTR() returns non-NULL (mostly) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	dereference checks: use the cross function info from... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	new check_dereferences_param: list functions that... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	new returns: merge all slists from all returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	db: add call_implies table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom