Public Git Hosting - smatch.git/search

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 Code author: Dan Carpenter 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
2022-05-18	Dan Carpenter	param_clear: smush huge unions into a single param... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	param_cleared: do not carry around tons of void pointer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	project,kernel: skip DECLARE_EVENT_CLASS stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	missing_break: delete this check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	real_absolute: avoid duplicate set_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-18	Dan Carpenter	debug: print "no states found" for empty __smatch_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-17	Dan Carpenter	param_cleared: if all the members are set then it's... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-17	Dan Carpenter	param_cleared: take zero vs clear into consideration Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-17	Dan Carpenter	param_cleared: use param_key API for inserting return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-17	Dan Carpenter	param_cleared: fix the build Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-17	Dan Carpenter	param_cleared: re-write parent_was_PARAM_CLEAR() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-17	Dan Carpenter	param_clear: Use "*$" instead of "$" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-17	Dan Carpenter	param_cleared: rename and re-order PARAM_CLEAR Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-17	Dan Carpenter	flow: fix handling of faked function assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-16	Elena Reshetova	check_spectre: Add a switch to optionally use host... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-16	Elena Reshetova	Add tracking of host/VMM data for confidential computing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-13	Dan Carpenter	flow: fix test for same types in cast_arg() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-13	Dan Carpenter	buf_size: cache database info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-13	Dan Carpenter	db: cache looking up return values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-11	Dan Carpenter	function_hooks: improve debug_db output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-11	Dan Carpenter	free: ignore %p prints more thoroughly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-11	Dan Carpenter	free: ignore more condition types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-11	Dan Carpenter	data/kernel.unconstant_macros: add sysctl_numa_balancing_mode Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-09	Dan Carpenter	conditions: set parent expression for conditional conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-09	Dan Carpenter	buf_size: delete stray newline Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-09	Dan Carpenter	kernel_user_data: set points to user data for dereferenced... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-09	Dan Carpenter	check_list: remove obsolete comment about SMATCH_EXTRA Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-09	Dan Carpenter	mtag_data: fix crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-06	Dan Carpenter	logical_instead_of_bitwise: add some more warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-06	Dan Carpenter	uninitialized: fix checking for fake calls and don... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-06	Dan Carpenter	assigned_expr: don't modify the expression until later Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-06	Dan Carpenter	rosenberg,assigned_expr: don't store pointless global... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-06	Dan Carpenter	uninitialized: fix false positive "passing uninitialized... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-06	Dan Carpenter	data/kernel.ignore_uninitialized_param: add more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-05-06	Dan Carpenter	free: don't warn about %p printing of freed pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom