descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeMon, 18 Mar 2019 15:41:31 +0000 (18 18: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
3 days ago Dan Carpentermtag: delete unused get_mtag() functionmaster
3 days ago Dan Carpenterparam_to_mtag_data: get rid of get_mtag()
3 days ago Dan Carpentermtag_map: use expr_to_mtag_offset()
3 days ago Dan Carpenterdebug: use expr_to_mtag_offset()
3 days ago Dan Carpentermtag: tweak get_mtag_sval()
3 days ago Dan Carpentermtag: delete totally bogus get_deref_mtag()
3 days ago Dan Carpentermtag: delete uncalled remove_dereference() function
3 days ago Dan Carpentermtag: tweak how get_array_mtag_offset() works
3 days ago Dan Carpentermtag: delete uncalled get_mtag_addr_sval()
3 days ago Dan Carpentermtag: delete some dead code
3 days ago Dan Carpentermtag: remove unused get_mtag_offset()
3 days ago Dan Carpentermath: remove the get_implied_value_low_overhead() function
3 days ago Dan Carpentermtag_data: re-write in terms of mtag/offset
3 days ago Dan Carpentermtag_data: improve looking up the mtag_data for "foo...
3 days ago Dan Carpentermtag: remove duplicative code
4 days ago Dan Carpentermtag: push some mtag seed code (but don't enable it)
...
tags
4 years ago 1.60
5 years ago v0.5.0 Sparse 0.5.0
5 years ago 1.59
5 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
6 years ago 1.58
6 years ago 1.57
7 years ago 1.56
7 years ago v0.4.4 sparse release 0.4.4
7 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
7 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
8 years ago v0.4.3 sparse 0.4.3 release
8 years ago 1.55
9 years ago 1.54
9 years ago v0.4.2 sparse 0.4.2
9 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
9 years ago 1.53
...
heads
3 days ago master