?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
db/smdb: add USER_PTR types
2020-08-11 Dan Carpenterdb/smdb: add USER_PTR types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-06 Dan Carpenterequiv: delete unused remove_from_equiv_expr() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenteruser_data: clean up match_assign()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenteruser_data: mark array_index_mask_nospec as capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenterpoints_to_user_data: reset the state to not user data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenterdb: don't store unreachable calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenterdereferences_param: mark more parameters as dereferenced
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpentermath: array parameters can be NULL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-03 Dan Carpenterpoints_to_user_data: Fix a segfault parsing kernel...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-21 Dan Carpenteratomic_inc_dec: create a new inc_dec table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenteruser_data/points_to_user_data: re-write user tracking
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterflow: fix certain inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterdb: create fake assignments for calls and returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterkernel: improve handling of kernel parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterkernel: improve handling for IS_ERR()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenteruser_data: update a comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpentermath: fix a compile issue
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpentermath: assume pointer additions don't overflow
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterbuf_size: fake function assigns are always unknown...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpentermath: add support for __builtin_ffs()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterallocating_enough_data: silence container_of() false...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/sparse...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-06-19 Dan Carpentertype: mark foo.bar.baz as a local variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-06-18 Dan Carpenterextra: mtag: don't store unknown states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-06-08 Dan Carpenterdb: Fix buffer overflow in state_name_to_param_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: remove an unused parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: don't warn about impossible paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: ignore local static variables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: unknown values are not failures
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: don't record increment/decrement if...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: record potential decrements as a decrement
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: don't store information in impossible...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: add more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: don't double set states to &inc/&dec
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: change how unmatched states are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: rename "orig" to "start_state"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-20 Dan Carpenterkernel_printf: print error pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-20 Dan Carpenterkernel_printf: add support for %ls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-20 Dan Carpenterkernel_printf: add _GNU_SOURCE define
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-19 Dan CarpenterDocumentation/smatch: add a reference to the mailing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-12 John LevonCheck for NULL stmt in check_all_func_returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-12 Dan Carpenterbuf_size: ignore certain assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-11 Dan Carpenteratomic_inc_dec: fix compile even harder
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-11 Dan Carpenterdb: split possible states even when they're equal to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-07 Dan Carpentersmatch: fix the compile
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-07 Dan Carpentershift_to_zero: be even more conservative (avoid false...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-06 Dan Carpenterdebug: add more debug info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-06 Dan Carpenterdb: don't bother with unknown sizes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-06 Dan Carpenterbuf_size: update some kernel functions: vzalloc() and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-06 Dan Carpenterbits: Fix handling of |= and &=
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-06 Dan Carpenterbits: move is_loop_iterator() earlier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-06 Dan Carpenterkernel: preserve the sm state when handling IS_ERR()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-06 Dan Carpenterkernel: fix a type bug handling err_cast()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-06 Dan Carpenterkernel: add support for closure_call()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-05 Dan Carpenterbuf_size: check pointer size earlier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-05 Dan Carpenterbuf_size: fix handling of unknown flexible array sizes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-05 Dan Carpenterbuf_size: ignore zero returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-05 Dan Carpenterextra: fix compile
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-05 Dan Carpenterextra: delete some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-05 Dan Carpenterbuild_kernel_data.sh: print a message after the kernel...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-05 Dan Carpenterdb/kernel.return_fixes: ww_mutex_lock() can't return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-05 Dan Carpentercapped: handle & and % slightly differently
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenterdb/return_states: fix call_id type
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenterdb/create_db.sh: silence warning when -p option isn...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpentermark_function_ptrs_searchable: mark more functions...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpentercontainer_of: fix importing the mtag data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenterestate: check hard max in estates_equiv()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenterestate: add a ->new flag to track new states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenterhelper: export get_array_expression()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenterimplied: fix parsing for PARAM_LIMIT implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenterimplied: non-merged states have no implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpentertype: improve get_member_type_from_key()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpentertype_val: ignore "idr_find"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenterimplied: turn on debug_implied when regular debug is set
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpentererr_ptr: delete dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenterstruct_assignment: strip parentheses right
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-04 Dan Carpenteratomic_inc_dec: push latest code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-04-07 Dan Carpenterreal_absolute: update real absolute for faked fresh...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpentertype: create type_fits() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpenterdb/kernel.return_fixes: misc updates (locking mostly)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpenterstates: add a way to watch other checks set states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpenterdebug: print a special warning for user_rl without...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpenterfresh_alloc: some things are not fresh
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpenterhelper: don't cache Tmp expressions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpenterexpressions: Rename "Fake" to "Tmp"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpentermath: functions can return fuzzy range lists
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpenterreturn_to_param: remove unused declaration
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpenterscripts/summarize_errs.sh: white space fixes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpentertokenize: export alloc_ident()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-03-10 Dan Carpenterallocating_enough_data: clarify error message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpenterstruct_assignment: Fix (*$)->foo handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpentervalidation: update impossible tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpentershift_to_zero: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpentermtag: don't double record mtag data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpentersmdb: add some more types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpenterslist: add some debug code to warn about missing set_dynamic...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpenterhelper: remove no_parens parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpenterimplied/comparison: delete unknown implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpenterhelper: return more specific error codes in get_param_num_fr...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpenterfunction_hooks/mtag: set mtag returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C