gigahorse-toolchain

gigahorse-toolchain copied to clipboard

prevent symbolic_value from saturating integers

3

This tackles a miss-optimization from Solidity that generates code like this: ``` 0xa50x31: va5V31 = MLOAD va3V31(0x40) 0xa60x31: va6V31(0x1f) = CONST 0xa80x31: va8V31(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) = NOT va6V31(0x1f) 0xa90x31: va9V31 = ADD...

snf

Flow analysis + memory modeling

4

Hi, first I'd like to thank you for making gigahorse open source. It's an amazing research project and tool. This is not a concrete issue but more of a brain...

snf

Cannot compile on Mac

4

Ran ``` brew install boost brew install --HEAD souffle-lang/souffle/souffle git clone --recurse-submodules --remote-submodules https://github.com/nevillegrech/gigahorse-toolchain cd gigahorse-toolchain cd souffle-addon make cd .. ./gigahorse.py examples/long_running.hex ``` and get the error ``` File...

Divide-By-0

On this [contract](https://library.dedaub.com/contracts/Ethereum/4679EA96F15A4742274DC72E1A58E01AF333D302) the biggest part of the body of the `transferFrom()` function is not part of the decompiled output. It is the `0x1a37()` function but the call at block...

sifislag

I tried to perform some kind of out-of-SSA translation on the output TAC representation. I found some of the PHI operations seem to be ill-formed. Take `long_running.hex` as an example,...

XiaowenHu96

Possible missing events from output

14

I tried using gigahorse to decompile contract 0x85865A86502ffB25a1cb3BBAc809d814FEB614e9 and only got a single event in the output. According to etherscan, there should be 4 events. I also tried using different...

machete-michael

Analytics returning 0 for all outputs

2

I'm currently running gigahorse via docker (ubuntu 22.04 souffle 2.2) and getting 0 for all outputs under Analytics regardless of bytecodes I use, even the example: ``` -------------------------------------------------------------------------------- Analytics --------------------------------------------------------------------------------...

kalanyuz

Need some constant folding in `GlobalAnalysis`

2

We currently only perform constant folding at `local.dl`: https://github.com/nevillegrech/gigahorse-toolchain/blob/2c3994b1390aba93ee87922d35bb1acce618ba42/logic/local.dl#L118C1-L135C56 There are [cases](https://app.dedaub.com/ethereum/address/0x37e49bf3749513a02fa535f0cbc383796e8107e4/decompiled) in which this isn't enough. Relevant snippet: ``` Begin block 0x4aaa0xb67 prev=[0x39db0xb67], succ=[0x4eb10xb67] ================================= 0x4aab0xb67: vb674aab(0x4abe) = CONST...

sifislag

Update souffle to 2.4.1 in tests

2

Souffle 2.4.1 not uploaded yet (https://github.com/souffle-lang/ppa/tree/main/ubuntu/pool/stable). Created issue https://github.com/souffle-lang/ppa/issues/1.

sifislag

The "freeze_support()" line can be omitted if the program

3

I ran the code but encountered several problems, may I ask if anyone has encountered this problem? 1. This probably means that you are not using fork to start your...

hyue0768