?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
user_data: fix validation test for returned struct members
2018-08-06 Dan Carpenteruser_data: fix validation test for returned struct...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterimplied: don't print so many "turning off implications...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag: delete some bogus code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag_data: update mtag_data to use get_mtag_addr_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag: fix expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag: introduce get_mtag_addr_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterparam_to_mtag_data: rename "data_name" --> "name"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag: don't set the name in expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag_data: cache DB results
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterextra: move get_address_rl() out of get_extra_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterimplicit_dependencies: white space changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterimplicit_dependencies: only enable this with the -...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterimplicit_dependencies: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-30 Dan Carpenterimplied: improve debugging
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-27 Dan Carpentermtag/mtag_data: re-use the same code to store data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-27 Dan CarpenterRevert "container_of: remove some duplicative code"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-27 Dan Carpentermtag_data: split get_mtag_rl() into two functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-27 Dan Carpentermtag: rename get_db_data_rl() => get_mtag_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentercontainer_of: remove some duplicative code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag/container_of: the first struct member can be a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: Use extra state to get mtag and offset
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: hook in the mtag code to check_list.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentervalidation: fix the new DB tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: improve get_mtag_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag/math: use mtag information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: make get_mtag_offset() give both an mtag and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag/math/extra: start using mtags as pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: make the name parameter in expr_to_mtag_name_offset...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: mask out the low bits
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: turn off mtag stuff for 32 bit builds
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentercontainer_of: cleanup set_param_value()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentercontainer_of/mtag: fix handling of passed values (as...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentervalidation: add some mtag tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentercontainer_of/mtag: use container_of information for...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpentercontainer_of: re-write code to record caller_info containers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpenterranges: allow svals to be printed in hex
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpenterranges: fix parsing of ulong_max and ptr_max (not currently...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpentercontainer_of: flip the param and the value around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpenteraddress: fix add_offset_to_pointer()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentertype: introduce get_final_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentersval: handle pointer math better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentertype: introduce get_promoted_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentercomparison: export filter_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentersmdb.py: push all my changes to this file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterdb/kernel.return_fixes misc updates
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterconditions: don't parse NULLs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterdb/fixup_kernel.sh: delete '(union anonymous)->__val...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterflow: print slow to parse functions when the --time...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterextra: introduce value_ptr_rl
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterdb: add some more schemas
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterdb/reload_partial.sh: fix for call_implies
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterdb: hook up call_implies infrastructure
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentersval: fix sval_is_a_min/max() for smaller types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentersval: introduce sval_is_ptr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterdb: Use extra sm->possible to decide if splitting the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterextra: introduce get_extra_sm_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterconditions: set the parent expressions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterimplied: set in_fake_env when we do an assume()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterslist: do a small clean up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterstored_conditions: store more conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterstruct_assignment: handle memcpy for pointer math better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-19 Dan Carpenterspectre: silence some if (array[user_controlled_offset...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-19 Dan Carpenterspectre: change output format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-19 Dan Carpenterspectre: remove is_read/write() checks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterdb: fix get_db_state_count()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterhelper: clean up get_complication_score()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterhelper: sizeof() is not complicated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterconditions: split the zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterconditions: delete unused function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-03 Dan Carpentercheck_user_data: mark kvm_register_read() as returning...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-28 Dan Carpenternospec: if it's called with trusted data that's the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-28 Dan Carpenteruser_data: don't pass *$ as user data if the struct...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-28 Dan Carpentercheck_user_data: some user data was lost at the call...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-25 Dan Carpenterdb: fix build breakage by adding the type_info schema
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-25 Dan Carpenterdb: rename call_implies to return_implies
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-25 Dan Carpenterdebug: improve buf size debugging
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentercheck_signed: silence some false positives copying...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentercheck_shift_to_zero: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentercheck_sizeof: fix a typo in the warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterbuf_size: fix recording global sizes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterbuf_comparison: don't save links to literal sizes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentercomparison: add some debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: don't split NULL and non-NULL unnecessarily
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: set the CACHE_PAGES size
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: introduce the cache_db
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: clean up the code and export some more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterextra: use PARAM_LIMIT to limit binops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterflow: nest some inline statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentermodification_hooks: don't allow multiple modification...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-21 Dan Carpentercomparison: don't save comparisons to oneself
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-18 Dan Carpentercomparison: add some parenthesis
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-18 Dan Carpentervalidation: fix up some failures
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-14 Dan Carpentercomparison: fix filter_by_comparison == for ranges
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-14 Dan Carpenterextra: just set sval assignments directly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpentercheck_spectre: ignore masked off data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpenterspectre: use the new is_user_rl() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpenteruser_data: silence some more ntohl(foo[i]); false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpenteruser_data: silence some sscanf() false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpenteruser_data: introduce is_user_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C