descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeTue, 9 Dec 2014 10:56:45 +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
12 days ago Dan Carpenterfixup_kernel.sh: using LIMIT_VALUE instead of FILTER_VALUEmaster
12 days ago Dan Carpenterparam_limit: add comments and clarifications
12 days ago Dan Carpentertype: pointers are unsigned
13 days ago Dan Carpenterhelper: in strip_expr() "*...
13 days ago Dan Carpenterimpossible: introduce is_impossible_path() to say if...
13 days ago Dan Carpenterfunction_hooks: remove impossible return states
13 days ago Dan Carpenterfunction_hooks: improve how function assignments are...
2014-12-05 Dan Carpentertype_links: add it to check_list.h
2014-12-04 Dan Carpenterdb: use stripped expressions in get_variable_from_key()
2014-12-03 Dan Carpenterconditions: handle comma condtions
2014-12-03 Dan Carpentersmdb.py: add TYPE_LINK and UNTRACKED_DATA
2014-12-03 Dan Carpenterfunction_hooks,db: merge call_implies and return_states...
2014-12-03 Dan Carpenterfunction_hooks,db: calculate the return range based...
2014-12-02 Dan Carpenterbuf_size: update to reflect new code
2014-12-02 Dan Carpentervalidation: remove sm_redundant_check.c because we...
2014-12-01 Dan Carpentercore: introduce &ghost state
...
tags
17 months ago 1.59
22 months ago 1.57
22 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
7 years ago 0.4.1 0.4.1
7 years ago 0.4 0.4
7 years ago 0.3 0.3
8 years ago 0.2 0.2
8 years ago 0.1 0.1
heads
12 days ago master