descriptionStatic analysis for C
homepage URL
last changeThu, 20 Aug 2015 17:18:01 +0000 (20 20:18 +0300)
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]]

8 days ago Dan Carpenterstates: remove an unused functionmaster
8 days ago Dan Carpenterdouble_checking: avoid more false positives
8 days ago Dan Carpenterdouble_checking: silence false positives caused by...
8 days ago Dan Carpenterdouble_checking: allow if (foo) { ... } else if (!foo...
8 days ago Dan Carpenterzero_to_err_ptr: calling PTR_ERR(NULL) is a probably...
8 days ago Dan update list of types
9 days ago Dan Carpentercheck_kernel: register this later
9 days ago Dan Carpentercheck_dma_mapping_error: The dma_mapping_error() functi...
9 days ago Dan Carpenterbuf_comparison: split the code up and move it around
10 days ago Dan Carpenterextra, db: don't use PARAM_VALUE for return states
11 days ago Dan Carpenterbuf_size: add kmap() and get_zeroed_page()
11 days ago Dan Carpenterbuf_size, strlen: don't use strlen() to determine the...
11 days ago Dan Carpenterstrlen: cleanup in get_implied_strlen()
11 days ago Dan Carpenterbuf_size, strlen: move strlen() handling to smatch_strlen.c
13 days ago Dan Carpenterextra: track array values
13 days ago Dan Carpenterstored_conditons: store the chunk as well as the var_sy...
7 months ago 1.60
18 months 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
2 years ago 1.57
2 years ago 1.58
3 years ago 1.56
3 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
4 years ago v0.4.3 sparse 0.4.3 release
5 years ago 1.55
5 years ago 1.54
5 years ago v0.4.2 sparse 0.4.2
5 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
6 years ago 1.53
8 days ago master