Public Git Hosting - smatch.git/search

2013-02-04	Dan Carpenter	math: get_implied_max() should be able to return s32max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-03	Dan Carpenter	sval: only print "s32max" if the value is actually... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-03	Dan Carpenter	math: get_implied_min() should be able to return s32min Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-03	Dan Carpenter	math: tweak get_fuzzy_math() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-03	Dan Carpenter	extra, db: handle passing chars to parameters which... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-01	Dan Carpenter	math: use NOTIMPLIED instead of HARD_MIN in opposite_implied() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-01	Dan Carpenter	math: set the "undefined" flag on error in handle_mod() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-01	Dan Carpenter	or_vs_and: handle conditions inside parenthesis Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-01	Emil Tantilov	smatch: fix build error	commit \| commitdiff \| tree
2013-02-01	Dan Carpenter	type: introduce is_void_pointer() and is_char_pointer() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-31	Dan Carpenter	absolute: delete smatch_absolute.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-31	Dan Carpenter	new check_string_len.c: look for sprintf() overflows Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	extra, modification_hooks, db: move get_variable_from_key... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	expressions: use more accurate positions for fake dereferenc... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	modification_hooks: use modification info from the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	extra, equiv: make call_extra_mod_hooks() global Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	modification_hooks: split out call_modification_hooks_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	type: handle strings better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	equiv: call_extra_mod_hooks() inside set_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	buf_size: don't call get_expression_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	smatch: create a local_debug() macro Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-24	Dan Carpenter	smatch.h, db: add numbers to the info_type enum Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-24	Dan Carpenter	deref: spelling: derefencing => dereferencing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	math: calculating the sizeof() used to modify the expression Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	math: use smatch_comparison.c for handling subtraction Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	extra, modification_hooks: set "*p" to unknown if we... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	smatch_expressions: introduce deref_expression() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	smatch_expressions: rename deref_expression() to member_expr... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-22	Dan Carpenter	all: rename expr_to_str_complex() to expr_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-22	Dan Carpenter	smatch: rename expr_to_str() to expr_to_var() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-22	Dan Carpenter	missing break: only print one message per switch statement Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-18	Dan Carpenter	extra: get rid of data_type enum Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-18	Dan Carpenter	debug: add __smatch_compare() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-17	Dan Carpenter	math: improve get_implied_rl() if only the max is known... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-17	Dan Carpenter	sval: introduce sval_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-17	Dan Carpenter	smatch_comparison: store how two variables compare... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	slist: fix alignment in alloc_sname() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	validation: update a couple scripts with missing break... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	Makefile: fix build error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	equiv: get rid of the ->op member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	equiv: update some comments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-14	Dan Carpenter	constraints: equiv: rename smatch_constraints.c to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-14	Dan Carpenter	ranges: rename show_ranges() to show_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	smatch: introduce expr_to_str_complex() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	smatch: introduce expr_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	smatch: rename get_variable_from_expr() to expr_to_str_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	smatch: rename get_variable_from_expr_complex() to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	extra: shuffle smatch_extra.h around some more Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename filter_range() to estate_filter_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename estate_ranges() to estate_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename is_whole_range() to estate_is_whole() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename extra_undefined() to alloc_estate_whole() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename alloc_estate_range_list() to alloc_estate_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename alloc_estate() to alloc_estate_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: shuffle stuff around in the header file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename free_range_list() to free_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename get_implied_range_list() to get_implied_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename push_range_list() and friends to push_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename range_lists_equiv() to rl_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename possibly_true_range_lists() to possibly_true_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: shuffle smatch_extra.h around some more Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename true_comparison_range_lr() to true_comparison... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename parse_value_ranges_type() to str_to_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename alloc_range_list() and friends to alloc_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: shuffle stuff around in the header file and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename range_list_union() to rl_union() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	missing_break: fix a segfault Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	sizeof: sizeof(ptr * nr_ptrs) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	sizeof: check for sizeof(sizeof()) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	sizeof: finish renaming process Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	sizeof: mv check_sizeof_pointer.c check_sizeof.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	token_store: split out first_token_from_line() into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	new check_missing_break.c: check for fall through... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-10	Dan Carpenter	type: get_member_type_from_key() should take an expression... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-09	Dan Carpenter	param_limit: don't print empty states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	parse: add "__restrict__" keyword Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	ranges: small speed up in range_lists_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	db: make type_schema a bit smaller Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	gen_paholes.sh: Don't do anything if the necessary... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	extra: don't over write cross function values from... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	db: extra: param_limit/filter/set: redo value tracing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	extra: create a callback for when smatch_extra changes... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-08	Dan Carpenter	extra: create set_extra_nomod() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-07	Dan Carpenter	db: fixup printing return info for difficult to split... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-07	Dan Carpenter	math: handle ORs better in handle_logical() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-19	Dan Carpenter	extra: call set_extra_mod() from set_extr_expr_mod() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-18	Dan Carpenter	db: handle unchanged return_states better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-18	Dan Carpenter	param_limit: fix read beyond end of array (segfault) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-18	Dan Carpenter	signed: handle it when the type is unknown Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-16	Dan Carpenter	db: make some varchar decalarations smaller Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-16	Dan Carpenter	signed: remove some debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-15	Dan Carpenter	db: make the size limit for the database larger Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-15	Dan Carpenter	param_limit: don't print unneeded information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-12-14	Dan Carpenter	db: remove return_implies table and related code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom