angr / angr/angr-management

KeyError: 'ins_addr' Exception, while running CFG generation

Ouverte
#1,610 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
bug needs-triage
Langage dominant
Python
Étoiles
1.2k
Forks
131
Merge moyen
1 j 11 h
PR mergées (30 j)
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_

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.