| 2013-06-27 |
Dan Carpenter | comparison: if "a < b" and "b < c" then "a < c"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-27 |
Dan Carpenter | comparison: introduce var_sym_eq() helper function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-27 |
Dan Carpenter | comparison: code cleanups
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-27 |
Dan Carpenter | comparison: handle divide "a = b / 2"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-27 |
Dan Carpenter | comparison: stop caring so much about wrapping (it...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-27 |
Dan Carpenter | comparison: inherited comparisons were reversed
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-21 |
Dan Carpenter | math: stuff stored in the local variable table from...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-20 |
Dan Carpenter | db, smdb.py: add call_tree option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-20 |
Dan Carpenter | overflow: use hard_max instead of fuzzy max
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-20 |
Dan Carpenter | math: fix get_fuzzy_max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-19 |
Dan Carpenter | ranges: parse "0[<=p1]" correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-19 |
Dan Carpenter | user_data: handle returned user data better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-19 |
Dan Carpenter | db: return_state_to_var_sym() sometimes prints garbage
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-19 |
Dan Carpenter | db: rename add_definition_db_callback() => select_caller_inf...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-19 |
Dan Carpenter | db: rename add_db_fn_call_callback() => select_call_implies_...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-19 |
Dan Carpenter | db: rename add_db_return_states_before() => select_return_st...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-19 |
Dan Carpenter | db: rename add_db_return_states_callback() => select_return_...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-19 |
Dan Carpenter | db: handle conditional returns better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-18 |
Dan Carpenter | db: use comparison in db to determine get_implied_rl().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-18 |
Dan Carpenter | db: drop unused return_values table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-18 |
Dan Carpenter | flow, clear_buffer: fake assigns were executing unops...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | user_data: handle modification better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | user_data, db: improve how returned user data is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | db: introduce return_state_to_var_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | validation, check_user_data: add a validation test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | debug: introduce __smatch_state(check_name, state_name)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | db, fixup_kernel.sh: ignore (struct irq_router)->set()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | user_data: track things like get_user_data(&my_pointer);
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | user_data: make cross function tracking more specific
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | comparison: use comparison from database instead of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-17 |
Dan Carpenter | buf_size: fix handling of declarations with named elements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-14 |
Dan Carpenter | db, fixup_kernel.sh: ignore (struct irq_router)->get
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 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 |
