Skip to content
KitploitKITPLOIT
ToolsBlog
Einreichen
ToolsBlog
Einreichen

Hacking-, PenTest- und Cybersicherheits-Tools für Ihr Sicherheitsarsenal!

Kitploit ist ein Verzeichnis von Hacking-, Cybersicherheits- und Pentesting-Tools. Entdecken Sie die neuesten Projekt-Updates, um Schwachstellen zu finden, Systeme zu analysieren, Tests zu automatisieren und Ihre Sicherheit zu stärken.

··Feeds·Kontakt·Datenschutz·© 2026 Kitploit

Tool-Verzeichnis

Kategorien

Alle Kategorien anzeigen
Loading categories
pyre-check — Performante Typprüfung für Python. | Kitploit
Tools/GitHubGitHub/facebook/pyre-check
Statische AnalyseSchwachstellenanalyseCode-AnalyseArchived
GitHubfacebook/pyre-check

pyre-check

Performante Typprüfung für Python.

Repository anzeigenWebseite
7.2k452vor 1 MonatVon Kitploit geprüft

Beliebteste

Alle anzeigen →

Entdecken Sie die meistgenutzten Tools unserer Community.

Alle Tools erkunden

Durchsuchen Sie unsere Tool-Sammlung

Alle Tools anzeigen →
Teilen

tests License: MIT Gitter

[!WARNING]

Dieses Repository ist archiviert

Dieses Repository wird nicht mehr gepflegt und wurde archiviert.

  • Typprüfung: Pyre wurde durch Pyrefly ersetzt, unseren Typechecker und Sprachserver der nächsten Generation.
  • Sicherheitsanalyse (Pysa): Pysa wurde in ein eigenes Repository unter github.com/facebook/Pysa verlegt. Wenn Sie nach Pysa suchen, gehen Sie bitte dorthin.

Pyre ist ein leistungsstarker Typprüfer für Python, der mit PEP 484 kompatibel ist. Pyre kann Codebasen mit Millionen von Zeilen inkrementell analysieren – und bietet Entwicklern sofortiges Feedback, während sie Code schreiben. Weitere Informationen finden Sie in unserer Dokumentation.

Pyre wird mit Pysa ausgeliefert, einem sicherheitsorientierten statischen Analysetool, das wir auf Pyre aufgebaut haben und das Datenflüsse in Python-Anwendungen analysiert. Pysa befindet sich jetzt in einem eigenen Repository unter github.com/facebook/Pysa – bitte gehen Sie dorthin, um die neueste Version zu erhalten und mit unserer Sicherheitsanalyse zu beginnen.

Pysa ist auch auf dem GitHub Marketplace als Github Action verfügbar.

Voraussetzungen

Um loszulegen, benötigen Sie Python 3.9 oder höher und watchman auf Ihrem System. Auf MacOS können Sie alles mit homebrew installieren:

root@kitploit:~
$ brew install python3 watchman

Auf Ubuntu, Mint oder Debian verwenden Sie apt-get und homebrew:

root@kitploit:~
$ sudo apt-get install python3 python3-pip python3-venv
$ brew install watchman

Wir haben Pyre auf Ubuntu 18.04.5 LTS, CentOS 7 sowie OSX 10.11 und später getestet.

Einrichten eines Projekts

Wir beginnen mit der Erstellung eines leeren Projektverzeichnisses und der Einrichtung einer virtuellen Umgebung:

root@kitploit:~
$ mkdir my_project && cd my_project
$ python3 -m venv ~/.venvs/venv
$ source ~/.venvs/venv/bin/activate
(venv) $ pip install pyre-check

Als nächstes informieren wir Pyre über unser neues Projekt:

root@kitploit:~
(venv) $ pyre init

Dieser Befehl erstellt eine Konfiguration für Pyre (.pyre_configuration) sowie für watchman (.watchmanconfig) im Verzeichnis Ihres Projekts. Akzeptieren Sie vorerst die Standardeinstellungen – Sie können sie später bei Bedarf ändern.

Ausführen von Pyre

Wir sind nun bereit, Pyre auszuführen:

root@kitploit:~
(venv) $ echo "i: int = 'string'" > test.py
(venv) $ pyre
 ƛ Found 1 type error!
test.py:1:0 Incompatible variable type [9]: i is declared to have type `int` but is used as type `str`.

Dieser erste Aufruf startet einen Daemon, der auf Dateisystemänderungen lauscht – und Ihr Projekt inkrementell typüberprüft, während Sie Änderungen am Code vornehmen. Sie werden feststellen, dass nachfolgende Aufrufe von pyre schneller sind als der erste.

Ausführlichere Dokumentation finden Sie unter https://pyre-check.org.

Werden Sie Teil der Pyre-Community

Unter CONTRIBUTING.md erfahren Sie, wie Sie mithelfen können.

Lizenz

Pyre ist unter der MIT-Lizenz lizenziert.

Tool herunterladen