Problem about scanning bin.hex file

eth-sri / securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Apache License 2.0

216 stars 50 forks source link

Problem about scanning bin.hex file #108

Closed Mitsuhamizu closed 2 years ago

Mitsuhamizu commented 5 years ago

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 commented 5 years ago

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 commented 4 years ago

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!