smatch
http://smatch.sf.net
Smatch is a static analysis tool for C. Most of the checks are for the linux kernel.
- Developed at devel:tools:statica
-
4
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory/smatch && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| _service | 0000000498 498 Bytes | |
| _servicedata | 0000000217 217 Bytes | |
| smatch-20200608+git.e92d9e00.tar.xz | 0000778776 761 KB | |
| smatch.changes | 0000004666 4.56 KB | |
| smatch.spec | 0000001924 1.88 KB |
Revision 9 (latest revision is 12)
Dominique Leuenberger (dimstar_suse)
accepted
request 812809
from
Jiri Slaby (jirislaby)
(revision 9)
- Update to version 20200608+git.e92d9e00: * db: Fix buffer overflow in state_name_to_param_name() * atomic_inc_dec: remove an unused parameter * atomic_inc_dec: don't warn about impossible paths * atomic_inc_dec: ignore local static variables * atomic_inc_dec: unknown values are not failures * atomic_inc_dec: don't record increment/decrement if they are reset * atomic_inc_dec: record potential decrements as a decrement * atomic_inc_dec: don't store information in impossible paths * atomic_inc_dec: add more functions * atomic_inc_dec: don't double set states to &inc/&dec * and much more...
Comments 0