descriptionStatic analysis for C
homepage URL
last changeWed, 18 Oct 2017 09:58:00 +0000 (18 12:58 +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]]

3 days ago Dan Carpentervar_sym: fix handling of arraysmaster
3 days ago Dan Carpenterextra: fix fallout from splitting param_used and contai...
3 days ago Dan Carpenterbuf_size: don't store obvious sizes in the DB
4 days ago Dan Carpentercontainer_of: export get_param/offset_from_container_of()
4 days ago Dan Carpenterparam_used/states: introduce __get_state() for silently...
4 days ago Dan Carpenterflow: parse more inline functions
5 days ago Dan Carpentercontainer_of: fix container_of()
5 days ago Dan Carpenterfrees_param: update to latest API
5 days ago Dan Carpenterparam_used/container_of: split this into two files
10 days ago Dan Carpenterdb: remove spammy debug message
10 days ago Dan Carpenterdb: handle functions that return a container_of()
10 days ago Dan Carpenterdb: handle returning block statements better
10 days ago Dan Carpenterparam_used: prevent more recursion
10 days ago Dan Carpenterparam_used: pull some stuff out into separate functions
10 days ago Dan Carpenterparam_used: fix use after free
11 days ago Dan Carpenterdb: split caller_info and sql into separate output...
2 years ago 1.60
3 years ago v0.5.0 Sparse 0.5.0
4 years ago 1.59
4 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
4 years ago 1.58
4 years ago 1.57
5 years ago 1.56
5 years ago v0.4.4 sparse release 0.4.4
6 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
6 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
7 years ago v0.4.3 sparse 0.4.3 release
7 years ago 1.55
7 years ago 1.54
8 years ago v0.4.2 sparse 0.4.2
8 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
8 years ago 1.53
3 days ago master