Public Git Hosting - smatch.git/search

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
2013-05-20	Dan Carpenter	math: s/NOTIMPLIED/EXACT/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-18	Dan Carpenter	math: improve absolute max/min with regards to casting Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-18	Dan Carpenter	sval: fix sval_too_high() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-16	Dan Carpenter	db: introduce call_results_to_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-16	Dan Carpenter	db: move get_param_name() to central location Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-16	Dan Carpenter	flow: look at static and not-static local inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-13	Dan Carpenter	extra: add set_extra_nodmod() to smatch_extra.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-10	Dan Carpenter	deref: fix segfault parsing invalid c code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-09	Dan Carpenter	implied: preserve equivalence across switch statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-09	Dan Carpenter	math: handle sizeof for zero size bitfields Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	extra: handle previously assigned simple math Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	extra: handle "if (a - 3 > 100) " Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	extra: split match_comparison() into two functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	capped: known values are always capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	Revert "sparse: introduce get_expression_value_nomod()"	commit \| commitdiff \| tree
2013-04-20	Dan Carpenter	show_unreachable.sh: add some more ignored kernel functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-20	Dan Carpenter	flow: don't print duplicate "unreachable code" warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-20	Dan Carpenter	db: replace database info scripts with smdb.py Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-19	Dan Carpenter	show_unreachable.sh: change the line number format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-19	Dan Carpenter	show_unreachable.sh: replace tabs with spaces Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-18	Dan Carpenter	db: kernel: fake up ->read/write() limits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	db: store "too common" functions in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	param_cleared: clear_buffer: add them to the check_list... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	extra: don't use the indirect_modification_hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	extra: make param_filter set_extra_mod() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	rosenberg: remove pahole dependency Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	parse: add a big hack to track packed structs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	new smatch_clear_buffer.c: handle memset() type functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	param_limit/filter: ignore whole ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	ranges: an empty range is not a whole range Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	extra: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	extra: small fix for when the database is disabled... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	db: always split the return values if we're not using... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom