securify: Decompilation Error with --truffle

Hello,

While scanning my contract using Securify, I get the following message:

Processing contract: /project/contracts/ReputationBook.sol:ReputationBook
  Attempt to decompile the contract with methods...
  Failed to decompile methods. Attempt to decompile the contract without identifying methods...
  Decompilation failed.
Error in Securify
java.lang.NullPointerException
	at ch.securify.decompiler.DestackerFallback.findJumpCondition(DestackerFallback.java:403)
	at ch.securify.decompiler.DestackerFallback.handleStackMerging(DestackerFallback.java:356)
	at ch.securify.decompiler.DestackerFallback.decompile(DestackerFallback.java:205)
	at ch.securify.decompiler.DestackerFallback.decompile(DestackerFallback.java:201)
	at ch.securify.decompiler.DestackerFallback.decompile(DestackerFallback.java:238)
	at ch.securify.decompiler.DestackerFallback.decompile(DestackerFallback.java:216)
	at ch.securify.decompiler.DestackerFallback.decompile(DestackerFallback.java:238)
	at ch.securify.decompiler.DestackerFallback.decompile(DestackerFallback.java:238)
	at ch.securify.decompiler.DestackerFallback.decompile(DestackerFallback.java:131)
	at ch.securify.decompiler.DecompilerFallback.decompile(DecompilerFallback.java:73)
	at ch.securify.Main.decompileContract(Main.java:296)
	at ch.securify.Main.processHexFile(Main.java:160)
	at ch.securify.Main.processCompilationOutput(Main.java:129)
	at ch.securify.Main.mainFromCompilationOutput(Main.java:105)
	at ch.securify.Main.main(Main.java:241)
Error, skipping: /project/contracts/ReputationBook.sol:ReputationBook

As a result, Securify is skipping the contract that I want to scan.

Please help me address this.

About this issue

Original URL
State: closed
Created 6 years ago
Comments: 17 (7 by maintainers)

Most upvoted comments

Worked without the --truffle argument. But I am not able to understand why such a difference. I will ask @TlxTejaswi to close this. Thanks a lot @hiqua . Much appreciated.

tlxnithin on Dec 21, 2018

Last time we tried without --truffle, the securify was giving error saying not able to find those import files. We will try with the latest image without --truffle argument.

tlxnithin on Dec 20, 2018