Public Git Hosting - smatch.git/search

2022-07-07	Dan Carpenter	db/insert_manual_states.pl: remove debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-07	Dan Carpenter	scripts/test_kernel.sh: only find sql files when option... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-06	Dan Carpenter	conditions: fix bug in select assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-06	Dan Carpenter	math: fix logical AND handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-06	Dan Carpenter	db: don't track address values or dereferences Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-06	Dan Carpenter	param_cleared: ignore locking internals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-05	Dan Carpenter	buf_comparison2: new module for linking buffers with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-05	Dan Carpenter	smatch_allocations: add a hook to track allocations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-05	Dan Carpenter	kernel.ignore_casted_params: add more test_bit() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-04	Dan Carpenter	mtag_data: add a UNIQUE constraint to the row Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-04	Dan Carpenter	strlen: add strscpy() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-04	Dan Carpenter	kernel.ignore_casted_params: add another test_bit(... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-04	Dan Carpenter	kernel.unconstant_macros: add VM_MTE, SS_ENCRYPTION... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-04	Dan Carpenter	Merge https://git.kernel.org/pub/scm/devel/sparse/sparse... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-01	Dan Carpenter	struct_assignment: handle BUF_CLEAR for base types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-30	Dan Carpenter	buf_size: handle wide strings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-30	Dan Carpenter	memcpy_overflow: ignore unsafe_memcpy() copies Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-30	Dan Carpenter	untracked_param/extra: fix handling of sscanf() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-30	Dan Carpenter	kernel.ignore_side_effects: add some macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-29	Dan Carpenter	comparison: preserve links when setting "param == param... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-27	Dan Carpenter	extra: more fake assignment/mtag fixes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-27	Dan Carpenter	points_to_host_data: differentiate between set pointer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-27	Dan Carpenter	host_data: copy estate_assigned code from user_data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-27	Dan Carpenter	user_data: fix cross function data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-27	Dan Carpenter	host_data: white space changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-23	Dan Carpenter	buf_comparison: size is basically never zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-22	Dan Carpenter	impossible: use comparison information to set impossible... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-22	Dan Carpenter	returns_negative_error_code: new module to track negative... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-22	Dan Carpenter	kernel.ignore_uninitialized: add more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-21	Dan Carpenter	memcpy_overflow: use buf comparison data to silence... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-21	Dan Carpenter	buf_comparison: ignore fake parameter assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-21	Dan Carpenter	buf_comparison: use comparison data when handling assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-21	Dan Carpenter	struct_assignment: fix crash in __struct_members_copy() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-20	Dan Carpenter	struct_assign: don't ignore unknown types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-20	Dan Carpenter	buf_comparison: fix BYTE_COUNT/ELEM_COUNT mixup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-20	Dan Carpenter	buf_comparison: don't use assigned variable so much Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-20	Dan Carpenter	user_data: track assigned states more accurately Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-14	Dan Carpenter	points_to_user_data: differentiate better from set... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-14	Dan Carpenter	refcount: leaks and inconsistent returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-10	Dan Carpenter	param_key: * and & cancel each other out Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-10	Christophe JAILLET	check_ida_alloc: Add a new check to spot invalid conversion... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-10	Dan Carpenter	points_to_user/host_data: don't insert "&$->foo" stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-09	Dan Carpenter	extra: try again to limit mtag updates Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-07	Dan Carpenter	db/kernel.delete.return_states: i2c_mux_smbus_xfer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-07	Dan Carpenter	db: do not split partially impossible returns by positive... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-07	Dan Carpenter	extra: update mtag data for faked assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-07	Dan Carpenter	kernel: ignore ->algo_data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-07	Dan Carpenter	kernel: ignore kworker->task stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-07	Dan Carpenter	kernel: ignore some regmap internals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-07	Dan Carpenter	casted_param: ignore constant_test_bit() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-07	Dan Carpenter	user_data: mark sizes as capped after a memcpy() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-01	Christophe JAILLET	check_dma_mapping_error: Remove check for pci_dma_mapping_er... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-06-01	Dan Carpenter	select_type: new check for propagating negatives to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-31	Christophe JAILLET	check_checking_for_null_instead_of_err_ptr: Save a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-31	Christophe JAILLET	check_release_resource: Remove some test about functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-31	Dan Carpenter	type: fix is_pointer() when used inside a condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-31	Dan Carpenter	type: fix a bug in get_final_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-27	Christophe JAILLET	check_freeing_devm: Report the correct function name... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-27	Christophe JAILLET	check_bogus_irqrestore: Preparation work in order to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-27	Christophe JAILLET	check_kvmalloc_NOFS: Report the correct function name... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-26	Christophe JAILLET	Remove pci_alloc_consistent() and pci_alloc_coherent... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-26	Christophe JAILLET	check_all_func_returns: Fix a test against "vfprintf" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-26	Christophe JAILLET	check_freeing_devm: Add some new devm_ function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-26	Christophe JAILLET	check_release_resource: Use INT_PTR instead of hand... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-26	Christophe JAILLET	check_freeing_devm: Also track erroneous usage of kfree... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-26	Dan Carpenter	64bit_shift: only enable this check with --spammy Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-25	Dan Carpenter	db/kernel.delete.return_states: construct_key_and_link... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-25	Dan Carpenter	db/kernel.constraints_required: add (struct usb_mixer_elem_i... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-25	Dan Carpenter	param_set: fix param_was_set() for container_of() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-25	Dan Carpenter	free_strict: use param/key API Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-25	Dan Carpenter	frees_param_strict: cleanup: use the add_return_info_callbac... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-25	Dan Carpenter	free_strict: use a function table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-25	Dan Carpenter	refcount_info: delete some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-24	Dan Carpenter	free: silence compile warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-23	Christophe JAILLET	kmalloc_wrong_size: Preparation work in order to add... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-23	Dan Carpenter	param_limit: ignore dereferences. Harder and Hackier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-23	Christophe JAILLET	test_bit: Add some more functions to test. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-23	Dan Carpenter	extra: handle more parameter dereferences Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-23	Dan Carpenter	fresh_alloc: cache DB lookup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-23	Dan Carpenter	user_data/host_data: avoid DB lookups handling fake... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-23	Christophe Jaillet	Report the correct function name that triggered the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-23	Dan Carpenter	unwind: ignore put_device() paths Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-20	Dan Carpenter	param_clear: record fewer void pointer states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-20	Dan Carpenter	rosenberg: don't store unnecessary states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-20	Dan Carpenter	param_cleared: clear pointers to pointers to unions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-20	Dan Carpenter	no_return: don't add skipped function to no_return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-20	Dan Carpenter	param_limit: try ignore dereferences harder Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-20	Dan Carpenter	param_limit: don't store some PARAM_LIMIT information... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-20	Christophe Jaillet	Update check_kvmalloc_array_zero.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-20	Christophe JAILLET	Refactor and add new functions tested by check_kvmalloc_arra... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-19	Dan Carpenter	free: create an add_free_hook() to track frees Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-19	Dan Carpenter	free_strict: don't call set_other_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-19	Dan Carpenter	free: account for precision and width format specifiers... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	flow: the END_FUNC_HOOK is no longer reachable (delete... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	scripts/test_kernel.sh: clean out stale SQL files Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	debug: always print the check name inside local_debug... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	param_set,untracked: don't record that cleared parameters... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	param_used: do not store PARAM_USED states when the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Elena Reshetova	smatch_kernel_host_data: enable additional debug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	param_used: cache the previous lookup in get_state_hook() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom