angr / angr/angr-management

KeyError: 'ins_addr' Exception, while running CFG generation

Aperta
#1,610 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
bug needs-triage
Lingua principale
Python
Stelle
1.2k
Fork
131
Merge medio
1g 11h
PR unite (30g)
14

Descrizione

### 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_

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.