descriptionStatic analysis for C
homepage URL
last changeThu, 15 Jan 2015 11:52:05 +0000
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]]

2015-01-15 Dan Carpenterslist: fix "stack not empty" errorsmaster
2015-01-12 Dan Carpentersilence: add __read_once_size() to kernel.silenced_func...
2015-01-09 Dan Carpentercomparison: handle preops like "if (++a == b)"1.60
2015-01-09 Dan Carpenterflow: don't inline functions which are over 20 lines...
2015-01-09 Dan Carpenterfunction_ptrs: handle SYN_NODE
2015-01-09 Dan Carpenterhelper: improve get_member_name()
2015-01-09 Dan Carpenteruser_data2: start re-write of user_data (not used yet)
2015-01-09 Dan Carpentermath: introduce custom_get_absolute_rl()
2015-01-09 Dan Carpenterdb: improve mem-db debugging
2015-01-09 Dan Carpenterdb: member_info callback should pass the sm_state inste...
2015-01-09 Dan Carpentersmatch.h: silence some compile warnings
2015-01-09 Dan Carpenterfree: bring back the double free warnings
2015-01-09 Dan Carpenterextra, filter: FILTER_VALUE is not a modification action
2015-01-09 Dan Carpenterparam_filter: total re-write with bugfixes
2015-01-09 Dan Carpenterextra: improve parent_is_null_var_sym()
2015-01-09 Dan Carpenterdb, function_hooks: cull impossible paths on function...
3 weeks ago 1.60
12 months ago v0.5.0 Sparse 0.5.0
18 months ago 1.59
20 months ago v0.4.5-rc1 Sparse 0.4.5-rc1
23 months ago 1.57
23 months ago 1.58
2 years ago 1.56
3 years ago v0.4.4 sparse release 0.4.4
3 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
3 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
4 years ago v0.4.3 sparse 0.4.3 release
4 years ago 1.55
5 years ago 1.54
5 years ago v0.4.2 sparse 0.4.2
5 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
5 years ago 1.53
2 weeks ago master