Problem about scanning bin.hex file

[Mitsuhamizu]

Hi, I just want to use securify to scan some binary file, but when I find it produce no result.

alex@ubuntu:~/Downloads/securify-master$ java -jar build/libs/securify.jar -fh ./src/test/resources/solidity/UnrestrictedEtherFlow2.bin.hex
  Attempt to decompile the contract with methods...
  Success. Inlining methods...
  Propagating constants...
  Verifying patterns...

just like above.
Is securify can not scan binary file or I did something wrong?
I will be appreciate if you can solve my problem!

[ritzdorf]

Hi @unlocku,

thank you for contacting us.
This part is not well documented.

Currently you can run:

java -jar build/libs/securify.jar --livestatusfile /tmp/out.json  -fh ./src/test/resources/solidity/UnrestrictedEtherFlow2.bin.hex

to write the results to /tmp/out.json but we will improve this.

[Mitsuhamizu]

Hi @unlocku,

thank you for contacting us.
This part is not well documented.

Currently you can run:

java -jar build/libs/securify.jar --livestatusfile /tmp/out.json  -fh ./src/test/resources/solidity/UnrestrictedEtherFlow2.bin.hex

to write the results to /tmp/out.json but we will improve this.

thanks!