Public Git Hosting - smatch.git/search

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
2012-11-12	Dan Carpenter	sval: make a typed version of get_value_ranges_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	dma_on_stack: improve printed messages Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: introduce "hard max" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	absolute: use the implied max before the type max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: introduce sval_type_val() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-12	Dan Carpenter	sval: debug: fix reversed condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-10	Dan Carpenter	sval: delete old unused estate_undefined code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-10	Dan Carpenter	estate: move estate_get_single_value_sval() to smatch_estate.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: type: search harder from struct member types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: hack is so get_absolute_min/max_sval() never... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: math: don't call sval_binop() with bogus data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	extra: cleanup set_related() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: type: remove debug output in get_select_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: handle type promotion in sval_binop() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: extra: count pointer types as equivalent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: signed: fix a type promotion bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: extra: fall back to llong_ctype if we don't know... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: type: declare type_positive_bits() in the smatch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: type: fix get_type() for select statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: extra: cast the parameter information to the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: fuzzy_max: fix it to work with svals better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: type: get_type() should handle expression statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: extra: more fixes to match comparison Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-09	Dan Carpenter	sval: math: don't even bother trying to divide by zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: handle comparisons against zero. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: pass type information to extra_undefined() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: introduce estate_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: delete unused filter_range_list() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: validation: absolute: add a couple new things... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: extra: absolute: change how assignments are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: math: putting bogus type information on failure Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: fix cast_rl() some more... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: fix a signedness bug in check_signed.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: cast UNOPS to the right type in smatch_math.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: introduce sval_to_numstr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: get rid of struct data_range. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: free the sval data ranges in free_data_info_allocs() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: handle assignments in smatch extra. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: fix cast_rl() for handling single values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: add __smatch_sval_info() to check_debug.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: update match_comparison() and friends in smatch_extra.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: temporarily hack what sval_to_str() prints Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: improve cast_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	sval: introduce sval_cmp_t() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	type: fix a validation test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	type: make get_type() handle EXPR_POSTOP and EXPR_COMPARE Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-08	Dan Carpenter	type: introduce type_signed() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-07	Dan Carpenter	type: use type_positive_bits() in get_binop_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-07	Dan Carpenter	sval: fix sval_cmp() a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom