?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
dereference: fix a crash
2023-05-31 Dan Carpenterdereference: fix a crash
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-23 Dan Carpenterscripts/generisize.pl: handle "potentially tagged address...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-19 Dan Carpenterdereference: fix some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-19 Dan Carpenterreturns_negative_error_code: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-19 Dan Carpenterdereference: hard code nla_data() as dereferencing...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-18 Dan Carpenterchecking_for_null_instead_of_err_ptr: add list of untrust...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-17 Dan Carpenterchecking_for_null_instead_of_err_ptr: use smatch_kernel_err_...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-17 Dan Carpenterkernel_err_ptr: hack around for_each_gpio_desc_with_flag()
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-15 Dan Carpenterscripts/generisize.pl: generisize function names
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-12 Dan Carpenterkernel.unreachable.turn_off: add some kunit stuff
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-11 Dan Carpenterpreempt_info: add __bit_spin_unlock()
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-11 Dan Carpentercheck_list/err_ptr: register the err_ptr code
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-11 Dan Carpenterdebug/units: hook in the __smatch_units() code
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-11 Dan Carpentervalidation/sm_err_ptr: make IS_ERR() an inline function
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-11 Dan Carpenterdereference: find more cross function dereferences
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-11 Dan Carpentererr_ptr_deref: re-write the check
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-11 Dan Carpenterkernel_err_ptr: track error pointers in the database
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-11 Dan Carpenterkernel.no_return_funcs: update to the latest linux...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-11 Dan Carpenterkernel.no_return_funcs: add kunit_do_failed_assertion()
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-10 Dan Carpentercomparison: store modified comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-10 Dan Carpenterunits: move checks to check_ file and hide under the...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-10 Dan Carpenterunits/debug: add __smatch_units()
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-10 Dan Carpenterunits: delete some accidental code
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-10 Dan Carpenterunits: make unit states global
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpentermacro_table: don't store duplicate macros
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpentercapped: handle for loops better
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpenterconditions: strip stuff off a STMT_EXPRESSION
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpenterexpressions: *&foo is just foo
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpenterkernel_user_data: take a short cut to speed up empty...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpentermtag: create a reverse mapping from mtag to symbol
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpenterparam_limit: improve printing the limit
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpenterreturns: delete some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpenterdb/untracked_param: move mark_call_params_untracked()
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpenterdb: fix sql_insert_return_implies()
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpenterdereferences_param: re-write simpler
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-08 Dan Carpenterimpossible: don't mark returns as impossible if threads...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-06 Dan Carpenterstruct_assignment: add copy_from_user()
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-05 Dan Carpenterlocking: use shared success_fail_return() function
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-05 Dan Carpenterlocking: add some more locking functions
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-04 Dan Carpenterrosenberg: fix a segfault
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-04 Dan Carpenterkernel.unconstant_macros: add EXT4_MOUNT_DAX_ALWAYS
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-03 Dan Carpenterrosenberg: fully initializing the struct does not clear...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-03 Dan Carpenterrosenberg: revert "initialization and struct assignments...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-03 Dan Carpenterlocking: delete some NULL checks
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-03 Dan Carpenterlocking: add some more locking functions
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-03 Dan Carpenterbogus_address_param: warn about passing a bogus address
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-02 Dan Carpenterunits: fix the build
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-05-02 Dan Carpentercheck_trinity: delete this code
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-04-20 Dan Carpenterlocking: ignore false positives caused by perf_event_enable...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-04-19 Dan Carpenterunits: store what sort of units a variable is in
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-04-19 Dan Carpenterzero_to_err_ptr: add dev_err_probe()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-13 Dan Carpenterfree_strict: add sock_release()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterdb/fixup_kernel.sh: ignore param limits from __dev_printk()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterdb/fixup_kernel.sh: vfs_read/write() are the only important...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterextra: revert the mod_expr changes for modify expression...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterextra: set no limits mark_sub_members_gone()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterunwind: devm_add_action_or_reset() is now a macro
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterunwind: separate path states out into a different check id
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterunwind: ignore path states in pre-merge hook
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterunwind: don't warn about impossible leaks
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterunwind: ignore component_match_add_release() paths
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterunwind: use the shared success_fail_return() function
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterunwind: catch additional bugs
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterunwind: fix a bug with SSA
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-06 Dan Carpenterunwind: introduce &unknown state
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-04 Dan Carpenterflow: fix MACRO_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-04-03 Dan Carpenterparam_limit: don't store addresses as PARAM_LIMIT
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-28 Dan Carpenterhelper: make strip_expr() strip out "+ 0"
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-28 Dan Carpenterflow: only fake parameter assignments once
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-28 Dan Carpentershift_to_zero: silence some warnings inside macros
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-28 Dan Carpenterdb/create_db.sh: verify that the info file exists
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-27 Dan Carpenterdata/kernel.unconstant_macros: add ENQUEUE_MIGRATED
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-25 Dan Carpenterunwind: don't warn about global variables
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-24 Dan Carpenterflow: don't reparse inlines over and over
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-23 Dan Carpenterkernel.unconstant_macros: add some pending stuff
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-15 Dan Carpenterdebug: fix broken compile because of missing code
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-15 Dan Carpenterdebug: skip everything except a given function
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-15 Dan Carpenterdebug: add __smatch_start/stop_skip() to skip processing...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-15 Dan Carpenterdebug: make __smatch_about() handle SSA states better
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-11 Dan Carpenterdereference: fix handling DEREFERENCE from the database
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-11 Dan Carpenterdereference: only count foo->bar as a dereference not...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-09 Dan Carpenterdata/kernel.ignore_unitialized_param: add some more...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-09 Dan Carpenterparam_clear: add support for BUF_ADD
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-08 Dan Carpenterparam_limit: ignore BUF_CLEAR here as well
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-08 Dan Carpenterdereference: create a add_dereference_hook() function
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-08 Dan Carpenterbuf_clear: do a speed up
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-04 Dan Carpenterkernel_user_data: use a param/key table for simple_strtoul()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-04 Dan Carpenterdb/kernel.return_fixes: add debugfs_initialized
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-04 Dan Carpenterdb/kernel.return_fixes: add nla_nest_start_noflag()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenteruser_data: remove xdr_inline_decode()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenteruser_data: clean up how sscanf is handled
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenteruser_data: clean up how iov_iter_count is handled
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenterpoints_to_host_data: make a pointer const
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenteruser_data/ptr: move things from user_data to user_ptr
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenterdb: do the caller_info stuff earlier
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenterdb: fix returned information
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenterstruct_assignment: make the faked_expression function...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenteruser_data: fix an is_new setting in handling assignments
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenterkernel_user_data: don't set *my_struct to user data
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenterkernel_user_data: ignore void types
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
next
Static analysis for C