descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeWed, 1 Feb 2012 12:39:03 +0000
Push URLssh://repo.or.cz/srv/git/smatch.git
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!
shortlog
2 days ago Dan Carpentertree wide: change output format master
2 days ago Dan Carpenterredundant_null_check: make some variables static
8 days ago Dan Carpenterextra: uninitialized variable
10 days ago Dan Carpenterconditions: add a __pass_to_client(expr, LOGIC_HOOK)
10 days ago Dan Carpenteroverflow: don't complain about checks after use, inside...
2012-01-20 Dan Carpenterdb: don't increment the func_id too much
2012-01-20 Dan Carpenterdb: turn synchronization off and use a bigger cache_size
2012-01-19 Dan Carpenter*new* logical_instead_of_bitwise: places that use ...
2012-01-12 Dan Carpentersmatch*: checkpatch.pl fixes
2012-01-12 Dan Carpentererr_ptr_deref: handle PTR_RET()
2012-01-10 Dan Carpentervalidation: remove out of date sm_locking5.c
2012-01-10 Dan Carpentercore: handle foo += bar ? 1 : 0; expressions differently
2012-01-10 Dan Carpenterextra: don't discard cast. strip_expr() => strip_parens()
2012-01-10 Dan Carpenterextra: cleanup: shuffle code around.
2012-01-10 Dan Carpenterextra: don't remove casts, those are important
2012-01-10 Dan Carpenterdebug: fix some small memory leaks
...
tags
20 months ago 1.55
2 years ago 1.54
2 years ago 1.53
2 years ago 1.52
2 years ago 1.51
4 years ago 0.4.1 0.4.1
4 years ago 0.4 0.4
4 years ago 0.3 0.3
5 years ago 0.2 0.2
5 years ago 0.1 0.1
heads
2 days ago master