?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
type_val: ignore "idr_find"
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-27 John Levonpredefine "i386" if needed
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Toomas Soomecorrect sparcv9 defines
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 John Levonpre-define __unix__ and friends
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 John Levonadd necessary defined for sunos-derived systems
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 John Levondefine __PRAGMA_REDEFINE_EXTNAME
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Luc Van Oostenryckadd predefine_nostd()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Luc Van Oostenryckalt definition for STANDARD_GNU89 & friends
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Luc Van Oostenryckallow to test the standard version outside of lib.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-27 Luc Van Oostenryckarch: add missing predefines: __amd64 & __amd64__
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
2020-01-22 Dan Carpenterdb: remove DB remove some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-14 Dan Carpenterfresh_alloc: fix compiling (missing chunk of commit)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-10 Dan Carpentercontainer: improve how assignments are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-09 Dan Carpenterlocking: warn when there is a missing irq_restore
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-09 Dan Carpentervalidation: update locking validation tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-08 Dan Carpenterlocking: remove wine locking check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-06 Dan Carpenterfresh_alloc: track which allocations are fresh
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-06 John Levondisable warning about long double in unions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-06 John LevonCorrect FP minimum handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-06 Dan Carpentermath/ranges/helper: improve floating point support
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-01-06 Dan Carpentersmatch.h: add the declaration to sm_to_arg_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpenterhelper: introduce get_param_sym_from_num()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentersval: initial floating point support
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpenterdb: improve split_success_fail
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpenterdb: fix split_positive_from_negative()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentercontainer_of: a function is not a container of itself
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentercontainer_of: fix how container of star information...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentercontainer_of: move strip_expr() earlier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpenterdb: rename has_possible_zero_null() to has_separate_zero_null()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpenterdb: add a short cut in has_possible_negative()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpenterrosenberg: don't leak uninitialized structs to malicious...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentercomparison: split unknown comparisons into fake comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentercontainer_of: handle "foo.fn(&foo);"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentercontainer_of: store links to container_of when passing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentercontainer_of: add a missing check for failure
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentercontainer_of: swap variable names
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-12 Dan Carpentercontainer_of: delete dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-09 Dan Carpentercontainer_of: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-09 Dan Carpenterfrees_param: delete some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-09 Dan Carpenterparam_mapper: re-write and remove --param-mapper option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-09 Dan Carpenterbuf_size: add kvmalloc() to the list of allocation...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-09 Dan Carpenterdebug: delete unused local_debug() macro
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-09 Dan Carpenterdb: add __smatch_debug_db_on/off() calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-12-09 Dan Carpenterexpressions: put parentheses around dereferenced binops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C