descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeWed, 1 Nov 2017 13:41:42 +0000 (1 16:41 +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-11-01 Dan Carpenterimplied: add a timeout in smatch_implied.cmaster
2017-11-01 Dan Carpenterflow: delete out of scope variables for compound statem...
2017-11-01 Dan Carpenterscope: move a check for STMT_COMPOUND earlier
2017-10-31 Dan Carpentervalidation/sm_casts.c: update to not use an unintialize...
2017-10-31 Dan Carpenterrevert "smatch_type.c: comparison expressions always...
2017-10-31 Dan Carpentervalidation/sm_buf_size6.c: update format
2017-10-31 Dan Carpenterparse: make an array larger
2017-10-31 Dan Carpenterhelper: fix get_array_expr()
2017-10-31 Dan Carpenterassigned_expr: save a record when a function sets foo...
2017-10-31 Dan Carpentermodification_hooks: handle PARAM_SET earlier
2017-10-31 Dan Carpenter.gitignore: ignore .smatch, .smatch.sql and .smatch...
2017-10-31 Dan Carpenterconstraints: add a comment, remove debug code
2017-10-31 Dan Carpenterconstraints_required: store more required constraints
2017-10-31 Dan Carpentercall_math: add kzalloc() to the list of allocation...
2017-10-31 Dan Carpentercall_math: prevent an endless loop
2017-10-31 Dan Carpenterallocation_funcs: add __alloc_skb()
...
tags
2 years ago 1.60
3 years ago v0.5.0 Sparse 0.5.0
4 years ago 1.59
4 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
6 years ago v0.4.4 sparse release 0.4.4
6 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
6 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
7 years ago v0.4.3 sparse 0.4.3 release
7 years ago 1.55
7 years ago 1.54
8 years ago v0.4.2 sparse 0.4.2
8 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
8 years ago 1.53
...
heads
2 weeks ago master