?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
units: handle the situation where it an array of bytes
2023-06-12 Dan Carpenterunits: handle the situation where it an array of bytes
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-06-12 Dan Carpenterpoints_to_user_data: update with some ntfs user data...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-06-12 Dan Carpenterdb/reload_partial.sh: update to handle hashed files
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-06-12 Dan Carpenterdb/fill_db_caller_info.pl: fix "too common function...
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
2023-06-07 Dan Carpenterunsigned_lt_zero: re-write this check
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
 commit | commitdiff | tree
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
Static analysis for C