?  search:
summary | log | graphiclog | commit | commitdiff | tree | refs | edit | fork

 
descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeMon, 8 Jun 2020 13:48:50 +0000 (8 16:48 +0300)
URLgit://repo.or.cz/smatch.git
https://repo.or.cz/smatch.git
push URLssh://repo.or.cz/smatch.git
https://repo.or.cz/smatch.git (learn more)
bundle infosmatch.git downloadable bundles
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
2020-06-08 Dan Carpenterdb: Fix buffer overflow in state_name_to_param_name()master commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: remove an unused parameter commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: don't warn about impossible paths commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: ignore local static variables commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: unknown values are not failures commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: don't record increment/decrement if... commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: record potential decrements as a decrement commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: don't store information in impossible... commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: add more functions commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: don't double set states to &inc/&dec commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: change how unmatched states are handled commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-26 Dan Carpenteratomic_inc_dec: rename "orig" to "start_state" commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-20 Dan Carpenterkernel_printf: print error pointers commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-20 Dan Carpenterkernel_printf: add support for %ls commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-20 Dan Carpenterkernel_printf: add _GNU_SOURCE define commit | commitdiff | tree | snapshot (tar.gz zip)
2020-05-19 Dan CarpenterDocumentation/smatch: add a reference to the mailing... commit | commitdiff | tree | snapshot (tar.gz zip)
...
tags
5 years ago 1.60    | commit | log
6 years ago v0.5.0 Sparse 0.5.0 tag  | commit | log
7 years ago 1.59    | commit | log
7 years ago v0.4.5-rc1 Sparse 0.4.5-rc1 tag  | commit | log
7 years ago 1.58    | commit | log
7 years ago 1.57    | commit | log
8 years ago 1.56    | commit | log
8 years ago v0.4.4 sparse release 0.4.4 tag  | commit | log
8 years ago v0.4.4-rc2 Sparse 0.4.4-rc2 tag  | commit | log
8 years ago v0.4.4-rc1 Sparse 0.4.4-rc1 tag  | commit | log
9 years ago v0.4.3 sparse 0.4.3 release tag  | commit | log
10 years ago 1.55    | commit | log
10 years ago 1.54    | commit | log
10 years ago v0.4.2 sparse 0.4.2 tag  | commit | log
10 years ago v0.4.2-rc1 Sparse 0.4.2-rc1 tag  | commit | log
11 years ago 1.53    | commit | log
...
heads
6 weeks ago master log | tree
Static analysis for C