descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeTue, 19 Jan 2016 11:56:55 +0000 (19 14:56 +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
2016-01-19 Dan Carpentercomparison: fix build errormaster
2016-01-15 Dan Carpentermath: try harder in var_to_absolute_rl()
2016-01-15 Dan Carpenteruser_data2: introduce get_user_rl_var_sym()
2016-01-15 Dan Carpenteruser_data2: white space stuff
2016-01-15 Dan Carpenterstring_list: silence a GCC warning
2016-01-15 Dan Carpenterkernel_printf: we changed %pg to %pj
2016-01-15 Dan Carpentercapped: multiplications can be capped
2016-01-15 Dan Carpentercapped: white space change
2016-01-15 Dan Carpentercapped: fix return implies capped
2016-01-15 Dan Carpentercapped: better handle on unmatched state
2016-01-15 Dan Carpenterextra: handle returned struct members
2016-01-13 Dan Carpenterdb: make get_param_name() check for NULL sm->sym pointers
2016-01-13 Dan Carpenteruser_data2: simple_strtoul() is user data
2016-01-13 Dan Carpenteruser_data2: always set *foo to user data
2016-01-13 Dan Carpenteruser_data2: use fake assignments instead of duplicating...
2016-01-13 Dan Carpenteruser_data2: handle arrays better
...
tags
13 months ago 1.60
2 years ago v0.5.0 Sparse 0.5.0
2 years ago 1.59
2 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
3 years ago 1.57
3 years ago 1.58
3 years ago 1.56
4 years ago v0.4.4 sparse release 0.4.4
4 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
4 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
5 years ago v0.4.3 sparse 0.4.3 release
5 years ago 1.55
6 years ago 1.54
6 years ago v0.4.2 sparse 0.4.2
6 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
6 years ago 1.53
...
heads
2 weeks ago master