oyente icon indicating copy to clipboard operation
oyente copied to clipboard

Published 20 hours ago • verified publisher icon enzymefinance

Specifying bytecode's ABI

Open franklinsch opened this issue 6 years ago • 1 comments

When using the --bytecode option, the code coverage is low as Oyente probably doesn't know which public functions the contract has.

Is there an option to specify a JSON ABI to help Oyente find the functions to analyze?

franklinsch avatar May 22 '18 15:05 franklinsch

No, there's not

luongnt95 avatar May 31 '18 06:05 luongnt95