descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeMon, 14 Jul 2014 09:50:52 +0000
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
10 days ago Dan Carpenterdb: fix runtime breakagemaster
13 days ago Dan Carpenterdereferences_param: add more dereferenced variables
2014-06-20 Dan Carpenterranges: remove unneeded NULL check
2014-06-20 Dan Carpentertype_val: store fake assignments in a slightly differen...
2014-06-20 Dan Carpenterparam_set/filter: don't print less useless information
2014-06-19 Dan Carpenterdb: fixup after call_implies changes
2014-06-19 Dan Carpenterparam_cleared: handle direct assignments
2014-06-19 Dan Carpenterdb: make call_implies match caller_info with a key...
2014-06-18 Dan Carpentersmdb.py: fix test for if a datatype is known
2014-06-12 Dan Carpenterassigned_expression: get the assigned expression using...
2014-06-12 Dan Carpenterrosenberg: handle struct to struct assignments
2014-06-12 Dan Carpenterdata/kernel.sizeof_param.remove: add __dynamic_pr_debug()
2014-05-29 Dan Carpenterstruct_assignment: introduce get_faked_expression()
2014-05-29 Dan Carpenterstruct_assignment: handle memcpy(foo, ...) where foo...
2014-05-29 Dan Carpentermath: be more ambitious handling right shifts
2014-05-28 Dan Carpenteruser_data: kstrtoul() and friends should taint data...
...
tags
12 months ago 1.59
17 months ago 1.57
17 months ago 1.58
2 years ago 1.56
4 years ago 1.55
4 years ago 1.54
5 years ago 1.53
5 years ago 1.52
5 years ago 1.51
6 years ago 0.4.1 0.4.1
6 years ago 0.4 0.4
7 years ago 0.3 0.3
7 years ago 0.2 0.2
7 years ago 0.1 0.1
heads
10 days ago master