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 | 0000000497 497 Bytes | |
| _servicedata | 0000000217 217 Bytes | |
| smatch-20191028+git773e0c19.tar.xz | 0000768456 750 KB | |
| smatch.changes | 0000003286 3.21 KB | |
| smatch.spec | 0000001951 1.91 KB |
Revision 7 (latest revision is 12)
Dominique Leuenberger (dimstar_suse)
accepted
request 745111
from
Jiri Slaby (jirislaby)
(revision 7)
- Update to version 20191028: * rosenberg: initialization and struct assignments don't fill holes * rosenberg: add snd_timer_append_to_tqueue() and __send_signal() * rosenberg: add skb_put() to the list of copy functions * extra: it's not a dereference if we're just getting the address * helper: improve getting_address() * parse_call_math: don't return constant allocation sizes * extra: limit get_other_name_sym_helper() some more * hooks: add EXPR_HOOK_AFTER * Makefile: rebuild smatch_*.o files when smatch.h changes * Makefile: build quietly again * Makefile: organize the smatch_*.o objects better * Makefile: allow CC to be a shell variable * function_ptr: save pointers to pointers * function_ptrs: save function return assignments * ranges: silence Smatch warning (uninitialized variable) * db: fix an off by one bug * check_deref/deref_check: warn about likely/unlikely() conditions as well * readl_infinite_loops: silence a GCC warning by adding a cast * integer_overflow: fix uninitialized variable bug * ranges: add casts to silence compile warnings * and many more...
Comments 0