descriptionStatic analysis for C
homepage URL
last changeThu, 19 Nov 2015 05:59:01 +0000 (19 08:59 +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]]

10 days ago Dan Carpentervalidation: update some testsmaster
10 days ago Dan Carpentercomparison: remove bogus NULL check
10 days ago Dan Carpentersmatch_estate: fix clone_estate_cast()
10 days ago Dan Carpenter*new* impossible_mask: complain if people do "if (...
12 days ago Dan Carpenterextra: fix get_user() handling
12 days ago Dan Carpenterequiv: mark variables as equiv even when their types...
12 days ago Dan Carpenter*new* real_absolute: give a more accurate absolute...
2015-11-12 Dan Carpenterranges: doing division was sometimes corrupting memory
2015-11-11 Dan Carpenterhelper: clear *sym in expr_to_chunk_helper()
2015-11-11 Dan Carpenterimplied: small speed up
2015-11-11 Dan Carpenterimplied: mark some function parameters as const
2015-11-11 Dan Carpenterlocal_values: speed up, by ignoring array values
2015-11-11 Dan Carpentermath: handle strlen() of known strings
2015-11-11 Dan Carpenteruser_data2: fix crashing bug
2015-11-10 Dan Carpentermath: move to using rl_binop for XOR
2015-11-05 Dan Carpenterextra: modifications inside WARN_ON() macros should...
10 months ago 1.60
22 months ago v0.5.0 Sparse 0.5.0
2 years ago 1.59
2 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
2 years ago 1.57
2 years ago 1.58
3 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
5 years ago 1.55
5 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
6 years ago 1.53
10 days ago master