Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

- 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

• Files Changed
• Browse Source

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

• Files Changed
• Browse Source

- Update to version 20200608+git.e92d9e00:
  * db: Fix buffer overflow in state_name_to_param_name()
  * atomic_inc_dec: remove an unused parameter
  * atomic_inc_dec: don't warn about impossible paths
  * atomic_inc_dec: ignore local static variables
  * atomic_inc_dec: unknown values are not failures
  * atomic_inc_dec: don't record increment/decrement if they are reset
  * atomic_inc_dec: record potential decrements as a decrement
  * atomic_inc_dec: don't store information in impossible paths
  * atomic_inc_dec: add more functions
  * atomic_inc_dec: don't double set states to &inc/&dec
  * and much more...

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

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

• Files Changed
• Browse Source

- Update to version 20181114:
  * trinity: Proof of concept to auto-generate trinity spec files
  * user_data: rename to smatch_kernel_user_data.c
  * assigned_expr: rename to smatch_assigned_expr.c
  * smatch: make the --enable/disable options take strings
  * clock() is already defined on illumos, so rename the local function.
  * Ignore "#ident" as found in some old sources.
  * Use $(CFLAGS) when compiling smatch.c itself.
  * smatch_nul_terminated: fix compile
  * untracked_param: fix a NULL dereference
  * uninitialized: fix a crashing bug parsing "return (foo);"
  * nul_terminator: track when strings have a NUL terminator
  * and many more small fixes and updates

• Files Changed
• Browse Source

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

update to 20160307

• Files Changed
• Browse Source

update to 20151208

• Files Changed
• Browse Source

add smatch

• Browse Source