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
- Sources inherited from project openSUSE:Factory
-
4
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Leap:16.0:FactoryCandidates/smatch && cd $_
- Create Badge
Refresh
Refresh
Source Files
Filename | Size | Changed |
---|---|---|
Makefile-allow-CFLAGS-to-be-redefined.patch | 0000001433 1.4 KB | |
Makefile-use-CFLAGS-when-linking.patch | 0000000909 909 Bytes | |
_service | 0000000508 508 Bytes | |
_servicedata | 0000000225 225 Bytes | |
check_free-declare-is_percent_p_print-before-use.p |
0000000616 616 Bytes | |
smatch-1.73+20240222.obscpio | 0014562829 13.9 MB | |
smatch.changes | 0000008020 7.83 KB | |
smatch.obsinfo | 0000000103 103 Bytes | |
smatch.spec | 0000002135 2.08 KB |
Latest Revision
Dominique Leuenberger (dimstar_suse)
accepted
request 1153111
from
Factory Maintainer (factory-maintainer)
(revision 12)
Automatic submission by obs-autosubmit
Comments 0