| 2013-07-15 |
Dan Carpenter | db: declare strnlen() as returning "0-s32max[<=p1]"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-15 |
Dan Carpenter | user_data: export is_user_macro()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-15 |
Dan Carpenter | user_data: mark ntohl() data as user_data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-15 |
Dan Carpenter | user_data: improve tracking set vs passed in user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-10 |
Dan Carpenter | implied: remove some unused code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-08 |
Dan Carpenter | check_overflow: silence some "not allocating enough...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-06 |
Dan Carpenter | comparison: white space cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-06 |
Dan Carpenter | extra: handle binop comparisons better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-05 |
Dan Carpenter | db/fixup_kernel.sh: filter ->read/write() functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-05 |
Dan Carpenter | function_ptr: handle scope of function pointers better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-04 |
Dan Carpenter | smatch: add --debug=check_name option to debug only...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-03 |
Dan Carpenter | comparison: fix breakage caused by moving to var_sym_lists
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-03 |
Dan Carpenter | comparison: cleanup first_sym() and rename to vsl_to_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-03 |
Dan Carpenter | comparison: cleanup: get rid of sym pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-07-02 |
Dan Carpenter | comparison: track modifications better using var_sym_lists
|
commit | commitdiff | tree |
| 2013-07-02 |
Dan Carpenter | var_sym: introduce some helper functions for handling...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-29 |
Dan Carpenter | debug: add __smatch_states("register_comparison")
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-29 |
Dan Carpenter | debug: update debug to handle the new comparison features
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-29 |
Dan Carpenter | comparison: inherit links when the comparison is set...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-29 |
Dan Carpenter | comparison: partially fix how links are updated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-28 |
Dan Carpenter | db: track some more ==p1 return values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-28 |
Dan Carpenter | comparison: save correct link name
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-28 |
Dan Carpenter | helper: export append() function (it's the same as...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-28 |
Dan Carpenter | comparison: fix bug handling min_t()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-28 |
Dan Carpenter | comparison: ignore assigns like += or /= for now
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-28 |
Dan Carpenter | ranges: problems parsing "s32min-(-1)[<=p2]"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-06-28 |
Dan Carpenter | comparison: comparisons with 3 variables: "a > b + c"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 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 |
