descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeThu, 25 Jan 2018 14:36:29 +0000 (25 17:36 +0300)
content tags
add:
readme
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] vger.kernel.org]

shortlog
2018-01-25 Dan Carpenterrosenberg: fix a crashing bugmaster
2018-01-25 Dan Carpenteruser_data2: do a hack around in the pre_merge_hook()
2018-01-25 Dan Carpenterconstraints: handle conditions like "if (8 < x) {"
2018-01-25 Dan Carpenterexpr_to_chunk_helper: set *sym when there is only one...
2018-01-25 Dan Carpenterslist: allow show_sm() to accept NULL pointers
2018-01-25 Dan Carpenterflow: don't fake an impossible default
2018-01-25 Dan Carpentertype_val: record fewer "unknown" assignments
2018-01-25 Dan Carpenterflow: set loop_count to zero when parsing inline functions
2018-01-25 Dan Carpentercore: silence some false positives from parsing invalid...
2018-01-19 Dan Carpenterimplied: use a time based timeout instead of counting...
2018-01-19 Dan Carpenterextra: handle loops like: while (--i >= 0) {
2018-01-18 Dan Carpenterfunction_hooks: fake an assignment when functions retur...
2018-01-18 Dan Carpentercheck_free_strict: New stricter cross function use...
2018-01-17 Dan Carpentercheck_atomic_inc_dec: track atomic_inc() and atomic_dec()
2018-01-17 Dan Carpenterassigned_expr: handle fake assignments better
2018-01-17 Dan Carpenterassigned_expr: remove debug code
...
tags
3 years ago 1.60
4 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
5 years ago 1.58
5 years ago 1.57
5 years ago 1.56
6 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
8 years ago 1.54
8 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
...
heads
3 weeks ago master