This repository was archived by the owner on Mar 6, 2024. It is now read-only.
This repository was archived by the owner on Mar 6, 2024. It is now read-only.
Soundness of EvmSSAEngine #16
Description
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?