Sifis Lagouvardos

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...

Problem with exception handlers in IR

2

Hello, I've encountered a case where the Exception Handlers in the IR seem to be wrong. The method is runWorker() of java.util.concurrent.ThreadPoolExecutor. The point of interest is the try block...

Initial values of static fields in DexIField

2

Hello, In Java static fields with initial values are initialized in \. However in dex bytecode static fields are not initialized in \ and the initial values are stored in...

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...

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.

Benchmarking the decompile module of heimdall

1

### Component Other (please specify) ### Question Hi, I'm working on the Gigahorse decompiler and I'm interested in evaluating it against heimdall. In the past for black-box comparisons we've opted...

Hello, I made some changes in imports, in order to model the 'from A import B' instructions correctly. Overview of what changed: ```python from package.sub1.sub2 import a ``` would be...

Default parameter values of methods.

1

Hello, Attempting to generate IR for methods with default parameters I get the following error: ``` com.ibm.wala.util.debug.UnimplementedError: TypeContext.cfg() at com.ibm.wala.util.debug.Assertions.UNREACHABLE(Assertions.java:55) at com.ibm.wala.cast.ir.translator.AstTranslator$TypeContext.cfg(AstTranslator.java:2746) at com.ibm.wala.cast.ir.translator.AstTranslator.doGlobalRead(AstTranslator.java:426) at com.ibm.wala.cast.python.ir.PythonCAstToIRTranslator.leaveVar(PythonCAstToIRTranslator.java:326) at com.ibm.wala.cast.python.ir.PythonCAstToIRTranslator.leaveVar(PythonCAstToIRTranslator.java:60) at com.ibm.wala.cast.tree.visit.CAstVisitor.visit(CAstVisitor.java:536)...

Incorrect `parameterSlots` and `returnSlots` for some methods in `functionDebugData`

1

## Description The `parameterSlots`, and `returnSlots` values for the `functionDebugData` of some compiler generated methods implementing getters are wrong. ## Environment - Compiler version: 0.8.24 - Target EVM version (as...

Stateful functors sometimes crash on prebuilt souffle, work correctly when built locally

4

Hi, We've noticed crashes on code using stateful functors that occur only when using the prebuilt `souffle` packages. Setup a [github action](https://github.com/plast-lab/souffle-addon/actions/runs/10594429577/job/29358037624) on our souffle-addon [repository](https://github.com/plast-lab/souffle-addon) (used by Gigahorse), demonstrating...