Public Git Hosting - smatch.git/summary

description	Static analysis for C
homepage URL	http://smatch.sf.net
owner	error27@gmail.com
last change	Thu, 18 Dec 2025 11:20:19 +0000 (18 14:20 +0300)
URL	git://repo.or.cz/smatch.git
	https://repo.or.cz/smatch.git
push URL	ssh://repo.or.cz/smatch.git
	https://repo.or.cz/smatch.git ^{(learn more)}
bundle info	smatch.git downloadable bundles
content tags add:	C gbdbdbfdbdfbdbfdfbd gbdbdbfdbdfbdbfdfbdfdg gbdbdbfdbdfbdbfdfbdfdgfg gbdbdbfdbdfbdbfdfbdfdgfgg smatch

readme

Smatch is a static analysis tool for C. Most of the checks are for the linux kernel. Please write checks for your project. It's fun and easy!

There is a mailing list [smatch [at] vger.kernel.org]

24 hours ago	Dan Carpenter	kernel: add some more once_through macrosmaster	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
25 hours ago	Dan Carpenter	sm_equiv4: fix validation test	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Dan Carpenter	flow: handle foo[i++] = a ? b : c;	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	comparison: handle "a = b - 1"	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	extra: uninitialized variable in used_param_value_info()	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Harshit Mogalapalli	smatch_scripts: Fix incomplete quoting in kchecker...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Dan Carpenter	conditions: handle conditions like "if ((x - y) !=...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Dan Carpenter	extra: fix a bug incrementing unsigned zeros	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Dan Carpenter	function_hooks: add some comments	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Dan Carpenter	helper: Add a NULL check	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Dan Carpenter	math: delete debug code	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Dan Carpenter	refcount_info: add support for find_process()	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
7 days ago	Dan Carpenter	type: update to handle typeof_unqual()	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
9 days ago	Amit Dhingra	smdb.py : Add depth option to call_tree	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2025-12-04	Dan Carpenter	kernel_rcu_assign_pointer: handle this assignment	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2025-12-03	Dan Carpenter	assigned_expr: fix validation test	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

3 years ago	1.73			\| commit \| log
4 years ago	1.72			\| commit \| log
4 years ago	1.71			\| commit \| log
4 years ago	1.70			\| commit \| log
10 years ago	1.60			\| commit \| log
11 years ago	v0.5.0	Sparse 0.5.0	tag	\| commit \| log
12 years ago	1.59			\| commit \| log
12 years ago	v0.4.5-rc1	Sparse 0.4.5-rc1	tag	\| commit \| log
12 years ago	1.58			\| commit \| log
12 years ago	1.57			\| commit \| log
13 years ago	1.56			\| commit \| log
14 years ago	v0.4.4	sparse release 0.4.4	tag	\| commit \| log
14 years ago	v0.4.4-rc2	Sparse 0.4.4-rc2	tag	\| commit \| log
14 years ago	v0.4.4-rc1	Sparse 0.4.4-rc1	tag	\| commit \| log
15 years ago	v0.4.3	sparse 0.4.3 release	tag	\| commit \| log
15 years ago	1.55			\| commit \| log
...

24 hours ago

master

log | tree

Cached version (5586s old)

smatch/bkmgit.git

benson_muite@emailplus.org

2 years ago

summary | log | tree

Static analysis for C

RSS Atom