descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeMon, 12 Dec 2016 21:36:09 +0000 (13 00:36 +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
2016-12-12 Rasmus Villemoescheck_kernel_printf.c: %pj ended up being %pGmaster
2016-12-12 Rasmus Villemoescheck_kernel_printf.c: handle new definition of KERN_CONT
2016-12-12 Rasmus Villemoescheck_kernel_printf: check that %pg gets a block_device
2016-11-30 Dan Carpenteruser_data2: math: function calls should be handled...
2016-11-30 Dan Carpentermath: fix a type issue with MOD
2016-11-28 Dan Carpenteruntracked_param: functions that are too hairy are untra...
2016-11-25 Dan Carpenteraddress: simplify is_non_null_array()
2016-11-25 Dan Carpentertype_val: use the correct type in get_db_type_rl()
2016-11-25 Dan Carpenterimplied: fix a bug with borrowed implications
2016-11-09 Dan Carpenterflow: handled declared labels better
2016-11-09 Dan Carpenterranges: read u64max correctly
2016-07-18 Dan Carpentersmatch: remove tests to see if an array is NULL
2016-07-18 Dan Carpenterextra: handle "if (a + b < a) { "
2016-07-18 Dan Carpenterslist: Silence a smatch warning
2016-07-18 Dan Carpenterdebug: add the __smatch_absolute() hook
2016-07-18 Dan Carpenterbuf_size: Using plain integer as NULL pointer
...
tags
2 years ago 1.60
2 years ago v0.5.0 Sparse 0.5.0
3 years ago 1.59
3 years ago v0.4.5-rc1 Sparse 0.4.5-rc1
3 years ago 1.58
3 years ago 1.57
4 years ago 1.56
5 years ago v0.4.4 sparse release 0.4.4
5 years ago v0.4.4-rc2 Sparse 0.4.4-rc2
5 years ago v0.4.4-rc1 Sparse 0.4.4-rc1
6 years ago v0.4.3 sparse 0.4.3 release
6 years ago 1.55
7 years ago 1.54
7 years ago v0.4.2 sparse 0.4.2
7 years ago v0.4.2-rc1 Sparse 0.4.2-rc1
7 years ago 1.53
...
heads
5 weeks ago master