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 | 0000000512 512 Bytes | |
| _servicedata | 0000000225 225 Bytes | |
|
check_free-declare-is_percent_p_print-before-use.p |
0000000616 616 Bytes | |
| smatch-1.73+20230517.obscpio | 0014495245 13.8 MB | |
| smatch.changes | 0000006687 6.53 KB | |
| smatch.obsinfo | 0000000103 103 Bytes | |
| smatch.spec | 0000002135 2.08 KB |
Revision 11 (latest revision is 12)
Dominique Leuenberger (dimstar_suse)
accepted
request 1093222
from
Jiri Slaby (jirislaby)
(revision 11)
- Update to version 1.73+20230517: * checking_for_null_instead_of_err_ptr: use smatch_kernel_err_ptr.c * kernel_err_ptr: hack around for_each_gpio_desc_with_flag() * scripts/generisize.pl: generisize function names * kernel.unreachable.turn_off: add some kunit stuff * preempt_info: add __bit_spin_unlock() * check_list/err_ptr: register the err_ptr code * debug/units: hook in the __smatch_units() code * validation/sm_err_ptr: make IS_ERR() an inline function * dereference: find more cross function dereferences * err_ptr_deref: re-write the check * kernel_err_ptr: track error pointers in the database * kernel.no_return_funcs: update to the latest linux-next functions * kernel.no_return_funcs: add kunit_do_failed_assertion() * comparison: store modified comparisons * units: move checks to check_ file and hide under the --spammy option * and much more
Comments 0