descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeFri, 7 Dec 2018 13:49:05 +0000 (7 16: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
2018-12-07 Dan Carpentersmatch: add a --succeed optionmaster
2018-12-06 John LevonAdd illumos projects
2018-12-06 John LevonConvert some sm_msg() into more specific reporting...
2018-12-06 John LevonConvert sm_msg() with an error: prefix into sm_error()
2018-12-06 John LevonConvert all sm_msg("warn:.." into sm_warning()
2018-12-06 John LevonRegularise error reporting
2018-12-06 Dan Carpenterdb: make escape_newlines() take a const pointer
2018-12-04 Dan Carpenterparse.h: create stmt_get_parent_stmt()
2018-12-04 Dan Carpenterconstraints: escape SQL statements
2018-12-04 Dan Carpenterstatement_count: record how many statements there are...
2018-11-30 Dan Carpenterextra/db: silence an invalid SQL warning
2018-11-29 Dan Carpenterbuf_size: fix handling of 1 element arrays
2018-11-29 Dan Carpenterdb: sql debug mode was executing the SQL twice
2018-11-28 Dan Carpentertest_bit: add test_and_set_bit()
2018-11-28 Dan Carpenterdebug: introduce __smatch_mem()
2018-11-28 Dan Carpenterdb: don't save struct members for integers
...
tags
4 years ago 1.60
4 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
5 years ago 1.58
5 years ago 1.57
6 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
6 weeks ago master