Public Git Hosting - smatch.git/search

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
2012-11-17	Dan Carpenter	flow: hooks: fix MACRO_ASSIGNMENT_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-17	Dan Carpenter	flow: hooks: introduce GLOBAL_ASSIGNMENT_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-17	Dan Carpenter	sval: introduce sval_bits_used() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	type: introduce type_bits() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	Merge branch 'sval' into merge Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	sval: ranges: set correct max in cast_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	sval: db: cast parameters to the correct type before... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	sval: extra: handle assignments better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	sval: cast the return types before entering them into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	sval: extra: type information was being lost in ++... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	sval: flip the switch and don't use s32min-s32max instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	sval: signed: fix validation test and update format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-15	Dan Carpenter	validation: signed: update validation test to reflect... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-14	Dan Carpenter	math: cleanup some naming Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-14	Dan Carpenter	math: add fuzzy_max and fuzzy_min to implied_opposite() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-14	Dan Carpenter	sval: math: fix how negate operations are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-14	Dan Carpenter	sval: absolute: fix reversed condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: you're not allowed to divide LLONG_MIN by -1 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom