descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeMon, 27 Jan 2020 14:47:22 +0000 (27 17:47 +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
10 days ago Dan Carpenterfresh_alloc: mark used data as unfreshmaster
10 days ago Dan Carpenterfresh_alloc: export is_fresh_alloc() and is_fresh_alloc...
10 days ago Dan Carpenterfresh_alloc: NULL pointers are not fresh
10 days ago Dan Carpentermtag: export str_to_mtag()
10 days ago Dan Carpentertype: improve debug output for NULL types
10 days ago Dan Carpenterslist: fix __print_stree() debug output
10 days ago John Levonpredefine "i386" if needed
10 days ago Toomas Soomecorrect sparcv9 defines
10 days ago John Levonpre-define __unix__ and friends
10 days ago John Levonadd necessary defined for sunos-derived systems
10 days ago John Levondefine __PRAGMA_REDEFINE_EXTNAME
10 days ago Luc Van Oostenryckadd predefine_nostd()
10 days ago Luc Van Oostenryckalt definition for STANDARD_GNU89 & friends
10 days ago Luc Van Oostenryckallow to test the standard version outside of lib.c
10 days ago Luc Van Oostenryckarch: add missing predefines: __amd64 & __amd64__
2020-01-22 Dan Carpenterdb: delete more dead code
...
tags
5 years ago 1.60
6 years ago v0.5.0 Sparse 0.5.0
6 years ago 1.59
6 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
8 years ago v0.4.4 sparse release 0.4.4
8 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
8 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
9 years ago v0.4.3 sparse 0.4.3 release
9 years ago 1.55
10 years ago 1.54
10 years ago v0.4.2 sparse 0.4.2
10 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
10 years ago 1.53
...
heads
10 days ago master