search

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Apache License 2.0
216 stars 50 forks source link

resource mustExplicit not found #104

Closed izhimi0706 closed 4 years ago

izhimi0706 commented 5 years ago

Processing contract: src/test/resources/solidity/transaction-reordering.sol:MarketPlace Attempt to decompile the contract with methods... Success. Inlining methods... Propagating constants... Verifying patterns... Error in Securify java.lang.IllegalArgumentException: resource mustExplicit not found. at com.google.common.base.Preconditions.checkArgument(Preconditions.java:216) at com.google.common.io.Resources.getResource(Resources.java:195) at ch.securify.analysis.AbstractDataflow.extractSouffleBinaries(AbstractDataflow.java:97) at ch.securify.analysis.AbstractDataflow.initDataflow(AbstractDataflow.java:107) at ch.securify.analysis.MustExplicitDataflow.(MustExplicitDataflow.java:33) at ch.securify.analysis.Dataflow.(Dataflow.java:33) at ch.securify.analysis.DataflowFactory.getDataflow(DataflowFactory.java:54) at ch.securify.Main.checkPatterns(Main.java:413) at ch.securify.Main.processHexFile(Main.java:189) at ch.securify.Main.processCompilationOutput(Main.java:129) at ch.securify.Main.processSolidityFile(Main.java:100) at ch.securify.Main.main(Main.java:254) Error, skipping: src/test/resources/solidity/transaction-reordering.sol:MarketPlace