gigahorse-toolchain
gigahorse-toolchain copied to clipboard
A binary lifter and analysis framework for Ethereum smart contracts
Results
12
gigahorse-toolchain issues
Sort by
recently updated
recently updated
newest added
I am not able to understand the translation of a loop function to the IR generated by Gigahorse. I have a solidity function that looks like the example shown below....
I wanted to use gigahorse to identify the proxy call instructions in the fallback function, but found that the fallback functions of some contracts were not separated, and the logic...