Public Git Hosting - smatch.git/search

2022-08-03	Dan Carpenter	flow: fix parsing known switch statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-02	Dan Carpenter	sleep_info/kvmalloc_NOFS: update to latest code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-02	Dan Carpenter	allocation_funcs: use the add_allocation_hook() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-02	Dan Carpenter	allocation_funcs: handle inline functions better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-02	Dan Carpenter	free_param_strict: use param key code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-02	Dan Carpenter	real_absolute: clear out old states for unknown assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-25	Dan Carpenter	locking : intel_context_timeline_lock() can be nested Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-19	Dan Carpenter	zero_to_err_ptr: silence select assign false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-19	Dan Carpenter	flow: add a POSTLOOP_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-07-13	Dan Carpenter	kernel_printf: update __iwl_err() info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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	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	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	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-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	Dan Carpenter	param_limit: ignore dereferences. Harder and Hackier 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	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-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	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
next

Static analysis for C

RSS Atom