warnings.log

pointer_copy_user_dataflow_direct_bytewise.c:5:[eva:garbled-mix:write] warning: Assigning imprecise value to *dest because of misaligned read of addresses.
stack: user_memcpy :: pointer_copy_user_dataflow_direct_bytewise.c:14 <- main
[eva:garbled-mix:summary] warning: Origins of garbled mix generated during analysis:
  pointer_copy_user_dataflow_direct_bytewise.c:5: misaligned read of addresses
    (read 3 times, propagated 4 times) garbled mix of &{x}