descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeWed, 17 Sep 2014 10:31:16 +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 Carpentererr_ptr_deref: passing an ERR_PTR to kfree() is a bugmaster
4 days ago Dan Carpenterextra: handle merging NULL pointers better
6 days ago Dan Carpenterextra: addresses of arrays are non-NULL
6 days ago Dan Carpenterdb: remove bogus parameter information from hook type...
6 days ago Dan Carpenterdb: add a new table which hold parameter types
10 days ago Dan Carpentertype: introduce type_to_str()
12 days ago Dan Carpenterlocking: remove some duplicate "sometimes locked" warnings
2014-09-04 Dan Carpentergenerisize.pl: filter some more stuff
2014-09-04 Dan Carpentergeneresize.pl: cleanup indentation
2014-09-04 Dan Carpenterranges: a pointer to an array is just a pointer
2014-08-29 Dan Carpenterextra: record global declarations
2014-08-29 Dan Carpenterconditions: update some debug output.
2014-08-29 Dan Carpentercomparison: introduce possible_comparison()
2014-08-29 Dan Carpenterextra: update a debug statement
2014-08-29 Dan Carpenterfunction_ptrs: track functions which return a function...
2014-08-29 Dan Carpentershow_errs.sh: quote some strings properly
...
tags
14 months ago 1.59
19 months ago 1.57
19 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
4 days ago master