Public Git Hosting - smatch.git/summary

repo.or.cz / smatch.git / summary

summary | log | graphiclog | commit | commitdiff | tree | edit | fork

description	Static analysis for C
homepage URL	http://smatch.sf.net
owner	error27@gmail.com
last change	Mon, 13 May 2013 08:22:35 +0000
URL	git://repo.or.cz/smatch.git
	http://repo.or.cz/r/smatch.git
Push URL	ssh://repo.or.cz/srv/git/smatch.git
Content tags: Add:	C

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]

8 days ago	Dan Carpenter	extra: add set_extra_nodmod() to smatch_extra.h master	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
11 days ago	Dan Carpenter	deref: fix segfault parsing invalid c code	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
12 days ago	Dan Carpenter	implied: preserve equivalence across switch statements	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
12 days ago	Dan Carpenter	math: handle sizeof for zero size bitfields	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
12 days ago	Dan Carpenter	extra: handle previously assigned simple math	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Dan Carpenter	extra: handle "if (a - 3 > 100) "	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Dan Carpenter	extra: split match_comparison() into two functions	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Dan Carpenter	capped: known values are always capped	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
13 days ago	Dan Carpenter	Revert "sparse: introduce get_expression_value_nomod()"	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2013-04-20	Dan Carpenter	show_unreachable.sh: add some more ignored kernel functions	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2013-04-20	Dan Carpenter	flow: don't print duplicate "unreachable code" warnings	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2013-04-20	Dan Carpenter	db: replace database info scripts with smdb.py	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2013-04-19	Dan Carpenter	show_unreachable.sh: change the line number format	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2013-04-19	Dan Carpenter	show_unreachable.sh: replace tabs with spaces	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2013-04-18	Dan Carpenter	db: kernel: fake up ->read/write() limits	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2013-04-17	Dan Carpenter	db: store "too common" functions in the database	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

3 months ago	1.57			\| commit \| log
3 months ago	1.58			\| commit \| log
14 months ago	1.56			\| commit \| log
2 years ago	1.55			\| commit \| log
3 years ago	1.54			\| commit \| log
3 years ago	1.53			\| commit \| log
4 years ago	1.52			\| commit \| log
4 years ago	1.51			\| commit \| log
5 years ago	0.4.1	0.4.1	tag	\| commit \| log
5 years ago	0.4	0.4	tag	\| commit \| log
6 years ago	0.3	0.3	tag	\| commit \| log
6 years ago	0.2	0.2	tag	\| commit \| log
6 years ago	0.1	0.1	tag	\| commit \| log

8 days ago

Static analysis for C