descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeWed, 1 Sep 2021 14:06:30 +0000 (1 17:06 +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-09-01 Dan Carpenterhooks: delete some unnecessary declarationsmaster1.72
2021-09-01 Dan Carpentercomparison: select the caller_info
2021-09-01 Dan Carpentercomparison: fix parsing of impossible compare_limits
2021-09-01 Dan Carpentercomparison: use param_key API to store return_states
2021-09-01 Dan Carpenterunwind: ignore some more PCI managed resources
2021-09-01 Dan Carpenterunwind: store more release functions in the DB
2021-09-01 Dan Carpenterunwind: add release_and_free_resource() and release_res...
2021-09-01 Dan Carpenterrosenberg: handle bit fields better
2021-09-01 Dan Carpentermissing_error_code: fix some false positives
2021-09-01 Dan Carpentermissing_break: add support for fallthrough attribute
2021-09-01 Dan Carpentermemcpy_overflow: make a variable static
2021-09-01 Dan Carpenterdata: update all smatch_data/kernel.* data to the lates...
2021-09-01 Dan Carpenterdb/kernel.delete.return_states: delete nonsensical...
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: delete kobject_init() failure path
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: hack around device_add()
2021-09-01 Dan Carpenterdb/fixup_kernel.sh: fix parsing of wext (wireless exten...
...
tags
3 weeks ago 1.72
8 months ago 1.71
8 months ago 1.70
6 years ago 1.60
7 years ago v0.5.0 Sparse 0.5.0
8 years ago 1.59
8 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
10 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
10 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
11 years ago v0.4.3 sparse 0.4.3 release
11 years ago 1.55
11 years ago 1.54
...
heads
3 weeks ago master