descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeFri, 10 Feb 2017 13:44:43 +0000 (10 16:44 +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
2017-02-10 Dan Carpenterbuf_size: fix type_bytes()master
2017-02-10 Dan Carpenterdb: filter pointer calls by function signatures
2017-01-27 Dan Carpenterimplied: revert "tiny speed up"
2017-01-27 Dan Carpenterassign_vs_compare: warn about "if (foo = &bar) "
2017-01-27 Dan Carpentertype: fix type_bits() for arrays
2017-01-27 Dan Carpentershift_to_zero: do a small clean up
2017-01-27 Dan Carpentersmatch.c: remove a blank line
2017-01-27 Dan Carpenterdb: split return states by null vs non-null parameter
2017-01-27 Dan Carpenterextra: filter PARAM_VALUEs with both extra and real_abs...
2017-01-27 Dan Carpentermath: handle -foo better
2017-01-27 Dan Carpenterhelper: introduce get struct and member
2017-01-27 Dan Carpenterimplied: tiny speed up
2017-01-27 Dan Carpenterimplied: small cleanup
2017-01-27 Dan Carpenterranges: handle bitwise AND operations better
2017-01-27 Dan Carpenterreal_absolute: introduce get_real_absolute_var_sym()
2017-01-27 Dan Carpenteravl: add a short cut for when there are no states
...
tags
2 years ago 1.60
3 years ago v0.5.0 Sparse 0.5.0
3 years ago 1.59
3 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
4 years ago 1.58
4 years ago 1.57
5 years ago 1.56
5 years ago v0.4.4 sparse release 0.4.4
5 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
5 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
6 years ago v0.4.3 sparse 0.4.3 release
6 years ago 1.55
7 years ago 1.54
7 years ago v0.4.2 sparse 0.4.2
7 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
7 years ago 1.53
...
heads
5 weeks ago master