Public Git Hosting - smatch.git/search

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
2012-11-07	Dan Carpenter	sval: introduce sval_positive_bits() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-07	Dan Carpenter	sval: fix a bug in handling for loops that count downwards Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-07	Dan Carpenter	sval: remove a whole_range reference in smatch_implied.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-07	Dan Carpenter	sval: remove some references to whole_range in check_kernel.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: remove a whole_range reference in check_locking.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: delete unused sval_to_ll() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: make whole_range_list_sval() take a type parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	type: introduce cur_func_return_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: start getting rid of extra_undefined() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: rename absolute_id and make it static now it... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: fix a bug in smatch_absolute.c and cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: delete some unused data_range code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: update smatch_function_hooks.c to use data_range_sval Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: delete remaining struct range_list code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: create cast_rl() which casts a range list to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-06	Dan Carpenter	sval: make sval_cast() take a type Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete a bunch of "long long" functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete add_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: change get_value_ranges() to get_value_ranges_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete a bunch of unused stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete clone_permanent() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: convert estates to use range_list_sval internally Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: create clone_permanent_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: make an sval version of whole_range_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: remove possibly_true_range_list() and related Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete unused invert_range_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete unused rl_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete unused is_whole_range_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: remove unused estate_get_single_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: cleanup estate_get_single_value_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: update alloc_dinfo_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete alloc_estate_no_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: update remaining calls to alloc_estate_range_list... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: update remaining alloc_estate_range() call and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: fix bug in handle_ampersand() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: introduce valid_ptr_min/max_sval Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: update calls to alloc_estate() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete unused estate_ranges() and estate_min... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: update call to estate_min(). Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: update check_err_ptr_deref.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: update is_whole_range() to use svals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete unused range_lists_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: delete unused get_implied_range_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: update calls to get_implied_range_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: create an sval version of range_lists_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: extra: convert match_comparison() to sval Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-05	Dan Carpenter	sval: fix a bug in remove_range_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: extra: change some range_list structs to range_list_sval Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: update function_comparison() to take an sval. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: extra: update increment/decrement_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: extra: update match_assign() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: extra: update canonical loop code. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: change the output back to the original for now Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: extra: update merge_func() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: update filter_range_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: update add_filter() to take svals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: update filter_range() to take svals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	ranges: remove unused rl_contiguous() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: make sval versions of smatch_estate.c functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-02	Dan Carpenter	sval: fix sval_cmp() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-01	Dan Carpenter	sval: make rl_min/max_sval() take a range_list_sval... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-01	Dan Carpenter	sval: update smatch_db.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-01	Dan Carpenter	sval: update smatch_parse_call_math.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-01	Dan Carpenter	sval: update smatch_parse_call_math.c to use range_list_svals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-01	Dan Carpenter	sval: update smatch_states.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-01	Dan Carpenter	sval: fix some bugs in add_range_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-11-01	Dan Carpenter	sval: update smatch_implied.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-31	Dan Carpenter	sval: update smatch_math.c to use range_list_sval Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-31	Dan Carpenter	sval: update smatch_project.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-31	Dan Carpenter	sval: update validation/ to match new output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-31	Dan Carpenter	sval: update check_user_data.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-31	Dan Carpenter	sval: update check_param_range.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom