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 | 0000000827 827 Bytes | |
| _service | 0000000512 512 Bytes | |
| _servicedata | 0000000225 225 Bytes | |
|
check_free-declare-is_percent_p_print-before-use.p |
0000000616 616 Bytes | |
| smatch-1.72+20220506.obscpio | 0010877453 10.4 MB | |
| smatch.changes | 0000005679 5.55 KB | |
| smatch.obsinfo | 0000000103 103 Bytes | |
| smatch.spec | 0000002135 2.08 KB |
Revision 10 (latest revision is 12)
Dominique Leuenberger (dimstar_suse)
accepted
request 975989
from
Jiri Slaby (jirislaby)
(revision 10)
- Update to version 1.72+20220506: * logical_instead_of_bitwise: add some more warnings * uninitialized: fix checking for fake calls and don't save global states * assigned_expr: don't modify the expression until later * rosenberg,assigned_expr: don't store pointless global data * uninitialized: fix false positive "passing uninitialized" warnings * data/kernel.ignore_uninitialized_param: add more functions * free: don't warn about %p printing of freed pointers * free: do not warn when freed pointers are part of a condition * function_hooks: export is_condition_call() * comparison: fix copying comparisons - switch to obs_scm - switch versioning to include version number - add * Makefile-allow-CFLAGS-to-be-redefined.patch (fix build) * Makefile-use-CFLAGS-when-linking.patch (improve build) * check_free-declare-is_percent_p_print-before-use.patch (fix warnings)
Comments 0