2013-11-14 |
Dan Carpenter | smatch.h: shift some struct members around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-10-25 |
Dan Carpenter | flow: clear_buffer: revert part of commit that uses... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-10-11 |
Dan Carpenter | flow: re-write how struct members are initialized Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-10-11 |
Dan Carpenter | smatch_clear_buffer: memcpy() should set the destination... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-10-11 |
Dan Carpenter | smatch_clear_buffer: make a function static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-10-11 |
Dan Carpenter | smatch_data/kernel.clears_argument: remove memset() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-10-08 |
Dan Carpenter | flow: introduce outside_of_function() to fix global... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-17 |
Dan Carpenter | db: kernel: ignore i40e_dbg_netdev_ops_write() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-16 |
Dan Carpenter | flow: set members to zero by default Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-16 |
Dan Carpenter | db, extra, user_data: handle: *x = 1; return x;" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-16 |
Dan Carpenter | user_data: remove kmemdup_user() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-16 |
Dan Carpenter | user_data: make a function static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-16 |
Dan Carpenter | container_of: people checking the return value of nla_data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-12 |
Dan Carpenter | helper: fix crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-10 |
Dan Carpenter | user_data: make a function static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-05 |
Dan Carpenter | math: export get_const_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-05 |
Dan Carpenter | math: handle bitwise OR Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-05 |
Dan Carpenter | math: handle LEFT_SHIFT (a << b) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-05 |
Dan Carpenter | math: remove an impossible condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-09-04 |
Dan Carpenter | Fix --no-data so it doesn't spew database errors Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-08-15 |
Dan Carpenter | extra: fix a crash parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-08-15 |
Dan Carpenter | sizeof: fix typo in error message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-08-15 |
Dan Carpenter | sizeof: complain if code does sizeof(4) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-08-15 |
Dan Carpenter | type: let get_real_base_type() take NULL parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-18 |
Dan Carpenter | db: rename add_returned_state_callback() => add_split_return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-16 |
Dan Carpenter | rosenberg info leaks: check __copy_to_user() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-16 |
Dan Carpenter | rosenberg info leaks: use PARAM_CLEARED data from the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-16 |
Dan Carpenter | rosenberg info leaks: use stripped data from copy_to_user() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-16 |
Dan Carpenter | rosenberg info leaks: make check_members_initialized... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-16 |
Dan Carpenter | extra: handle "if (a & 0x1)" conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-16 |
Dan Carpenter | flow: fake assigns better for nested structs and array... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-16 |
Dan Carpenter | helper: get_member_name() could store unions (sort of) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-15 |
Dan Carpenter | user_data: fix crashing bug... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-15 |
Dan Carpenter | math: improve how casts are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-15 |
Dan Carpenter | math: introduce get_absolute_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-15 |
Dan Carpenter | math: improve how bitwise ANDs are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-07-15 |
Dan Carpenter | kernel data/: update to recent linux-next (3.11-rc1... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
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 |