descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeTue, 15 Aug 2017 10:49:35 +0000 (15 13:49 +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 Carpenterdb/kernel.return_fixes: add dma_fence_wait_timeout()master
3 days ago Dan Carpenterdb/fixup_kernel.sh: hack handling of _parse_integer()
3 days ago Dan Carpenterdb/fixup_kernel.sh: ignore more __vfs_read/write()...
3 days ago Dan Carpentergen_sizeof_param.sh: save the return type
3 days ago Dan Carpenterkernel.sizeof_param.remove: ignore skb_pull()
3 days ago Dan Carpentersmatch_data: fix parsing of <project>.sizeof_param
3 days ago Dan Carpenterextra: do more simple algebra
3 days ago Dan Carpentermath: fix handling of "(char *)&foo->bar - (char *...
3 days ago Dan Carpentersmatch_data: acquire_group() doesn't return NULL
3 days ago Dan Carpentersigned_integer_overflow_check: if (foo + bar < foo...
7 days ago Dan Carpenterextra: don't save unneeded states
7 days ago Dan Carpentermath: let user_data handle binops if it wants
7 days ago Dan Carpentermath: handle this (<too complicated math> & 0xff)
7 days ago Dan Carpentermath: use comparisons to handle subtraction better
7 days ago Dan Carpentermath: handle offset calculation better
2017-08-03 Dan Carpenterconditions: introduce get_conditions()
...
tags
2 years ago 1.60
3 years ago v0.5.0 Sparse 0.5.0
4 years ago 1.59
4 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
4 years ago 1.58
4 years ago 1.57
5 years ago 1.56
5 years ago v0.4.4 sparse release 0.4.4
5 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
5 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
6 years ago v0.4.3 sparse 0.4.3 release
7 years ago 1.55
7 years ago 1.54
7 years ago v0.4.2 sparse 0.4.2
7 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
8 years ago 1.53
...
heads
3 days ago master