Newer
Older
pointer_copy_user_dataflow_direct_bitwise.c:10:[eva:garbled-mix:write] warning: Assigning imprecise value to bit
because of arithmetic operation on addresses.
stack: main
[eva:garbled-mix:summary] warning: Origins of garbled mix generated during analysis:
pointer_copy_user_dataflow_direct_bitwise.c:10: arithmetic operation on addresses
(read 67 times, propagated 65 times) garbled mix of &{x}