Skip to content

KeyError: 'ins_addr' Exception, while running CFG generation #1610

@tedanvosin

Description

@tedanvosin

Description

Undefining and redefining code shows KeyError: 'ins_addr' Exception with the following traceback:

Traceback (most recent call last):
  File "/home/tedan/github/angr-dev/angr-management/angrmanagement/logic/jobmanager.py", line 82, in execute_job
    job.start(ctx)
  File "/home/tedan/github/angr-dev/angr-management/angrmanagement/data/jobs/job.py", line 89, in start
    self.result = self.run(ctx)
  File "/home/tedan/github/angr-dev/angr-management/angrmanagement/data/jobs/cfg_generation.py", line 187, in run
    cfg = self.instance.project.analyses.CFG(
  File "/home/tedan/github/angr-dev/angr/angr/analyses/analysis.py", line 266, in __call__
    r = w(*args, **kwargs)
  File "/home/tedan/.pyenv/versions/3.10.18/lib/python3.10/contextlib.py", line 79, in inner
    return func(*args, **kwds)
  File "/home/tedan/github/angr-dev/angr/angr/analyses/analysis.py", line 251, in wrapper
    oself.__init__(*args, **kwargs)
  File "/home/tedan/github/angr-dev/angr/angr/analyses/cfg/cfg.py", line 71, in __init__
    CFGFast.__init__(self, **kwargs)
  File "/home/tedan/github/angr-dev/angr/angr/analyses/cfg/cfg_fast.py", line 884, in __init__
    self._analyze()
  File "/home/tedan/github/angr-dev/angr/angr/analyses/forward_analysis/forward_analysis.py", line 284, in _analyze
    self._post_analysis()
  File "/home/tedan/github/angr-dev/angr/angr/analyses/cfg/cfg_fast.py", line 1892, in _post_analysis
    self._repair_edges()
  File "/home/tedan/github/angr-dev/angr/angr/analyses/cfg/cfg_fast.py", line 1885, in _repair_edges
    self._graph_add_edge(new_dst, src, data["jumpkind"], data["ins_addr"], data["stmt_idx"])
KeyError: 'ins_addr'

Steps to reproduce the bug

  • Load attached binary in angr-management.
  • Goto linear-disassembly view of main.
  • Undefine code at 0x781, then undefine at 0x740.
  • Define code at 0x740 then 0x781.

file.zip

Environment

9.2.205.dev0

Additional context

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugneeds-triageIssue has yet to be looked at by a maintainer

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions