angr / angr/angr-management

Avoid edge crossing in graph view

オープン
#516 コメント 3 件 リアクション 0 件 担当者 0 名 GitHub で見る
enhancement
主要言語
Python
スター
1.2k
フォーク
131
平均マージ
1日 11時間
マージ済み PR(30日)
14

説明

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

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

評価

この issue はまだ評価されていません。

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。