Hubert Ritzdorf
Hubert Ritzdorf
Hi @xf97 , not yet we are working on that.
Hi @ireneGP , thanks a lot for your question. This was unclear indeed. Please use: ``` java -jar build/libs/securify.jar -fh src/test/resources/solidity/transaction-reordering.bin.hex --livestatusfile /tmp/result.json ``` We also modified the usage message...
1. `"errors"` will report internal securify errors, e.g. failed decompilation. Obviously we try to minimize those. Let us know if you encounter some of those. 2. You can add `--descriptions`...
@ireneGP We are working on such patterns. And will release them once they are stable enough. You can try out some initial version under https://securify.ch
Hey @mengquanrun, sounds like a network issue to me. Can you try again?
Hey @conscott , thanks for letting us know. We will update the documentation accordingly and see if we can adjust for the new version.
Can you rerun the test cases with this change so that we can evaluate the difference?
Thanks. Do we have an ordered diff somewhere, so it is easier to see what changed?
When I rebase to the specified commit the issue is gone. `./gradlew test` gets two new errors: 1. Is about MissingInputValidation. That is expected and we are fixing it elsewhere....
@ptsankov thanks for the clarification. Which priority would you give this issue, given that most instructions will have some path to a non-reverting end of execution?