Search results

bug: decompilation freezes on certain contracts

T-bugType: bugType: bug

Status: Open.

#560 In Jon-Becker/heimdall-rs;

· fala13 opened on Feb 11, 2025

feat(decompile): add additional context to LLM-postprocessing via transaction decoding

C-decompileCommand: decompileCommand: decompile

D-hardDifficulty: hardDifficulty: hard

P-highPriority: highPriority: high

T-featureType: featureType: feature

Status: Open.

#547 In Jon-Becker/heimdall-rs;

· Jon-Becker opened on Jan 1, 2025

attempt to detect dynamic jumps and link them in symbolic execution

A-symbolic-executionArea: symbolic executionArea: symbolic execution

D-hardDifficulty: hardDifficulty: hard

P-normalPriority: normalPriority: normal

T-featureType: featureType: feature

Status: Open.

#503 In Jon-Becker/heimdall-rs;

· Jon-Becker opened on Sep 24, 2024

feat(dump): resolve <code>slot</code> into a more descriptive value

A-coreArea: coreArea: core

C-decompileCommand: decompileCommand: decompile

C-dumpCommand: dumpCommand: dump

D-hardDifficulty: hardDifficulty: hard

P-normalPriority: normalPriority: normal

T-featureType: featureType: feature

Status: Open.

#484 In Jon-Becker/heimdall-rs;

· Jon-Becker opened on Aug 19, 2024

Incorrect Decompilation for the functions that call other contract functions

A-coreArea: coreArea: core

C-decompileCommand: decompileCommand: decompile

D-hardDifficulty: hardDifficulty: hard

P-normalPriority: normalPriority: normal

T-bugType: bugType: bug

Status: Open.

#412 In Jon-Becker/heimdall-rs;

· EthanShang8989 opened on May 24, 2024

implement CALLDATACOPY support

T-todoType: todoType: todo

todo

Status: Open.

#379 In Jon-Becker/heimdall-rs;

· github-actions opened on Apr 11, 2024

add tests for symbolic execution &amp; recursive_map

T-todoType: todoType: todo

todo

Status: Open.

#279 In Jon-Becker/heimdall-rs;

· github-actions opened on Jan 8, 2024

feat(decompile): support nested mappings

C-decompileCommand: decompileCommand: decompile

D-hardDifficulty: hardDifficulty: hard

P-normalPriority: normalPriority: normal

T-featureType: featureType: feature

Status: Open.

#269 In Jon-Becker/heimdall-rs;

· Jon-Becker opened on Jan 3, 2024

feat(decode): support decoding of raw logs

A-coreArea: coreArea: core

C-decodeCommand: decodeCommand: decode

D-hardDifficulty: hardDifficulty: hard

P-normalPriority: normalPriority: normal

T-featureType: featureType: feature

Status: Open.

#262 In Jon-Becker/heimdall-rs;

· Jon-Becker opened on Dec 31, 2023

[Bug]: function parameters amount error

A-symbolic-executionArea: symbolic executionArea: symbolic execution

C-decompileCommand: decompileCommand: decompile

D-hardDifficulty: hardDifficulty: hard

P-normalPriority: normalPriority: normal

T-bugType: bugType: bug

Status: Open.

#166 In Jon-Becker/heimdall-rs;

· justforfunya opened on Nov 9, 2023