angr / angr/angr-management

KeyError: 'ins_addr' Exception, while running CFG generation

Open
#1,610 0 comments 0 reactions 0 assignees View on GitHub
bug needs-triage
Dominant language
Python
Stars
1.2k
Forks
131
Avg merge
1d 11h
Merged PRs (30d)
14

Description

### 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](https://github.com/user-attachments/files/25848458/file.zip)

### Environment

9.2.205.dev0

### Additional context

_No response_

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.