?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
rosenberg: handle bit fields better
2021-09-01 Dan Carpenterrosenberg: handle bit fields better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpentermissing_error_code: fix some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpentermissing_break: add support for fallthrough attribute
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpentermemcpy_overflow: make a variable static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdata: update all smatch_data/kernel.* data to the latest...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/kernel.delete.return_states: delete nonsensical...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: delete kobject_init() failure path
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: hack around device_add()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: fix parsing of wext (wireless extension...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: delete '(struct genl_info)->attrs...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: delete some impossible returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: delete bogus __kernel_write stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: delete some ATOMIC_DEC
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: delete copy_to/from_user() stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: delete some USER_DATA
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: remove work_struct->func
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: update vfs_write() code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/kernel.insert.return_states: add some functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/kernel.return_fixes: add some more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb/mtag_info.schema: add a UNIQUE constraint and add...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterdb: keep the return states from strlen and sprintf
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpentersleeping in atomic: add some new checks to warn about...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpenterfunction_hooks: don't call both DB and implied return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-09-01 Dan Carpentersmatch: introduce standard hook types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-31 Dan Carpenterdb/smdb.py: re-write preempt call trees
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-31 Dan Carpentervalidation/sm_implied6.c: delete obsolete test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-31 Dan Carpenteruser_data: fix returned user data from a parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-31 Dan Carpentervalidation/sm_switch: update test case
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-31 Dan Carpenterparam_key: rename get_name_sym_from_key() to get_name_sym_fr...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-31 Dan Carpenterarrays: handle post op offsets
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-31 Dan Carpenterdb: call all callbacks for add_return_info_callback...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-31 Dan Carpentermake: delete cwchash/hashtable.o
 commit | commitdiff | tree
2021-08-25 Dan Carpenterlocking: silence some common false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-25 Dan Carpenterlocking: silence i915 warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-25 Dan Carpentervalidation: update locking tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpentersmdb: add a "preempt" option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpentersmdb: add an option for smdb.py functions struct_type...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpentersmdb.py: add more types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpenterpower_of_two: don't record everything as a power of two
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpenterdb: prefer storing param data over return data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpenterfree_param: delete a blank line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpenterchecking_for_null_instead_of_err_ptr: silence a false...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-11 Dan Carpenterhelper: add a short cut in expr_equiv() for testing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-10 Dan Carpenteruninitialized: silence false postives warnings about...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-10 Dan Carpenterkernel_printf: print a warning for potential precision...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-10 Dan Carpenterkernel: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterdb: change how inline functions which are not inlineable...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterimplied: find implications for assignment conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterkernel_user_data: record when a type is set to user...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterextra: clean up variable use in handle_bit_test()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterextra: ignore self assignments "foo = foo;"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-05 Dan Carpentervalidation: update sm_switch2.c (remove NULL dereference...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-05 Dan Carpenterparam_key: introduce get_implied_rl_from_call_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-04 Dan Carpentersmatch.h: introduce sm_pedantic()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-04 Dan Carpentervalidation: delete obsolete dev_hold() check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-04 Dan Carpenternetdev_priv: small tweaks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-30 Dan Carpenterindex_overflow: fix false positives when we're memcpy...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-30 Dan Carpenterheld_dev: delete this check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-29 Dan Carpenterbits: fix match_assign()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-29 Dan Carpenterparam_key: fix build, add container_of() stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-29 Dan Carpenterbits: get rid of "unknown_bit_info"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterparam_key: handle &foo in swap_names
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterslist: allocate snames for all show_sm() returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterssa: introduce ssa_set_all_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterssa: fix the modification hook
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterssa: don't dynamically allocate &undefined and &merged
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterstored_conditions: record links better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterstored_conditions: ignore known conditions more thoroughly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpentertype: add support for parsing <~ container_of keys
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-27 Dan Carpenterfunction_hooks: move code around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-26 Dan Carpenterimplied,db: fix a bug faking history
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan Carpenterkernel_user_data: delete obselete comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan Carpenterkernel_user_data: AND and MOD are ways to cap data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan Carpentermath: assume container_of() return valid pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan Carpenterstates: delete unused &ghost state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan CarpenterDocumentation/smatch: update build requirements for...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-06 Dan Carpentertype: handle key type for "*$" where the parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-05 Dan Carpenteratomic_inc_dec: tweak how the return states are calculated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-05 Dan Carpenteratomic_inc_dec: improve how inc/dec is recorded in...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-05 Dan Carpenteratomic_inc_dec: create separate test_id for freeing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-01 Dan Carpenterkernel: delete PCIBIOS_BAD_VENDOR_ID returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-01 Dan Carpenterdb: add a feature which lets people delete a return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-01 Dan CarpenterDocumentation: add libssl-dev and libtry-tiny-perl...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterbuf_comparison: improve handling of binop sizes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterextra: re-write get_long_name_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterkernel.ignored_macros: add ASSERT() to ignored macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpentersmatch_data/kernel.clears_argument: add more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpentersmatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenteruser_data: kvm_read_guest_virt() is user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterrosenberg_funcs: warn about information leaks to the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpentercomparison: handle code like if (size - used == 0)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterkernel: hook match_fls() into the code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterkernel: introduce get_gfp_param()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-28 Dan Carpenterexpressions: introduce get_parent_stmt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterparam_key: mark get_variable_from_key() as deprecated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterfunction_hooks: update comment explaining various function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterfunction_hooks: don't record parameters == as =
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterfunction_hooks: introduce add_function_param_key_hook_late()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterstates: add has_possible_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-18 Dan Carpenterparam_set: setting stack data doesn't not affect the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C