descriptionStatic analysis for C
homepage URL
last changeFri, 24 Jun 2016 11:06:10 +0000 (24 14:06 +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]]

30 hours ago Dan Carpenteravl: make get_stree_id() return -1 if the stree pointer... master
30 hours ago Dan Carpenterimplied: handle ->implied states differently
32 hours ago Dan Carpenterslist, implied: preserve the entire cur_stree in the...
32 hours ago Dan Carpenterimplied: fix a bug where we imply the wrong thing
32 hours ago Dan Carpenterimplied: remove an indent level
32 hours ago Dan Carpenterimplied: change debug output
8 days ago Dan Carpenterextra: ignore truncated limits
9 days ago Dan Carpenterflow: handle asm gotos
9 days ago Dan Carpenterdb: split on boolean parameter
9 days ago Dan Carpenterstruct_assignment: handle pointers better
9 days ago Dan Carpenterfunction_hooks: hack around invalid input from the DB
9 days ago Dan Carpenterfunction_hooks: fix the previous range hooks fix again
11 days ago Dan Carpenterflow: set ->parent for expression statements
11 days ago Dan Carpenterhelper, untracked_param: move the int_stack to smatch_h...
11 days ago Dan Carpenterranges: fix casting to bool
11 days ago Dan Carpenterflow: set position at the start of the function correctly
17 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
7 years ago 1.53
30 hours ago master