Skip to content
This repository has been archived by the owner on Mar 6, 2024. It is now read-only.

Soundness of EvmSSAEngine #16

Open
suhabe opened this issue Jun 3, 2020 · 0 comments
Open

Soundness of EvmSSAEngine #16

suhabe opened this issue Jun 3, 2020 · 0 comments

Comments

@suhabe
Copy link

suhabe commented Jun 3, 2020 •
edited
Loading

What happens when the EvmSSAEngine encounters bytecode that cannot be put into SSA form? Does it raise an error?
Is there an example bytecode I can try that triggers this error?
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@suhabe