descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeThu, 20 Jun 2024 13:10:06 +0000 (20 16:10 +0300)
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
12 days ago Dan Carpentercheck_deref: use add_dereference_hook()master
12 days ago Dan Carpenterpoints_to_user_data: Add nvmet_copy_from_sgl() function
12 days ago Dan Carpenterimpossible_compare: silence some false positives
12 days ago Dan Carpentermodification_hooks: add get_modification_state_name_sym()
12 days ago Dan Carpenterkernel: ignore more stuff
13 days ago Cristian Ciocalteakernel: Add support for custom build directory
13 days ago Cristian Ciocalteakchecker: Fix --outfile handling
2024-06-18 Dan Carpenterbuf_size: don't store so many (-1)-0 entries
2024-06-14 Joel Granadossentinel_ctltable: Add a check for sentinel elements...
2024-06-13 Dan Carpenterkernel: ignore "->bio->bi_private"
2024-06-12 Dan Carpenterextra: fix some SQL
2024-06-12 Dan Carpenterno_increment: complain when i and j don't have an i++
2024-06-11 Dan Carpenterextra: fix and improve used_param_value_info()
2024-06-11 Dan Carpenterdb: don't load silly amounts of caller info
2024-06-11 Dan Carpenterleaf_fn: be stricter with PARAM_USED
2024-06-08 Dan Carpenterranges: fix alloc_whole_rl() for functions
...
tags
22 months ago 1.73
2 years ago 1.72
3 years ago 1.71
3 years ago 1.70
9 years ago 1.60
10 years ago v0.5.0 Sparse 0.5.0
10 years ago 1.59
11 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
11 years ago 1.58
11 years ago 1.57
12 years ago 1.56
12 years ago v0.4.4 sparse release 0.4.4
12 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
12 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
13 years ago v0.4.3 sparse 0.4.3 release
14 years ago 1.55
...
heads
12 days ago master
forks
Cached version (6362s old)
smatch/bkmgit.git benson_muite@emailplus.org 13 months ago