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 | 0000000491 491 Bytes | |
| _servicedata | 0000000217 217 Bytes | |
| smatch-20181114.tar.xz | 0000682544 667 KB | |
| smatch.changes | 0000002044 2 KB | |
| smatch.spec | 0000001884 1.84 KB |
Revision 6 (latest revision is 12)
Dominique Leuenberger (dimstar_suse)
accepted
request 673295
from
Jiri Slaby (jirislaby)
(revision 6)
- Update to version 20181114: * trinity: Proof of concept to auto-generate trinity spec files * user_data: rename to smatch_kernel_user_data.c * assigned_expr: rename to smatch_assigned_expr.c * smatch: make the --enable/disable options take strings * clock() is already defined on illumos, so rename the local function. * Ignore "#ident" as found in some old sources. * Use $(CFLAGS) when compiling smatch.c itself. * smatch_nul_terminated: fix compile * untracked_param: fix a NULL dereference * uninitialized: fix a crashing bug parsing "return (foo);" * nul_terminator: track when strings have a NUL terminator * and many more small fixes and updates
Comments 0