descriptionStatic analysis for C
homepage URL
last changeWed, 26 Sep 2018 12:47:29 +0000 (26 15:47 +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-09-26 Dan Carpenterfunction_hooks: hack around fallout from moving the... master
2018-09-24 Dan Carpentercomparison: don't return invalid params in get_mask_com...
2018-09-20 Dan Carpenterdb: don't print "failed to open" warnings...
2018-09-20 Dan Carpenterparam_set: remove some dead code
2018-09-20 Dan Carpentermtag: temporarily disable generating mtag for kmalloc()
2018-09-20 Dan Carpenterexpressions: don't crash on invalid code
2018-09-20 Dan Carpenterextra: fix a type bug in inserting info into caller_info
2018-09-20 Dan Carpenterkernel: don't insist that the parameter is named "error"
2018-09-20 Dan Carpenterextra: export is_impossible_variable()
2018-09-20 Dan Carpenterflow: fix a crashing bug
2018-09-20 Dan Carpenterfunction_hooks: do the fake parameter assignment after...
2018-09-20 Dan Carpenterparam_limit: fix generify_mtag_range()
2018-09-20 Dan Carpenterextra: clear_pointed_at_state() is a nomod state
2018-09-20 Dan Carpenterparam_set: handle when the stack variable was modified...
2018-09-20 Dan Carpenterparse_call_math: don't say the return is equal to a...
2018-09-20 Dan Carpenterscope: fix is_outer_stmt()
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
7 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
7 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
8 years ago v0.4.3 sparse 0.4.3 release
8 years ago 1.55
8 years ago 1.54
9 years ago v0.4.2 sparse 0.4.2
9 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
9 years ago 1.53
2 weeks ago master