descriptionStatic analysis for C
homepage URL
last changeTue, 23 Dec 2014 08:46:44 +0000
Content tags:
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]]

2 days ago Dan Carpentermath: fix bug in bitwise ANDmaster
2 days ago Dan Carpenterimpossible: add the second register to check_list.h
2 days ago Dan Carpenterdb: split success/fail returns as best we can
2 days ago Dan Carpentermath: handle bitwise AND better (fix upper limit)
3 days ago Dan Carpenterflow: don't treat "x += foo();" as a function assignment
7 days ago Dan Carpenterderef: don't print warnings on impossible paths
8 days ago Dan Carpenterdebug: segfault using the --trace parameter
8 days ago Dan Carpentercore: improve is_array() and get_array_base()
10 days ago Dan Carpenterdebug: add --trace=variable_name option
10 days ago Dan Carpenterhelper: change "&*foo" to "foo" at the lowest levels
10 days ago Dan Carpenterdb, impossible: cull impossible paths
10 days ago Dan Carpentermath: use correct type
10 days ago Dan Carpenterparam_cleared: handle array assignments
10 days ago Dan Carpenterrecurse: fix has_variable()
10 days ago Dan Carpentertype: improve type_to_str() to handle SYM_NODE
10 days ago Dan Carpentertype: handle SYM_NODE better in get_pointer_type()
17 months ago 1.59
22 months ago 1.57
22 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
7 years ago 0.4.1 0.4.1
7 years ago 0.4 0.4
7 years ago 0.3 0.3
8 years ago 0.2 0.2
8 years ago 0.1 0.1
2 days ago master