angr / angr/angr-management

Avoid edge crossing in graph view

Aperta
#516 3 commenti 0 reazioni 0 assegnatari Vedi su GitHub
enhancement
Lingua principale
Python
Stelle
1.2k
Fork
131
Merge medio
1g 11h
PR unite (30g)
14

Descrizione

Sometimes edges will unnecessarily cross:

![image](https://user-images.githubusercontent.com/8210/140429377-7ba4d270-c36c-4681-9e29-1514d6d7296a.png)

vs Ida:

![image](https://user-images.githubusercontent.com/8210/140429922-0d1456c5-3237-4371-a609-3474fe9480fd.png)

---

![image](https://user-images.githubusercontent.com/8210/140429645-e70462b6-4d40-4ede-9b53-dae5376a28d9.png)

vs Ida (also the left-most node is pushed down to align with the other exit node predecessors):

![image](https://user-images.githubusercontent.com/8210/140429886-c68b6a6f-d034-41f1-8681-9adb1dafb5b8.png)

---

Other times edges will not cross:

![image](https://user-images.githubusercontent.com/8210/140429423-ff0aae78-04f5-41ef-84ae-7642ba377de5.png)

Preferably the edge router would avoid letting edges cross

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.