descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeMon, 14 Apr 2014 09:57:36 +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
4 days ago Dan Carpenterdb: function with too many pointers to it cause slow... master
6 days ago Dan Carpenterdb: rename db_callback to caller_info_callback
8 days ago Dan Carpenterpropagate: delete this test
8 days ago Dan Carpenterstored_conditions: don't store constants
8 days ago Dan CarpenterMerge git://git./devel/sparse/chrisl/sparse into merge
2014-04-03 Linus TorvaldsFix error at anoymous unions
2014-04-03 Hans VerkuilAdd test case for the ioc type check
2014-04-03 Hans VerkuilAdd test case for anonymous union initializer
2014-04-03 Hans VerkuilAdd test case for extern array
2014-04-01 Linus TorvaldsUse any previous initializer to size a symbol
2014-04-01 Linus TorvaldsAdd warning about duplicate initializers
2014-04-01 John KeepingSupport GCC's transparent unions
2014-04-01 John Keepingevaluate: split out implementation of compatible_assign...
2014-04-01 John Keepingvalidation/sizeof-bool: fix broken test case
2014-03-07 Dan Carpenterstates: add another read_only check
2014-03-07 Dan Carpentermissing_break: use fewer states
...
tags
9 months ago 1.59
14 months ago 1.57
14 months ago 1.58
2 years ago 1.56
3 years ago 1.55
4 years ago 1.54
4 years ago 1.53
5 years ago 1.52
5 years ago 1.51
6 years ago 0.4.1 0.4.1
6 years ago 0.4 0.4
6 years ago 0.3 0.3
7 years ago 0.2 0.2
7 years ago 0.1 0.1
heads
4 days ago master