?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
kernel.unreachable.turn_off: add some kunit stuff
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