Public Git Hosting - smatch.git/search

2013-01-08	Dan Carpenter	ranges: small speed up in range_lists_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	db: make type_schema a bit smaller Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	gen_paholes.sh: Don't do anything if the necessary... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	extra: don't over write cross function values from... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	db: extra: param_limit/filter/set: redo value tracing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	extra: create a callback for when smatch_extra changes... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	extra: create set_extra_nomod() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-07	Dan Carpenter	db: fixup printing return info for difficult to split... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-07	Dan Carpenter	math: handle ORs better in handle_logical() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-19	Dan Carpenter	extra: call set_extra_mod() from set_extr_expr_mod() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-18	Dan Carpenter	db: handle unchanged return_states better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-18	Dan Carpenter	param_limit: fix read beyond end of array (segfault) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-18	Dan Carpenter	signed: handle it when the type is unknown Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-16	Dan Carpenter	db: make some varchar decalarations smaller Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-16	Dan Carpenter	signed: remove some debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-15	Dan Carpenter	db: make the size limit for the database larger Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-15	Dan Carpenter	param_limit: don't print unneeded information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	db: remove return_implies table and related code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	smatch_param_limit: extra: store parameter implications... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	db: print return_states information in a more detailed way Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	implied: introduce overwrite_states_using_pool() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	states: fix __set_sm() when a fake_cur_slist is being... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	function_hooks: add some calls to __unnullify_path() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	ranges: introduce rl_invert(), rl_filter() and rl_intersection() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	extra: fix a bug in how pointers are set inside called... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	estate: introduce get_implied_estate() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	extra: estate: move merge_estate() from extra to estate Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	extra: parse asm and unops after everyone else is finished... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	pointer_math: check for (int *)p += sizeof(int); Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-10	Dan Carpenter	treewide: fix some memory leaks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-10	Dan Carpenter	Revert "constraints: fix bug in remove_from_equiv()" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-08	Dan Carpenter	slist: fix some debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-08	Dan Carpenter	slist: compile error in debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-08	Dan Carpenter	constraints: fix a memory leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-08	Dan Carpenter	constraints: fix bug in remove_from_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-08	Dan Carpenter	constraints: use cmp_relation() instead of custom code... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-07	Dan Carpenter	conditions: rework __is_condition_assign() => is_condition() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-06	Dan Carpenter	db: remove get_return_id() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	parse_call_math: update to new return_states API Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	user_data: move to the return_states API Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	extra: move return_value_param to the new return_states API Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	states: introduce get_all_state_slist() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	db: call return_states at the end of the function if... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	db: fix return ranges for the return_states callbacks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	db: change print_returned_struct_members() to new API Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	db: introduce add_returned_state_callback() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	db: pass the return_id to the struct member callbacks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	modification_hooks: handle inline assembly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-05	Dan Carpenter	info: dereferences_param: print the dereferences even... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-03	Dan Carpenter	db: handle global function assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-30	Dan Carpenter	extra: info: don't print empty states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-29	Dan Carpenter	absolute: use get_implied_min() instead of get_implied_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-29	Dan Carpenter	extra: save more modified pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-28	Dan Carpenter	db: change smdb_return_info.sh to smdb_return_values.sh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-28	Dan Carpenter	extra: db: record when people modify pointers passed... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-28	Dan Carpenter	extra: move --info hooks later Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-28	Dan Carpenter	db: move free_slist() inside the loop and fix a memory... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-28	Dan Carpenter	helper: introduce get_param_num_from_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-27	Dan Carpenter	db: save struct member values across returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-27	Dan Carpenter	type: rename get_param_type_from_key() => get_member_type_fr... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-26	Dan Carpenter	flow: implied: fix how switch statements are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-26	Dan Carpenter	generisize.pl: remove u16max and friends Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-26	Dan Carpenter	extra: tweak handling of absolute min/max in comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-26	Dan Carpenter	math: ignore fuzzy maxes that are type_min() + 1 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-26	Dan Carpenter	math: overflow implies that there is no fuzzy max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	math: overflows in hard max are undefined Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	extra: handle loops where without a hard max that don... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	extra: clear hard max if we are falling back to the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	extra: get max correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	extra: set hard max correctly in loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	extra: if (unsigned >= unsigned) {: Always true if... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	math: check for overflows when calculating the max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	conditions: preserve the type in select assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	type: cleanp get_member_symbol() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	extra: type: get the member type when loading values... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	debug: add __smatch_debug_implied_on/off() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	debug: introduce local_debug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-23	Dan Carpenter	extra: reverse max()/min() test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-21	Dan Carpenter	sval: handle canonical for loops differently Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-21	Dan Carpenter	sval: convert SHRT_MAX to s16max in the output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-21	Dan Carpenter	function_hooks: consider the return type of the function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-21	Dan Carpenter	extra: remove some duplicate code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-20	Dan Carpenter	math: change how MOD operations are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-20	Dan Carpenter	math: count some more things as implied Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-20	Dan Carpenter	extra: type: move get_arge_type() to smatch_type.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-20	Dan Carpenter	extra: math: move get_implied_range_list() to smatch_math.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-20	Dan Carpenter	sval: extra: get_implied_range_list() return whole... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-20	Dan Carpenter	scripts: trace params use 4 space indents consistently Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	sval: math: fix get_value() for !foo Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	check_sizeof_pointer: complain about sizeof(&foo) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	hooks: add a SIZEOF_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	sval: make cast_rl() preserve things better across... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	sval: type: handle type_bits() for addresses Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	sval: type: use type_bits() through out. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	sval: fixup calls to sval_cmp_val() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	sval: type: hack select types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	extra: remove debugging output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	sval: add sval_is_negative()/positive() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	sval: take the type into consideration when doing an... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-19	Dan Carpenter	sval: cast things correctly in sval_cmp() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom