Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Need explanation of an ouput #54

Open
domainexpert opened this issue Nov 18, 2017 · 0 comments
Open

Need explanation of an ouput #54

domainexpert opened this issue Nov 18, 2017 · 0 comments

Comments

@domainexpert
Copy link

After clicking the "Analyze" button on the web interface, I've got the following report. How do I read it? Thanks in advance.

Behaviors

2 behaviors cover the possibilities (assuming enough gas).

back fwd
Behavior 0

under conditions:

    (value of this call) is not zero.

hits an unimplemented instruction UNKNOWN fd in this analyzer.
Behavior 1

under conditions:

    (value of this call) is zero.

returns with output
(take (0x1bd6) bytes at (0x0) from
(codecopy mem: (0x0), code: (0xd4), size: (0x1bd6), on
(mem_write32 addr: (0x20) val: (0x1) in
(mem_write32 addr: (0x0) val: ((0xffffffffffffffffffffffffffffffffffffffff) and ((0xffffffffffffffffffffffffffffffffffffffff) and (address of caller))) in
(mem_write32 addr: (0x40) val: (0x60) in
(empty)
)
)
)
)
)
and state {
last instruction: PUSH_N0x00
stack: [(0x0), (0x1bd6)](size 2)
memory:
(codecopy mem: (0x0), code: (0xd4), size: (0x1bd6), on
(mem_write32 addr: (0x20) val: (0x1) in
(mem_write32 addr: (0x0) val: ((0xffffffffffffffffffffffffffffffffffffffff) and ((0xffffffffffffffffffffffffffffffffffffffff) and (address of caller))) in
(mem_write32 addr: (0x40) val: (0x60) in
(empty)
)
)
)
)

storage:
(storage_write at: (sha3 (concat ((0xffffffffffffffffffffffffffffffffffffffff) and ((0xffffffffffffffffffffffffffffffffffffffff) and (address of caller))) (0x1))), val: ((0x1dcd6500) * ((0xa) ** ((0xff) and (0x12))))
(storage_write at: (0x0), val: ((0x1dcd6500) * ((0xa) ** ((0xff) and (0x12))))
(storage_write at: (0x3), val: ((((0xffffffffffffffffffffffffffffffffffffffff) and (address of caller)) * (0x1)) or ((not ((0xffffffffffffffffffffffffffffffffffffffff) * (0x1))) and (((0x0) * (0x10000000000000000000000000000000000000000)) or ((not ((0xff) * (0x10000000000000000000000000000000000000000))) and (get_storage (0x3) (initial storage))))))
(storage_write at: (0x3), val: (((0x0) * (0x10000000000000000000000000000000000000000)) or ((not ((0xff) * (0x10000000000000000000000000000000000000000))) and (get_storage (0x3) (initial storage))))
(initial storage)
)
)
)
)

log: XXX
remaining_program: XXX
}. 
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant