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	Wed, 10 Mar 2010 08:11:22 +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:

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!

19 hours ago	Dan Carpenter	update validation/sm_casts2.c master	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
20 hours ago	Dan Carpenter	new smatch_scripts/show_errs.sh	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
20 hours ago	Dan Carpenter	new smatch_scripts/whitespase_only.sh	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
20 hours ago	Dan Carpenter	add -no-lineno option to sparse	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
20 hours ago	Dan Carpenter	validation/sm_redundant_check.c now it's "info" not...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
20 hours ago	Dan Carpenter	check_precedence: print one warning message instead...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
21 hours ago	Dan Carpenter	check_signed: handle unsigned 64 bit variables better	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
32 hours ago	Dan Carpenter	get_value() handle some more math operations	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Dan Carpenter	make redundant null checks before kfree() an "info...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Dan Carpenter	check_signed: Eliminate some false positives	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Dan Carpenter	precedence: check for && vs &	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	implications: improve handling of comparisons with...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	use implications from POSTOPs	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	conditions: parse EXPR_POSTOPs after evaluating the...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	check_overflow: remove false positives caused by printk...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	flow: improve handling of while(i--) { loops	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

2 months ago	1.54			\| commit \| log
9 months ago	1.53			\| commit \| log
10 months ago	1.52			\| commit \| log
12 months ago	1.51			\| commit \| log
2 years ago	0.4.1	0.4.1	tag	\| commit \| log
2 years ago	0.4	0.4	tag	\| commit \| log
2 years ago	0.3	0.3	tag	\| commit \| log
3 years ago	0.2	0.2	tag	\| commit \| log
3 years ago	0.1	0.1	tag	\| commit \| log

19 hours ago

Static analysis for C