descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeFri, 31 Jul 2015 09:45:25 +0000 (31 12:45 +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
2 days ago Dan Carpenterimplied: we have to make the false states match as... master
2 days ago Dan Carpentererr_ptr: use the actual values to silence false positives
3 days ago Dan Carpentercomparison: fix an oops
3 days ago Dan Carpenterfixup_kernel.sh: track kmalloced() vs .text data better
3 days ago Dan Carpenterextra: don't try to record the state for literals
3 days ago Dan Carpenterflow: add a ->parent member to statement structs
3 days ago Dan Carpenterranges: don't allow so many inverted ranges
3 days ago Dan Carpentertype: improve get_member_type_from_key()
3 days ago Dan Carpenterextra: handle arrays better using the chunk code
3 days ago Dan Carpentertype: make type_to_str() handle arrays better
3 days ago Dan Carpenterhelper: tiny cleanup in get_complication_score()
5 days ago Dan Carpenterimplied: fix bug handling unmatched implications
5 days ago Dan Carpenterextra: fix chunk handling a bit
5 days ago Dan Carpentervalidation: fix a test a bit
5 days ago Dan Carpenterderef_check: silence some false positives
5 days ago Dan Carpenterderef_check: remove unnecessary call to getting_address()
...
tags
6 months ago 1.60
18 months ago v0.5.0 Sparse 0.5.0
2 years ago 1.59
2 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
2 years ago 1.57
2 years ago 1.58
3 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
5 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
6 years ago 1.53
...
heads
2 days ago master