descriptionStatic analysis for C
homepage URL
last changeWed, 12 Sep 2018 11:20:54 +0000 (12 14:20 +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]]

12 days ago Dan Carpenterparam_set: don't save if the parent is setmaster
12 days ago Dan Carpenteratomic_inc_dec: add a couple more functions
12 days ago Dan Carpentersigned_integer_overflow: ignore this for the kernel
12 days ago Dan Carpentermath: handle conditionals like: "a = b?: c;"
12 days ago Dan Carpenternospec: don't fill the DB up with garbage
13 days ago Dan Carpentersizeof: fix NULL dereference parsing invalid code
13 days ago Dan Carpenterstrings: truncating large strings causes SQL problems...
13 days ago Dan Carpentertype_val: don't double record globals
13 days ago Dan Carpentertarget: man ssize_t be unsigned long instead of unsigne...
13 days ago Dan Carpenterextra: don't reset impossible states after a condition
2018-09-10 Dan Carpenterarray: store possible array values for simple arrays
2018-09-06 Dan Carpentermtag: HACK: return false if the mtag is zero
2018-09-06 Dan Carpenterflow: fake an assign statement for global initializers
2018-09-06 Dan Carpenterflow: tweak how function timeouts happen
2018-09-06 Dan Carpenterdb: fix a type bug
2018-09-06 Dan Carpentersmatch_flow: don't parse inline functions after we...
3 years ago 1.60
4 years ago v0.5.0 Sparse 0.5.0
5 years ago 1.59
5 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
5 years ago 1.58
5 years ago 1.57
6 years ago 1.56
6 years ago v0.4.4 sparse release 0.4.4
7 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
7 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
8 years ago v0.4.3 sparse 0.4.3 release
8 years ago 1.55
8 years ago 1.54
8 years ago v0.4.2 sparse 0.4.2
9 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
9 years ago 1.53
12 days ago master