descriptionStatic analysis for C
homepage URL
last changeTue, 3 Jul 2018 15:38:40 +0000 (3 18:38 +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]]

2018-07-03 Dan Carpentercheck_user_data: mark kvm_register_read() as returning... master
2018-06-28 Dan Carpenternospec: if it's called with trusted data that's the...
2018-06-28 Dan Carpenteruser_data: don't pass *$ as user data if the struct...
2018-06-28 Dan Carpentercheck_user_data: some user data was lost at the call...
2018-06-25 Dan Carpenterdb: fix build breakage by adding the type_info schema
2018-06-25 Dan Carpenterdb: rename call_implies to return_implies
2018-06-25 Dan Carpenterdebug: improve buf size debugging
2018-06-22 Dan Carpentercheck_signed: silence some false positives copying...
2018-06-22 Dan Carpentercheck_shift_to_zero: silence some false positives
2018-06-22 Dan Carpentercheck_sizeof: fix a typo in the warning
2018-06-22 Dan Carpenterbuf_size: fix recording global sizes
2018-06-22 Dan Carpenterbuf_comparison: don't save links to literal sizes
2018-06-22 Dan Carpentercomparison: add some debug output
2018-06-22 Dan Carpenterdb: don't split NULL and non-NULL unnecessarily
2018-06-22 Dan Carpenterdb: fix a NULL dereference
2018-06-22 Dan Carpenterdb: set the CACHE_PAGES size
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
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
8 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
9 years ago 1.53
2 weeks ago master