descriptionStatic analysis for C
homepage URL
last changeMon, 25 Apr 2016 12:02:05 +0000 (25 15:02 +0300)
content tags
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]]

7 days ago Dan Carpenterranges: use signed type for negative ints less than... master
10 days ago Dan Carpenterdb/kernel.return_fixes regmap_bulk_read() returns negat...
10 days ago Dan Carpenterranges: fix a bug in rl_invert()
10 days ago Dan Carpentersval, type: make some functions inline
12 days ago Dan Carpenterimplied: fix an old implication bug
12 days ago Dan Carpenterimplied: remove unused add_pool() function
12 days ago Dan Carpenterimplied: pass sm_states instead of pools
13 days ago Dan Carpenterimplied: fix a type bug
13 days ago Dan Carpenterimplied: update some debug output
13 days ago Dan Carpenterimplied: create fake implication history
2016-04-15 Dan Carpenterstates: tweak debug output
2016-04-15 Dan Carpenterstates: print debug output in __set_true_false_sm()
2016-04-15 Dan Carpenterimplied: overwrite smatch_extra using implied states...
2016-04-14 Dan Carpenterranges, extra: move and export split_comparison_rl()
2016-04-14 Dan Carpenterslist: remove unused __set_true_false_if_not_already_set()
2016-04-14 Dan Carpenterdb: make a file kernel.return_fixes for updating return...
15 months ago 1.60
2 years ago v0.5.0 Sparse 0.5.0
2 years ago 1.59
2 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
3 years ago 1.58
3 years ago 1.57
4 years ago 1.56
4 years ago v0.4.4 sparse release 0.4.4
4 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
4 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
5 years ago v0.4.3 sparse 0.4.3 release
5 years ago 1.55
6 years ago 1.54
6 years ago v0.4.2 sparse 0.4.2
6 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
6 years ago 1.53
7 days ago master