Public Git Hosting - smatch.git/search

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
2012-10-31	Dan Carpenter	sval: update check_debug.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-31	Dan Carpenter	sval: update check_db_info.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-31	Dan Carpenter	sval: start change range_lists to use data_range_sval Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	ranges: function_hooks: move in_list_exact() to function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: update smatch_math.c to use the new sval range... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: create true/false_comparison_range_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: cut-and-paste bug: using min instead of max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: create temporary drange_sval_to_drange() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: ranges: introduce ranges_equiv_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: create alloc_range_perm_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: add interim helpers ll_to_sval() and drange_to_drange_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: fix absolute --info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: introduce estate_min/max_sval() and estate_get_single_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: update smatch_absolute.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: ranges: introduce struct data_range_sval as a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-30	Dan Carpenter	sval: introduce sval_is_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update a few get_value() to get_value_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update smatch_capped.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update smatch_flow.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update smatch_helper.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: remove type_min/max() which are not used any... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: change type_min/max() => sval_type_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: debug: fix reversed if condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_signed.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: add sval_type_min() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: fix sval_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_snprintf.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_overflow.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update smatch_buf_size.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: implement parse_call_math_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: create a couple sval allocators Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_unwind.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_template.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_sizeof_pointer.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update validation/sm_propagate.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_return_enomem.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_return_efault.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-29	Dan Carpenter	sval: update check_propagate.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_proc_create.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_precedence.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_param_range.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_or_vs_and.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_mod_timer.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_memset.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_logical_instead_of_bitwise.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_kmalloc_wrong_size.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_gfp_dma.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_get_user_overflow.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_freeing_null.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_err_ptr.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_deref.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_debug.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_bool_implications.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_bogus_loop.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_bogus_irqrestore.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_bit_shift.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_assign_vs_compare.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update check_allocation_funcs.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: update access_ok_math.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-10-27	Dan Carpenter	sval: clean up some naming Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom