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 |
|---|---|---|
| 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