descriptionStatic analysis for C
homepage URL
last changeThu, 11 Jan 2018 13:33:57 +0000 (11 16:33 +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]]

6 days ago Dan Carpenteruser_data2: empty states are not user datamaster
6 days ago Dan Carpenterconstraints_required: improve handling of assigned...
6 days ago Dan Carpenterdb: don't split by NULL vs non-NULL when there are...
6 days ago Dan Carpenterflow: store a backup of the start time when parsing...
6 days ago Dan Carpenterhelper: change some nonsense values to other nonsense...
6 days ago Dan CarpenterDB: introduce a timeout handling caller info
6 days ago Dan Carpenteraddress: fix handling of &foo->bar
6 days ago Dan Carpentercontstraints: use caller info
6 days ago Dan Carpenterconstraints: move print_return_implies_constrained()
6 days ago Dan Carpenterconstraints: cleanup unmet_constraint()
6 days ago Dan Carpenterconstraints: fix add_constraint()
8 days ago Dan Carpentermtag: introduce create_mtag_alias()
9 days ago Dan Carpentermtag: fix get_mtag() for recorded states and for arrays
9 days ago Dan Carpenterlinks: no need to record links outside a function call
9 days ago Dan Carpentertype_val: cache DB info as a speed up
9 days ago Dan Carpenterstring_list: prevent a use after free
3 years ago 1.60
3 years ago v0.5.0 Sparse 0.5.0
4 years ago 1.59
4 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
6 years ago v0.4.4 sparse release 0.4.4
6 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
6 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
7 years ago v0.4.3 sparse 0.4.3 release
7 years ago 1.55
8 years ago 1.54
8 years ago v0.4.2 sparse 0.4.2
8 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
8 years ago 1.53
6 days ago master