Public Git Hosting - smatch.git/search

2012-10-30	Dan Carpenter	ranges: function_hooks: move in_list_exact() to function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: update smatch_math.c to use the new sval range... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: create true/false_comparison_range_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: cut-and-paste bug: using min instead of max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: create temporary drange_sval_to_drange() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: ranges: introduce ranges_equiv_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: create alloc_range_perm_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: add interim helpers ll_to_sval() and drange_to_drange_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: fix absolute --info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: introduce estate_min/max_sval() and estate_get_single_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: update smatch_absolute.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: ranges: introduce struct data_range_sval as a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: introduce sval_is_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update a few get_value() to get_value_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update smatch_capped.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update smatch_flow.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update smatch_helper.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: remove type_min/max() which are not used any... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: change type_min/max() => sval_type_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: debug: fix reversed if condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_signed.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: add sval_type_min() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: fix sval_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_snprintf.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_overflow.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update smatch_buf_size.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: implement parse_call_math_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: create a couple sval allocators Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_unwind.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_template.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_sizeof_pointer.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update validation/sm_propagate.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_return_enomem.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_return_efault.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_propagate.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_proc_create.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_precedence.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_param_range.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_or_vs_and.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_mod_timer.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_memset.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_logical_instead_of_bitwise.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_kmalloc_wrong_size.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_gfp_dma.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_get_user_overflow.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_freeing_null.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_err_ptr.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_deref.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_debug.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_bool_implications.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_bogus_loop.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_bogus_irqrestore.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_bit_shift.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_assign_vs_compare.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_allocation_funcs.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update access_ok_math.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: clean up some naming Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: implement the _sval versions of a bunch of functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: delete get_absolute_max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update get_absolute_max() calls to use svals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	math: move smatch_math.c to use svals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	type: support some more types in get_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	type: introduce sval_type_max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: create a new basic storage for storing the value... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	unwind: only enable with --spammy Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-25	Dan Carpenter	db: don't turn RaiseError on Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-25	Dan Carpenter	dev_queue_xmit: turn on by default Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-23	Dan Carpenter	db: add a comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-23	Dan Carpenter	signed: tiny whitespace fix Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-23	Dan Carpenter	absolute: fix parameter info counting Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-23	Dan Carpenter	absolute: fix how modifications are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-23	Dan Carpenter	debug: fix cut and paste bug in print Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-12	Dan Carpenter	type: fix get_binop_type() for bit shift operations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-12	Dan Carpenter	whitespace: add a newline Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom