Public Git Hosting - smatch.git/search

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
2012-11-13	Dan Carpenter	sval: fix parse_value_ranges_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: re-introduce sval_is_a_min() sval_is_a_max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: don't invent bogus range in alloc_range_helper_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: use typed version of parse_value_ranges() throughout Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: move cast_rl() into parse_value_ranges_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	cleanup: make type the first argument of sval_cast() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	cleanup: math: rename a variable from "tmp_ret" to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	cleanup: make type the first argument for cast_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	cleanup: rename possibly_false_range_lists_rl() to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	cleanup: rename get_value_ranges() to parse_value_ranges() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from alloc_estate_range_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from tack_on_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from alloc_range_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from true/false_comparison_range_lr... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from estate_get_single_value_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from range_list_union_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from estate_min/max_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from estate_ranges_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from alloc_estate_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from get_value_ranges_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from remove_range_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from show_range_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from clone_permanent_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: remove the _sval() from the possibly_true/false... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: rename true_comparison_range_sval() to true_comparison... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: rename: remove the _sval() from ranges_equiv... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: rename add_range_sval() to add_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-13	Dan Carpenter	sval: rename alloc_range_perm_sval() to alloc_range_perm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: rename rl_min/max_sval() to rl_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: rename is_whole_range_rl_sval() to is_whole_range_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: rename parse_call_math_sval() to parse_call_math() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: rename get_absolute_min/max_sval() to get_absolute_min... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: rename get_fuzzy_min/max_sval() to get_fuzzy_min... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: rename get_implied_min/max_sval() to get_implied_min... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: s/get_implied_value_sva/get_implied_value/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: s/get_value_sval/get_value/g Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: s/get_implied_return_sval/get_implied_return/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: s/range_list_stack_sval/range_list_stack/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: s/range_list_sval/range_list/g Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: rename data_range_sval back to data_range Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: signed: pretty much re-write the whole thing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: extra: handle comparisons like ((foo == function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: extra: db: do cast the parameter values after all Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	debug: add __smatch_fuzzy_max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: don't overflow in increment/decrement_state Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom