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	Tue, 16 Mar 2010 07:02:25 +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!

21 hours ago	Dan Carpenter	math: cleanup. separate handle_preop() into it's own... master	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
30 hours ago	Dan Carpenter	equiv: fix crashing bug introduced in 8c358883a	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
31 hours ago	Dan Carpenter	Create separate smatch_math.c file	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
31 hours ago	Dan Carpenter	update smatch_data/ for 2.6.34-rc1	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
32 hours ago	Dan Carpenter	implied: clean up make a separate handle_zero_compariso...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
33 hours ago	Dan Carpenter	equiv: handle comparisons with zero	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
33 hours ago	Dan Carpenter	equiv: cleanup separate set_extra_true_false() into...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
46 hours ago	Dan Carpenter	equiv, implied: fix handling borrowed implications	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Dan Carpenter	implied: don't update the equivelent states	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Dan Carpenter	rm validation/smatch_closet/	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2 days ago	Dan Carpenter	equiv: don't overwrite the implication information	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	rename __set_state() => __set_sm()	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	rename clone_state() => clone_sm()	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	equiv: preserve ->equiv across merges	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	Use the equivalent variable code	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
3 days ago	Dan Carpenter	remove trackers from ->equiv when they are no long...	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

21 hours ago

Static analysis for C