Public Git Hosting - smatch.git/search

2013-06-14	Dan Carpenter	db: fixup_kernel.sh: add comparisons to rw_verify_area Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-14	Dan Carpenter	db: fixup_kernel.sh: add comments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-14	Dan Carpenter	db, annotate: move strnlen() return annotation to the db Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-14	Dan Carpenter	kernel: move stuff from check_kernel.c to db/fixup_kernel.sh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-14	Dan Carpenter	comparison: handle unmatched comparisons to " orig... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-14	Dan Carpenter	comparison: copy all the comparisons when you assign... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-14	Dan Carpenter	db: add comparisons to split apart returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-13	Dan Carpenter	db, comparison, ranges: store ranges and comparison... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-13	Dan Carpenter	comparison: shift some code around a bit more Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-13	Dan Carpenter	db: shift some code around in storing return ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-13	Dan Carpenter	comparison: create expr_equal/lte_to_param() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-13	Dan Carpenter	comparison: split range_comparison_to_param() into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	comparison: handle merging comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	helper: fixes to the last expr_to_var_sym() speedup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	db: fix a bug storing range lists Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	ranges: handle [==p0] return values correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	core: clear allocated smatch_states at the end of the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	smatch: add --time option for debugging what takes... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	slist: use a fake cur_slist for handling unmatched_states. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	states: introduce __set_fake_cur_slist_fast() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	hooks: introduce AFTER_FUNC_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	param_cleared: add some more functions that clear parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	helper: speed up expr_to_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	capped: introduce is_capped_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	db, comparison: store return range comparisons in the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	comparison: pull get_comparison_strings() into its... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	db, comparison, ranges: improve how comparisons will... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	comparison: handle --/++ modifications better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-12	Dan Carpenter	modification_hooks: pass the modify expression Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-10	Dan Carpenter	extra: revert part of the recurse patch which broke... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-10	Dan Carpenter	recurse: oops. add EXPR_VALUE and fix a validation... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-10	Dan Carpenter	states: introduce __set_fake_cur_slist() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-10	Dan Carpenter	user_data: pull is_user_data_state() into its own function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-10	Dan Carpenter	recurse, extra: introduce has_variable() and fix forever... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-27	Dan Carpenter	start_states: add it to check_list.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-27	Dan Carpenter	comparison, db: use comparison information stored in... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-27	Dan Carpenter	db: remove an unused variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-23	Dan Carpenter	user_data: add a comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-23	Dan Carpenter	user_data: introduce is_capped_user_data() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-23	Dan Carpenter	extra: slist: white space changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-23	Dan Carpenter	math: fail more often with FUZZY and HARD limits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-23	Dan Carpenter	sval: make some more fixes to sval_binop_overflows() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-23	Dan Carpenter	local_values: store correct initial value Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-22	Dan Carpenter	extra: handle comparisons where the function only returns... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-22	Dan Carpenter	extra: move match_func_comparison() lower in the file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-22	Dan Carpenter	estate: preserve the hard max in estate_filter_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-22	Dan Carpenter	math: for bitwise AND only use it for IMPLIED and ABSOLUTE Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-22	Dan Carpenter	sval: cast preop '-' operations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-22	Dan Carpenter	sval: cast bitwise negates Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	capped: handle postops better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	buf_size: handle bad data from the database better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: use correct variable in handle_conditional_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	capped: use get_hard_max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: move some RL_HARD and RL_EXACT tests around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: s32min is not a fuzzy min Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: reversed condition in handle_divide() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: remove duplicate buggy code in get_implied_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: put an escape hatch in handle_conditional_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: switch to using RL_ enums directly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: delete old unused code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: cleanup _get_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	states: fix some leaks of the fake_cur_slist Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	new smatch_start_states.c: record the states at the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	db: fix crashing bug as a result of math changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	smatch.h: remove left over dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	check_held_dev: small spelling fix Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	db: don't query return_values table any more Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: cleanup the rest of handle_binop_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: fix new handle_conditional_rl() code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: introduce handle_divide_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	math: couple bugs in handle_subtract_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-21	Dan Carpenter	sval: fix sval_binop_overflows() handling of subtraction Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce new handle_subtract_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: create new handle_right_shift() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: make new handle_known_binop() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: create new handle_bitwise_AND() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce handle_mod_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: create hackish temporary handle_binop_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: create new handle_minus_preop() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: create new handle_bitwise_negate() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce handle_expression_statement_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: use handle_variable() in handle_preop_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce handle_negate_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce handle_ampersand_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: hack up a temporary handle_preop_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: handle EXPR_POSTOP with _get_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce handle_conditional_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce handle_logical_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce handle_comparison_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: create handle_call_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: create handle_variable() instead of _get_implied_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: move get_const_value() forward Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: handle casting in _get_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: fix up some thinkos in the _get_rl() transition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce temporary RL_IMPLIED enum Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: duplicate _get_value() into _get_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: move absolute min/max code from _get_value()... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce _get_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	ranges: introduce rl_to_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom