descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeThu, 30 Oct 2014 00:23:21 +0000
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 Carpentercomparison: oops. forgot to commit a chunk.master
2 days ago Dan Carpenter64bit_shift: find bugs like: u64 foo = 1 << x;
2 days ago Dan Carpenterauto_copy: fix a crashing bug
3 days ago Dan Carpenterprecedence: b & mask >> shift is normally a bug
4 days ago Dan Carpentershift_to_zero: fix an error message
4 days ago Dan Carpenterfree: check for passing or returning freed memory
4 days ago Dan Carpenterfree: don't turn off warnings if --spammy is set
4 days ago Dan Carpenterdb/fixup_kernel.sh: bitmap_allocate_region doesn't...
4 days ago Dan Carpenterbuf_comparison: store which data holds array limits...
4 days ago Dan Carpenterbuf_comparison, buf_size: add realloc() to allocation...
4 days ago Dan Carpentercompare: introduce get_all_comparisons()
4 days ago Dan Carpenterdb: add data_info table
10 days ago Dan Carpenterauto_copy: assignments copies states automatically
12 days ago Dan Carpenterbuf_comparison: look for off by one errors
2014-10-17 Dan CarpenterMerge branch 'devel'
2014-10-16 Dan Carpentererr_ptr_deref: error message should say "negative"...
...
tags
15 months ago 1.59
20 months ago 1.57
20 months ago 1.58
2 years ago 1.56
4 years ago 1.55
4 years ago 1.54
5 years ago 1.53
5 years ago 1.52
5 years ago 1.51
6 years ago 0.4.1 0.4.1
7 years ago 0.4 0.4
7 years ago 0.3 0.3
7 years ago 0.2 0.2
7 years ago 0.1 0.1
heads
2 days ago master