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]]

2017-05-23 Dan Carpenterdb: fix some uninitialized variable bugsmaster
2017-05-23 Dan Carpenterflow: store __next/cur/prev_stmt before parsing inline...
2017-05-23 Dan Carpenterflow: cleanup state backup for inline functions
2017-05-23 Dan Carpentermath: tweak how impossible states are handled
2017-05-23 Dan Carpenterranges: make sval_too_big() more accurate
2017-05-23 Dan Carpenterkernel: ERR_PTR() basically only returns negatives...
2017-05-23 Dan Carpenterextra: don't overwrite the implications for useless...
2017-05-19 Dan Carpenterdb: fix a type issue
2017-05-18 Dan Carpentertype_val: cast assignments to the correct type
2017-05-17 Sami KerolaMakefile: remove SMATCH_DATA smatch_data/kernel.balance...
2017-05-17 Dan Carpenterhelper: fix get_member_name() handling of unions
2017-05-17 Dan Carpenterreturn_to_param: long to short should never return...
2017-05-17 Dan Carpenterslist: reverse the slist order in a way that no one...
2017-05-16 Dan Carpenterextra: make set_extra_mod_helper() void and static
2017-05-16 Dan Carpenterextra: make set_extra_mod() a void function
2017-05-16 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
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
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
2 months ago master