Skip to content

attempt to detect dynamic jumps and link them in symbolic execution #503

New issue
New issue
Open
Open
attempt to detect dynamic jumps and link them in symbolic execution#503
Labels
A-symbolic-executionArea: symbolic executionD-hardDifficulty: hardP-normalPriority: normalT-featureType: feature
@Jon-Becker

Description

@Jon-Becker
Jon-Becker
opened on Sep 24, 2024

Component

Heimdall (Core)

Describe the feature you would like

https://x.com/jtriley_eth/status/1834692924204105915

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-symbolic-executionArea: symbolic executionD-hardDifficulty: hardP-normalPriority: normalT-featureType: feature

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions