Public Git Hosting - smatch.git/search

2021-09-01	Dan Carpenter	missing_error_code: fix some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	missing_break: add support for fallthrough attribute Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	memcpy_overflow: make a variable static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	data: 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 Carpenter	db/kernel.delete.return_states: delete nonsensical... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/fixup_kernel.sh: delete kobject_init() failure path Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/fixup_kernel.sh: hack around device_add() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/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 Carpenter	db/fixup_kernel.sh: delete '(struct genl_info)->attrs... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/fixup_kernel.sh: delete some impossible returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/fixup_kernel.sh: delete bogus __kernel_write stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/fixup_kernel.sh: delete some ATOMIC_DEC Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/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 Carpenter	db/fixup_kernel.sh: delete some USER_DATA Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/fixup_kernel.sh: remove work_struct->func Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/fixup_kernel.sh: update vfs_write() code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/kernel.insert.return_states: add some functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/kernel.return_fixes: add some more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	db/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 Carpenter	db: keep the return states from strlen and sprintf Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-09-01	Dan Carpenter	sleeping 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 Carpenter	function_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 Carpenter	smatch: introduce standard hook types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-31	Dan Carpenter	db/smdb.py: re-write preempt call trees Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-31	Dan Carpenter	validation/sm_implied6.c: delete obsolete test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-31	Dan Carpenter	user_data: fix returned user data from a parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-31	Dan Carpenter	validation/sm_switch: update test case Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-31	Dan Carpenter	param_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 Carpenter	arrays: handle post op offsets Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-31	Dan Carpenter	db: call all callbacks for add_return_info_callback... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-31	Dan Carpenter	make: delete cwchash/hashtable.o	commit \| commitdiff \| tree
2021-08-25	Dan Carpenter	locking: silence some common false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-25	Dan Carpenter	locking: silence i915 warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-25	Dan Carpenter	validation: update locking tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-12	Dan Carpenter	smdb: add a "preempt" option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-12	Dan Carpenter	smdb: 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 Carpenter	smdb.py: add more types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-12	Dan Carpenter	power_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 Carpenter	db: prefer storing param data over return data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-12	Dan Carpenter	free_param: delete a blank line Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-12	Dan Carpenter	checking_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 Carpenter	helper: 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 Carpenter	uninitialized: silence false postives warnings about... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-10	Dan Carpenter	kernel_printf: print a warning for potential precision... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-10	Dan Carpenter	kernel: fix a NULL dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-06	Dan Carpenter	db: change how inline functions which are not inlineable... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-06	Dan Carpenter	implied: find implications for assignment conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-06	Dan Carpenter	kernel_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 Carpenter	extra: clean up variable use in handle_bit_test() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-06	Dan Carpenter	extra: ignore self assignments "foo = foo;" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-05	Dan Carpenter	validation: update sm_switch2.c (remove NULL dereference... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-05	Dan Carpenter	param_key: introduce get_implied_rl_from_call_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-04	Dan Carpenter	smatch.h: introduce sm_pedantic() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-04	Dan Carpenter	validation: delete obsolete dev_hold() check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-08-04	Dan Carpenter	netdev_priv: small tweaks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-30	Dan Carpenter	index_overflow: fix false positives when we're memcpy... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-30	Dan Carpenter	held_dev: delete this check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-29	Dan Carpenter	bits: fix match_assign() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-29	Dan Carpenter	param_key: fix build, add container_of() stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-29	Dan Carpenter	bits: get rid of "unknown_bit_info" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	param_key: handle &foo in swap_names Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	slist: allocate snames for all show_sm() returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	ssa: introduce ssa_set_all_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	ssa: fix the modification hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	ssa: don't dynamically allocate &undefined and &merged Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	stored_conditions: record links better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	stored_conditions: ignore known conditions more thoroughly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-28	Dan Carpenter	type: add support for parsing <~ container_of keys Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-27	Dan Carpenter	function_hooks: move code around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-26	Dan Carpenter	implied,db: fix a bug faking history Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-19	Dan Carpenter	kernel_user_data: delete obselete comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-19	Dan Carpenter	kernel_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 Carpenter	math: assume container_of() return valid pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-19	Dan Carpenter	states: delete unused &ghost state Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-19	Dan Carpenter	Documentation/smatch: update build requirements for... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-06	Dan Carpenter	type: handle key type for "*$" where the parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-05	Dan Carpenter	atomic_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 Carpenter	atomic_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 Carpenter	atomic_inc_dec: create separate test_id for freeing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-01	Dan Carpenter	kernel: delete PCIBIOS_BAD_VENDOR_ID returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-07-01	Dan Carpenter	db: 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 Carpenter	Documentation: add libssl-dev and libtry-tiny-perl... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	buf_comparison: improve handling of binop sizes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	extra: re-write get_long_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	kernel.ignored_macros: add ASSERT() to ignored macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	smatch_data/kernel.clears_argument: add more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	user_data: kvm_read_guest_virt() is user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	rosenberg_funcs: warn about information leaks to the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	comparison: handle code like if (size - used == 0) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	kernel: hook match_fls() into the code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-30	Dan Carpenter	kernel: introduce get_gfp_param() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-28	Dan Carpenter	expressions: introduce get_parent_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	param_key: mark get_variable_from_key() as deprecated Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	function_hooks: update comment explaining various function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	function_hooks: don't record parameters == as = Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	function_hooks: introduce add_function_param_key_hook_late() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-24	Dan Carpenter	states: add has_possible_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-18	Dan Carpenter	param_set: setting stack data doesn't not affect the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-06-08	Dan Carpenter	db: add support for deleting and splitting returns... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom