gigahorse-toolchain icon indicating copy to clipboard operation
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...