warnings.log

pointer_copy_user_ctrlflow_bytewise_abbrev.c:25:[kernel] warning: all target addresses were invalid. This path is assumed to be dead.
stack: main
[eva:garbled-mix] warning: Garbled mix generated during analysis:
{{ garbled mix of &{x}
  (origin: Misaligned {pointer_copy_user_ctrlflow_bytewise_abbrev.c:14}) }}