`pyright` type checking is very slow
Maintainer antworten meist innerhalb von 3 Tagen
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Anfängerfreundlichkeit
- 52/100
- Issue-Typ
- Bug
- Klarheit
- Größtenteils klar
- Aktivitätsstatus
- Aktiv
- Tech-Stack
- python
- Bereich
- developer-experience, performance
Rechercherichtung
Start by reproducing the issue with the test.py example and pyright --outputjson, comparing results with and without show_graph_report(1, 2). Trace the binaryninja.interaction.show_graph_report API and its exposed type information to identify what causes the evaluation slowdown. Done means importing and using it no longer causes the reported drastic increase in pyright time.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
Version and Platform (required):
- Binary Ninja Version: 6.0.10601 (can't easily test dev for packaging reasons)
- Edition: Personal
- OS: NixOS
- OS Version: 26.05
- CPU Architecture: x64
Bug Description:
Importing and using binaryninja.interaction.show_graph_report causes pyright evaluation time to rise from 6s to ~40s.
Steps To Reproduce:
- Create
test.py - Paste:
from binaryninja.interaction import show_graph_report
show_graph_report(1, 2)
- Run
pyright --outputjson test.py - Observe
timeInSecto be vastly larger than normal (~40s for my system) - Comment out
show_graph_report(1, 2) - Rerun pyright and observe
timeInSecof below 1s
Expected Behavior:
Importing show_graph_report should not cause a drastic increase in pyright evaluation time.
Screenshots/Video Recording:
If applicable, please add screenshots/video recording here to help explain your problem.
Binary:
If applicable, please provide us with the binary to help us work with the issue faster. Here are a few options:
Additional Information:
I'm using this to get pyright to discover the api in my dev env:
BINJA_ROOT=$(cat "$HOME/.binaryninja/lastrun" | tr -d '\n')
export PYTHONPATH="$BINJA_ROOT/python:$PYTHONPATH"
- Vorherrschende Sprache
- C++
- Sterne
- 1.3k
- Forks
- 297
- Ø Merge
- 5 T. 3 Std.
- Gemergte PRs (30 T.)
- 28
Entwicklungsumgebung
Dieses Projekt bietet weder Dev-Container noch Dockerfile noch Beitragsleitfaden – die Einrichtung liegt bei Ihnen. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus Vector35/binaryninja-api
-
Component: Python API
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 70/100
Vector35/binaryninja-api#8649 ·
Maintainer antworten meist innerhalb von 3 Tagen
-
Hexagon lifting issuesOffen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
Vector35/binaryninja-api#8621 · 1 Kommentar ·
Maintainer antworten meist innerhalb von 3 Tagen
-
ARMv7 lifting issuesOffen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 84/100
Vector35/binaryninja-api#8617 · 1 Kommentar ·
Maintainer antworten meist innerhalb von 3 Tagen
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
Vector35/binaryninja-api#8589 ·
Maintainer antworten meist innerhalb von 3 Tagen
-
Schwierigkeit 1/5 1-3 Stunden Anfängerfreundlichkeit 88/100
Vector35/binaryninja-api#8540 ·
Maintainer antworten meist innerhalb von 3 Tagen
Alle Issues in Vector35/binaryninja-api
Ähnliche Issues
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100
mesonbuild/wrapdb#2961 ·
Maintainer antworten meist innerhalb von 1 Tag
-
80 Instance - Raid - Northrend
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 62/100
azerothcore/azerothcore-wotlk#28075 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 85/100
objectionary/eo-graphs#80 ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
Maintainer antworten meist innerhalb von 2 Tagen
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 70/100
Maintainer antworten meist innerhalb von 1 Tag