?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
capped: stop marking everything as capped
2019-03-18 Dan Carpentercapped: stop marking everything as capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-18 Dan Carpentercapped: pointers can't be capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-18 Dan Carpenterdb: mark some states as ignore
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpentermtag: fix handling of arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpentercontainer_of: fix the validation tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpenterimplied: remove skip_implications again
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpenterimplied: make a timeout use usec instead of seconds
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpenterinteger_overflow: split some integer overflow handling...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpenteraddress: Use rl_binop() to calculate the offset into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpenteraddress: handle anonymous unions better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpenteraddress: calculate bit types offsets better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpentermath: handle __builtin_offsetof() better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpenterextra: handle unmatched global variables better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-15 Dan Carpenterextra: don't store HARD_MAX for known parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-14 Dan Carpenterparam_used: don't save bogus data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-14 Dan Carpentercontainer_of: re-write container_of()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-12 Dan Carpenterhelper: change how derefs are displayed
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-12 Dan Carpentermath: allow some recursion in handle_address()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-12 Dan Carpentercontainer_of: compare the symbols first of all
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-12 Dan Carpentercontainer_of: export the get_container_name() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-12 Dan Carpentermtag: update the mtag when it's set using a pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-12 Dan Carpentermath: handle array addresses
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-11 Dan Carpenteraddress: unify the code paths a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-11 Dan Carpenteraddress: rename a variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpenterfree_strict: ignore untracked parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpenterdb: don't print comparisons when a function returns...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpentercapped: handle assignments in the comparison better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpenterextra: handle PARAM_ADD/SET better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpenterimplied: remove an unused variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpentertype: debugging: display enum types in type_to_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpentermath: don't bother caching EXPR_VALUE values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpentermath: fix RL_ABSOLUTE for unknowns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpenterslist: don't allocate so many duplicate ->possible...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-06 Dan Carpentermtag: prevent a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-05 Dan Carpenterextra: fix a bug handling decrementing for loops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-05 Dan Carpenterextra: fix some type bugs handling loops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-04 Dan Carpenterreturn_cast: fix this check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-04 Dan Carpenterimplied: fix a bug handling partial implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-04 Dan Carpenterimplied: fix a bug handling partial implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-03-04 Dan Carpenterimplied: fix a debug message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-28 Dan Carpenterkernel: ignore lockdep information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-28 Dan Carpenterstates: prevent some no name states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-28 Dan Carpenterslist: tweak how OOM is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-27 Dan Carpentermath: always try look up if it's a fixed constant value...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-27 Dan Carpenterimplied: add ->skip_implications back
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentermath: introduce get_rl_helper()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentermath: rename get_rl_helper() to get_rl_internal()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentermath: remove some debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentermath: fix a bug getting the "exact" address of a string
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterimplied: clean up filter_stack()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterimplied: rename "incomplete" to "bail"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterimplied: delete ->skip_implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterimplied: delete ->nr_children
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterimplied: very messy re-write of how to bail if implications...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterprecedence: add a warning for "foo & bar > baz"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterkernel_user_data: fix a type issue in set_points_to_user_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterkernel_user_data: handle functions that return a pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterkernel_user_data: handle struct assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentervalidation: update tests to reflect code changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentervalidation/sm_select5.c: update validation test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentermath: fix a type issue with pointer subtractions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterdb: fix passing caller info for frob(&foo);
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterparse_call_math: fix inline validation test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterfunction_hooks: fix a type issue in return_implies_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentermath: remove debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterbuf_size: fix handling of end of struct arrays that...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterlocking: make ret_non_zero range from 1-s32max
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterlocking: add some more locks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentersmatch: add some string literals to snprintf()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterspectre: check for second halves
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenteruser_data: fix a crashing bug on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterzero_to_err_ptr: fix fall out from unsigned pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenteruser_data: handle capped data better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterdb/kernel.return_fixes: fix __sock_create() and wait_for_com...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterdb/fixup_kernel.sh: ignore RIO_BAD_SIZE returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentersmatch_data/kernel: add some more ignored stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentersmatch_data/kernel.no_return_funcs.add Add YY_FATAL_ERROR...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterdb/delete_too_common_fn_ptr.sh: delete some common...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentermem_tracker: use /proc/self/statm for out_of_memory()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterimaginary_absolute: ignore loops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterflow: fix valid_ptr_max
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentersmatch: always print the time: and mem:
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterslist: do a small speedup in cmp_possible_sm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterslist: reverse the order of the strees
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenteraddress: improve get_address() for struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenteraddress: many array addresses can be marked as valid...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenteraddress: get_member_offset_from_deref()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpentermath: move more stuff to get_rl_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterstring_list: make insert_string() return false if it...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-26 Dan Carpenterstring_list: call strcmp() once instead of twice
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-25 Dan Carpentermath: don't allocate the range_list if not necessary
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-25 Dan Carpentermath: rename _get_rl() => get_rl_helper()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-25 Dan Carpenterimplied: bail earlier on parsing parameter limitation...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-25 Dan Carpentermath: re-write _get_sval() to pass the results as a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-20 Dan Carpenterslist: speed up add_possible_sm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-20 Dan Carpenterslist: a pointer is equal to itself in cmp_possible_sm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-20 Dan Carpenterlocking: spin_trylock() returns 1 on success
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-20 Dan Carpenterslist: speed up copy_possibles()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-20 Dan Carpenterslist: rename cmp_sm_states() to cmp_possible_sm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-19 Dan Carpenteraddress: improve handling of __smatch_implied(&foo...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C