descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeFri, 26 Jun 2015 14:16:35 +0000 (26 17:16 +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
8 days ago Dan Carpenterdb: fix a bug in split returnsmaster
8 days ago Dan Carpenterextra: introduce get_extra_state()
8 days ago Dan Carpentersmatch: change all remaining references from warns...
8 days ago Rasmus Villemoesprefix smatch generated files by smatch_
8 days ago Rasmus Villemoestest_kernel.sh: clean up .c.smatch files after cat
8 days ago Rasmus VillemoesDocumentation: make me less confused
8 days ago Rasmus Villemoestrace_params.pl: fix hash/hash reference confusion
11 days ago Dan Carpenterkernel.ignored_macros: add SNIC_BUG_ON()
2015-06-10 Dan Carpenterunreachable: ignore list_for_each_entry_continue
2015-06-10 Dan Carpenterextra: handle x = (u8)y; correctly
2015-06-09 Dan Carpenterimplied: fix a leak
2015-06-09 Dan Carpentertype: handle typeof()
2015-06-09 Dan Carpentermath: handle __smatch_implied(&foo->bar) a little better
2015-06-09 Dan Carpenterassigned_expr: store it late
2015-06-09 Dan Carpenterfunction_hooks: fix validation/sm_compare15.c handling
2015-06-07 Dan Carpenterlocking: add new down_timeout() function
...
tags
5 months ago 1.60
17 months ago v0.5.0 Sparse 0.5.0
23 months ago 1.59
2 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
2 years ago 1.57
2 years ago 1.58
3 years ago 1.56
3 years ago v0.4.4 sparse release 0.4.4
3 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
3 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
4 years ago v0.4.3 sparse 0.4.3 release
5 years ago 1.55
5 years ago 1.54
5 years ago v0.4.2 sparse 0.4.2
5 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
6 years ago 1.53
...
heads
8 days ago master