Public Git Hosting - smatch.git/search

2023-02-08	Dan Carpenter	expressions: fix a -> vs . bug in gen_expression_from_key() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	extra: pass a different mod_expr for vanilla assignments Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	buf_comparison: add support for struct_size() array Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	hooks: commit some missing bits Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	helper: 0-s32max returns are success Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	helper: add a strip_parens() in get_member_name() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	kernel_host_data: ignore nonsense information Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	db/clear_user_data: clean user data more thoroughly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	kernel_user_data: ignore nonsense data Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	kernel_user_data: add some more functions that return... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-08	Dan Carpenter	function_hooks: create fake_param_assign_helper() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-07	Dan Carpenter	preempt_info: add rht_lock and bit_spin_lock Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-07	Dan Carpenter	scheduling_in_atomic: Add mas_store_gfp() as a special... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-07	Dan Carpenter	dma_mapping_error: delete obsolete check Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-07	Dan Carpenter	direct_return_instead_of_goto: don't warn about printk... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-06	Dan Carpenter	sleep_info: handle mutexes correctly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-02	Dan Carpenter	expressions: handle a case in gen_expression_from_key() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-02-02	Dan Carpenter	db: improve recording when we return a parameter Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-01-19	Dan Carpenter	kernel_user_data: iov_iter_count() returns user data Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-01-18	Dan Carpenter	param_key: export the split_param_key() function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2023-01-12	Dan Carpenter	free_strict: don't promote "maybe_freed" to "freed... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-13	Dan Carpenter	function_hooks: use the correct expression Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-09	Dan Carpenter	debug: print the param key of a variable Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-08	Dan Carpenter	generisize.pl: remove the function name from "too small... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-08	Dan Carpenter	frees_param_strict: handle assigned parameters Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-07	Dan Carpenter	buf_size: small clean up Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-12-06	Dan Carpenter	kernel.ignore_side_effects: ignore memcpy/move/set Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	math: do another strlen fix Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	strlen: add __builtin and __fortify functions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	struct_assignment: add __builtin_memset/memcpy() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	param_clear: add __builtin_memset/memcpy Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-29	Dan Carpenter	postop_timeout: warn about incorrect while (timeout... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-28	Dan Carpenter	unchecked_allocation: warn about potential NULL dereferences Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	goto_tracker: still doesn't build Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	goto_tracker: create a goto state for goto statements Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	smatch.h: export __smatch_lineno Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	kernel: add handling for kref_put() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	kernel_user_data: clean up variable in tag_struct_members() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	kernel_user_data: introduce a param/key table Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	missing_error_code2: warn about return ret where ret... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	missing_error_code: cleanup s/yup/true/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-25	Dan Carpenter	missing_error_code: fix bug handling inlines Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-24	Dan Carpenter	direct_return_instead_of_goto: warn about missing unwinds Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-24	Dan Carpenter	divide_condition: warn about if (foo / 4) { Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-23	Dan Carpenter	function_hooks: do set_fresh_mtag_returns() later Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2022-11-10	Dan Carpenter	type: export is_void_ptr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-10	Dan Carpenter	free_strict: add qdisc_enqueue() as a free function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-10	Dan Carpenter	release_resource: add allocate_resource() as a request... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-07	Dan Carpenter	db: add a NULL check in is_kernel_success_fail() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-03	Dan Carpenter	data/kernel.unreachable.ignore: add put_user() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-11-02	Dan Carpenter	assigned: strip some assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-27	Dan Carpenter	unreachable: ignore outb outw and outl Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	comparison: use COMPARE_LIMIT Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	db: get rid of RELEASE_OLD Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	fixup_kernel.sh: update to use hashed file names Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	type: get type from _Generic() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-25	Dan Carpenter	sm_hash: remove incorrect "0x" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-21	Dan Carpenter	flow: fix ordering for STMT_HOOK_AFTER wrt labels Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-21	Dan Carpenter	function_hooks: fix an ordering issue in add_function_param_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-11	Dan Carpenter	sm_hash: move the sm_hash program to smatch_data/db/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-11	Dan Carpenter	smatch: clean up num_checks counting Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-11	Dan Carpenter	comparison: be smarter about "foo vs foo - 1" comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-11	Dan Carpenter	comparison: delete unnecessary code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-10	Dan Carpenter	buf_comparison: check the correct variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-10	Dan Carpenter	buf_size: use 0 for the extern file id Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-10	Dan Carpenter	buf_size: use file id instead of file name Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-07	Dan Carpenter	zero_to_err_ptr: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-07	Dan Carpenter	db: use NULL instead of zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-07	Dan Carpenter	conditions: delete pointless debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-07	Dan Carpenter	flow: set a flag insidehandle_builtin_overflow_func() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-07	Dan Carpenter	helper: -EIOCBQUEUED is not an error. It is a success... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-07	Dan Carpenter	hooks: add a warning to detect unimplemented hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-07	Dan Carpenter	buf_comparison: add special case for byte size elements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-06	Dan Carpenter	sm_hash: create a binary to generate hashes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-06	Dan Carpenter	db/smdb.py: display the file name and not the hash Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-06	Dan Carpenter	mtag: make hashes non negative (clear BIT(63)) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-06	Dan Carpenter	db/hash_string.schema: only the hash needs to be unique Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-06	Dan Carpenter	db: white space changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-06	Dan Carpenter	db: prevent crash parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-06	Dan Carpenter	db: delete temporary hack for v2.6.37-rc1 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-06	Dan Carpenter	db: use hashes instead of file names Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-05	Dan Carpenter	mtag: introduce str_to_llu_hash() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-05	Dan Carpenter	mtag: switch to sha1 hashes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-03	Elena Reshetova	check_host_input: add a new pattern Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-10-03	Elena Reshetova	host_data: export checking for host function name/param Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-29	Dan Carpenter	helper: export strip_Generic() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-26	Dan Carpenter	kernel.unconstant_macros: add AZX_DCAPS_I915_COMPONENT Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-22	Dan Carpenter	extra: don't over write previous if statements because... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-22	Dan Carpenter	db/kernel.return_fixes: random small error codes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-22	Dan Carpenter	flow: strip out parentheses before faking a return Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-20	Dan Carpenter	user/host_data: assume capped data is less than INT_MAX Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-20	Dan Carpenter	smatch: delete pointless NULL checks (silence GCC) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-20	Dan Carpenter	constants: fix build (part of commit missing) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-06	Dan Carpenter	kernel_host_data: add (struct virtio_config_ops)->get Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-09-06	Dan Carpenter	function_hooks: let check register call backs on function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-26	Dan Carpenter	extra: handle PARAM_SET for buffers better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-26	Dan Carpenter	flow: add support for _Generic() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-26	Dan Carpenter	helper: make strip_parens_symbol() strip everything... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-26	Dan Carpenter	common_functions: fix strnlen() handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2022-08-26	Christophe JAILLET	allocation: Add some kv... variants Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom