descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeWed, 3 Mar 2021 10:32:56 +0000 (3 13:32 +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
2021-03-03 Dan Carpenterreturn_efault: silence some false positivesmaster
2021-03-03 Dan Carpenterkernel_printf: add %4cc format
2021-03-03 Dan Carpenterfree_strict: take a short cut in unmatched_state()...
2021-03-03 Dan Carpenterfree_strict: add mempool_free()
2021-03-03 Dan Carpentererr_ptr_deref: use shared err_min/max constants
2021-03-03 Dan Carpenterrosenberg: silence some false positives
2021-03-03 Dan Carpenterconstants: add ptr_err_min, ptr_err_max and ptr_null
2021-03-03 Dan Carpenterequiv: don't mess with equiv in faked environments
2021-03-03 Dan Carpenterextra: avoid overflow in get_long_name_sym()
2021-03-03 Dan Carpenterextra/mtag_data: don't update mtag data for fake parame...
2021-03-03 Dan Carpenterpoints_to_user_data: fake calls are not user data
2021-03-03 Dan Carpenterflow: delete dead code in set_unset_to_zero()
2021-03-03 Dan Carpentermtag_data: store mtag_data for structs declared on...
2021-03-03 Dan Carpentervar_sym: move some code around in expr_to_vsl()
2021-03-03 Dan Carpenterparse_call_math: fix some read overflows in format_name...
2021-03-03 Dan Carpentervar_sym: fix a bug in expr_to_vsl()
...
tags
2 months ago 1.71
2 months ago 1.70
6 years ago 1.60
7 years ago v0.5.0 Sparse 0.5.0
7 years ago 1.59
7 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
8 years ago 1.58
8 years ago 1.57
9 years ago 1.56
9 years ago v0.4.4 sparse release 0.4.4
9 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
9 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
10 years ago v0.4.3 sparse 0.4.3 release
10 years ago 1.55
11 years ago 1.54
11 years ago v0.4.2 sparse 0.4.2
...
heads
3 weeks ago master