Public Git Hosting - smatch.git/search

2023-05-19	Dan Carpenter	returns_negative_error_code: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-19	Dan Carpenter	dereference: hard code nla_data() as dereferencing... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-18	Dan Carpenter	checking_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 Carpenter	checking_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 Carpenter	kernel_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 Carpenter	scripts/generisize.pl: generisize function names Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-12	Dan Carpenter	kernel.unreachable.turn_off: add some kunit stuff Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	preempt_info: add __bit_spin_unlock() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	check_list/err_ptr: register the err_ptr code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	debug/units: hook in the __smatch_units() code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	validation/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 Carpenter	dereference: find more cross function dereferences Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	err_ptr_deref: re-write the check Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	kernel_err_ptr: track error pointers in the database Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	kernel.no_return_funcs: update to the latest linux... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-11	Dan Carpenter	kernel.no_return_funcs: add kunit_do_failed_assertion() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-10	Dan Carpenter	comparison: store modified comparisons Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-10	Dan Carpenter	units: 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 Carpenter	units/debug: add __smatch_units() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-10	Dan Carpenter	units: delete some accidental code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-10	Dan Carpenter	units: make unit states global Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	macro_table: don't store duplicate macros Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	capped: handle for loops better Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	conditions: strip stuff off a STMT_EXPRESSION Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	expressions: *&foo is just foo Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	kernel_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 Carpenter	mtag: create a reverse mapping from mtag to symbol Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	param_limit: improve printing the limit Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	returns: delete some dead code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	db/untracked_param: move mark_call_params_untracked() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	db: fix sql_insert_return_implies() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	dereferences_param: re-write simpler Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-08	Dan Carpenter	impossible: don't mark returns as impossible if threads... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-06	Dan Carpenter	struct_assignment: add copy_from_user() Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-05	Dan Carpenter	locking: use shared success_fail_return() function Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-05	Dan Carpenter	locking: add some more locking functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-04	Dan Carpenter	rosenberg: fix a segfault Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-04	Dan Carpenter	kernel.unconstant_macros: add EXT4_MOUNT_DAX_ALWAYS Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	rosenberg: fully initializing the struct does not clear... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	rosenberg: revert "initialization and struct assignments... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	locking: delete some NULL checks Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	locking: add some more locking functions Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-03	Dan Carpenter	bogus_address_param: warn about passing a bogus address Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-02	Dan Carpenter	units: fix the build Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-05-02	Dan Carpenter	check_trinity: delete this code Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-04-20	Dan Carpenter	locking: ignore false positives caused by perf_event_enable... Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>	commit \| commitdiff \| tree
2023-04-19	Dan Carpenter	units: 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

RSS Atom