smatch

Edit Package smatch
http://smatch.sf.net

Smatch is a static analysis tool for C. Most of the checks are for the linux kernel.

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's avatar Dominique Leuenberger (dimstar_suse) accepted request 745111 from Jiri Slaby's avatar 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
openSUSE Build Service is sponsored by