descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeMon, 25 Apr 2016 12:02:05 +0000 (25 15:02 +0300)
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!

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

shortlog
2016-04-25 Dan Carpenterranges: use signed type for negative ints less than... master
2016-04-22 Dan Carpenterdb/kernel.return_fixes regmap_bulk_read() returns negat...
2016-04-22 Dan Carpenterranges: fix a bug in rl_invert()
2016-04-22 Dan Carpentersval, type: make some functions inline
2016-04-20 Dan Carpenterimplied: fix an old implication bug
2016-04-20 Dan Carpenterimplied: remove unused add_pool() function
2016-04-20 Dan Carpenterimplied: pass sm_states instead of pools
2016-04-19 Dan Carpenterimplied: fix a type bug
2016-04-19 Dan Carpenterimplied: update some debug output
2016-04-19 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...
...
tags
16 months ago 1.60
2 years ago v0.5.0 Sparse 0.5.0
2 years ago 1.59
3 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
6 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
...
heads
4 weeks ago master