angr / angr/angr-management

AIL labels should be removed in the AIL view

Abierto
#902 1 comentario 1 reacción 1 asignado Reclamado por @ltfish Ver en GitHub
bug
Lenguaje dominante
Python
Estrellas
1.2k
Forks
131
Merge medio
1 d 11 h
PR fusionados (30 d)
14

Descripción

### Description

angr management renders labels on its own. We do not need to keep LABEL statements for the AIL view.

![image](https://user-images.githubusercontent.com/5071575/219728696-899ea8bc-07d2-4369-a55c-52b41d7cccde.png)

### Steps to reproduce the bug

_No response_

### Environment

_No response_

### Additional context

_No response_

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.