octopus icon indicating copy to clipboard operation
octopus copied to clipboard

Published 20 hours ago • verified publisher icon FuzzingLabs

Soundness of EvmSSAEngine

Open suhabe opened this issue 4 years ago • 0 comments

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?

suhabe avatar Jun 03 '20 17:06 suhabe