?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
atomic_inc_dec: unknown values are not failures
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 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
2020-02-18 Dan Carpenterhelper: small white space cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpentermtag: save the mtag allocator
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpenterdb: add support for (*$)->foo = 1;
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpenterdb: make mtag_about entries unique
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpenterdb: add mtag_info table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpentermtag_map: re-arrange container map
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-18 Dan Carpentertype: export is_struct_ptr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterdb: don't bother splitting error paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterdb: store the function mtag in the call_id space
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterdb: don't split negatives using null/non_null
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterdb: add a new callback for inserting stuff into caller_info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterfunction_ptrs: delete a stray space character
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterestate: pointers don't have hard maxes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpentermtag_data: ignore boot_params
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpentermtag_data: ignore head->next
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterhelper: print EXPR_SELECT and EXPR_CONDITION with expr_to_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpentermtag_map: add a tag_offset field
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterfresh_alloc: NULL is not a fresh alloc
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterdebug: move __print_states() to smatch_states.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpentermath: handle unknown maximums in subtract operations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-02-11 Dan Carpenterflow: call ASSIGNMENT_HOOK_AFTER for complicated assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-28 Dan Carpentermtag: update swap_mtag_return()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Dan Carpenterfresh_alloc: mark used data as unfresh
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Dan Carpenterfresh_alloc: export is_fresh_alloc() and is_fresh_alloc_var_...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Dan Carpenterfresh_alloc: NULL pointers are not fresh
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Dan Carpentermtag: export str_to_mtag()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Dan Carpentertype: improve debug output for NULL types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Dan Carpenterslist: fix __print_stree() debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-22 Dan Carpenterdb: delete more dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C