descriptionStatic analysis for C
homepage URL
last changeTue, 9 Aug 2022 12:09:47 +0000 (9 15:09 +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 Carpenterrecurse: export the recurse() function and fix the... master1.73
3 days ago Dan Carpenteruntracked_var: new module for untracked variables
4 days ago Dan Carpenterstored_conditions: ignore untracked variables
4 days ago Dan Carpenterparam_key: fix container of when no struct member is...
9 days ago Dan Carpenterflow: fix parsing known switch statements
10 days ago Dan Carpentersleep_info/kvmalloc_NOFS: update to latest code
10 days ago Dan Carpenterallocation_funcs: use the add_allocation_hook()
10 days ago Dan Carpenterallocation_funcs: handle inline functions better
10 days ago Dan Carpenterfree_param_strict: use param key code
10 days ago Dan Carpenterreal_absolute: clear out old states for unknown assignments
2022-07-25 Dan Carpenterlocking : intel_context_timeline_lock() can be nested
2022-07-19 Dan Carpenterzero_to_err_ptr: silence select assign false positives
2022-07-19 Dan Carpenterflow: add a POSTLOOP_HOOK
2022-07-13 Dan Carpenterkernel_printf: update __iwl_err() info
2022-07-07 Dan Carpenterdb/ remove debug output
2022-07-07 Dan Carpenterscripts/ only find sql files when option...
3 days ago 1.73
11 months ago 1.72
18 months ago 1.71
18 months ago 1.70
7 years ago 1.60
8 years ago v0.5.0 Sparse 0.5.0
9 years ago 1.59
9 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
9 years ago 1.58
9 years ago 1.57
10 years ago 1.56
10 years ago v0.4.4 sparse release 0.4.4
10 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
10 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
11 years ago v0.4.3 sparse 0.4.3 release
12 years ago 1.55
3 days ago master