descriptionStatic analysis for C
homepage URL
last changeWed, 13 Sep 2017 22:12:52 +0000 (14 01:12 +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]]

12 days ago Dan Carpentertype_val: fix a type bug parsing global assignmentsmaster
12 days ago Dan Carpentertype_val: clean up DB code to not use globals
12 days ago Dan Carpentercheck_list: move db_call_marker to the start of the...
13 days ago Dan Carpentercheck_deref: ignore pointers if we assign their address...
13 days ago Dan Carpenterranges: fix a bug handling casting in sval_too_big()
13 days ago Dan Carpenteruser_data2, db: fix changing the returned states to...
13 days ago Dan Carpenteruser_data2: delete a debug statement
13 days ago Dan Carpenterdebug: introduce __smatch_rl()
13 days ago Dan Carpentermath: ranges: do subtraction handling in rl_binop()
13 days ago Dan Carpenterranges: allow rl_binop() to return NULL
2017-09-11 Dan Carpenteruser_data2: store in the database if a function returns...
2017-09-11 Dan Carpenteruser_data2: points_to_user_data() is true for skb-...
2017-09-11 Dan Carpenteruser_data2: use the extra_nomod_hooks
2017-09-11 Dan Carpenterextra: add extra_nomod_hooks
2017-09-11 Dan Carpenterdebug: add __smatch_exit() which halts parsing
2017-09-11 Dan Carpenterparam_set: don't ignore "fake" modifications
2 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
5 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
7 years ago 1.54
7 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
12 days ago master