descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeWed, 12 Apr 2017 09:02:43 +0000 (12 12:02 +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
2017-04-12 Dmitry Monakhovtest_kernel.sh: add config optionsmaster
2017-04-12 Dmitry MonakhovMakefile: Install scripts to /usr/share/smatch/smatch_s...
2017-04-12 Dmitry MonakhovMakefile: make install prefix configurable
2017-04-11 Dan Carpenterparameter_names: store parameter names in the DB
2017-04-11 Dan Carpentersmdb.py: reformat call_info output
2017-04-11 Dan CarpenterMakefile: use quiet link to link smatch
2017-04-11 Dan Carpenterstates: fix handling switches inside conditions (fake_c...
2017-04-11 Dan Carpenterstates: split update_fake_stree_with_merged() and add...
2017-04-11 Dan Carpentertype_val: small tweak for arrays and complicated lvalues
2017-04-11 Dan Carpenterextra: handle indirection like "p = &foo; *p = 42;"
2017-03-29 Dan Carpenterextra: handle MOD conditions like "if (a % 4) {" better
2017-03-29 Dan Carpentermodification_hooks: remove unused indirect modification...
2017-03-17 Dan Carpentervalidation/skb3: delete some accidental debug code
2017-03-16 Dan Carpenteruser_data2: don't set parameters to user_data
2017-03-16 Dan Carpenteruser_data2: handle skb->data math a little better
2017-03-16 Dan Carpenteruser_data2: re-work handling of skb->data
...
tags
2 years ago 1.60
3 years ago v0.5.0 Sparse 0.5.0
3 years ago 1.59
3 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
4 years ago 1.58
4 years ago 1.57
5 years ago 1.56
5 years ago v0.4.4 sparse release 0.4.4
5 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
5 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
6 years ago v0.4.3 sparse 0.4.3 release
6 years ago 1.55
7 years ago 1.54
7 years ago v0.4.2 sparse 0.4.2
7 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
7 years ago 1.53
...
heads
2 weeks ago master