descriptionStatic analysis for C
homepage URL
last changeTue, 23 May 2017 08:49:48 +0000 (23 11:49 +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 Carpenterdb: fix some uninitialized variable bugsmaster
6 days ago Dan Carpenterflow: store __next/cur/prev_stmt before parsing inline...
6 days ago Dan Carpenterflow: cleanup state backup for inline functions
6 days ago Dan Carpentermath: tweak how impossible states are handled
6 days ago Dan Carpenterranges: make sval_too_big() more accurate
6 days ago Dan Carpenterkernel: ERR_PTR() basically only returns negatives...
6 days ago Dan Carpenterextra: don't overwrite the implications for useless...
10 days ago Dan Carpenterdb: fix a type issue
11 days ago Dan Carpentertype_val: cast assignments to the correct type
12 days ago Sami KerolaMakefile: remove SMATCH_DATA smatch_data/kernel.balance...
12 days ago Dan Carpenterhelper: fix get_member_name() handling of unions
12 days ago Dan Carpenterreturn_to_param: long to short should never return...
12 days ago Dan Carpenterslist: reverse the slist order in a way that no one...
13 days ago Dan Carpenterextra: make set_extra_mod_helper() void and static
13 days ago Dan Carpenterextra: make set_extra_mod() a void function
13 days ago Dan Carpenterextra: make set_extra_expr_mod() a void function
2 years ago 1.60
3 years ago v0.5.0 Sparse 0.5.0
3 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
5 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
5 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
6 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
7 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
8 years ago 1.53
6 days ago master