descriptionStatic analysis for C
homepage URL
last changeMon, 18 Feb 2019 19:17:17 +0000 (18 22:17 +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]]

2 days ago Dan Carpenternospec: use statement count to mark things as nospecmaster
2 days ago Dan Carpenternospec: preempt_disable() stops speculation
2 days ago Dan Carpenterbuf_size: improve calloc() handling
2 days ago Dan parse ptr_max
2 days ago Dan Carpenteroff_by_one_relative: remove some debug code
2 days ago Dan Carpenterextra: in PARAM_LIMIT/FILER then set both the name...
2 days ago Dan Carpenterzero_to_err_ptr: don't warn on impossible paths
5 days ago Dan Carpenterestate: delete estate_filter_range/sval()
5 days ago Dan Carpenterkernel: fix type bug handle IS_ERR() and friends
7 days ago Dan Carpenterdb: don't pretend to dereference integers
7 days ago Dan Carpentertesting_index_after_use: remove debug code
8 days ago Dan Carpentercapped: don't set capped for known values
8 days ago Dan Carpenterextra: tweak hard max in conditions and macros
8 days ago Dan Carpenterextra: pass hard max across function boundaries
8 days ago Dan Carpenterdb: split zero and non-zero returns
8 days ago Dan Carpenterimplied: remove some dead code
4 years ago 1.60
5 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
6 years ago 1.58
6 years ago 1.57
6 years ago 1.56
7 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
9 years ago 1.54
9 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
2 days ago master