1 Repo
Awesome GitHub RepositoriesStatic Attribute Access Verification
Analysis of source code to detect attempts to access or write non-existent or non-writable attributes and module members.
Distinguishing note: No candidate covers the static detection of missing or read-only attributes in a programming language context.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Static Attribute Access Verification. Refine with filters or upvote what's useful.
Awesome Static Attribute Access Verification GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- google/pytype
google/pytype
5,037Auf GitHub ansehenPytype ist ein Tool zur statischen Code-Analyse und eine Typinferenz-Engine für Python. Es fungiert als statischer Typ-Analysator, der Typ-Diskrepanzen erkennt und Typ-Annotationen verifiziert, ohne dass vollständige manuelle Hinweise erforderlich sind, und dient gleichzeitig als Typ-Stub-Generator zur Erstellung eigenständiger Definitionsdateien. Das Projekt zeichnet sich dadurch aus, dass es Variablen- und Funktionstypen durch eine Analyse von Codemustern und Zuweisungen automatisch bestimmt. Diese Inferenz-Engine ermöglicht eine strukturelle Code-Verifizierung und die Generierung von Typ-Stubs, die die Schnittstellen von Modulen und Funktionen beschreiben. Das System deckt breite statische Analyseoperationen ab, einschließlich struktureller Validierung von Klassenhierarchien und Funktionsaufrufen sowie Symbol-Tracking zur Erkennung von Namespace-Fehlern und Zugriffen auf ungültige Attribute. Es bietet zudem Typ-Prüf-Primitive zur Durchsetzung von Annotationen und ein Typsystem, das in der Lage ist, komplexe Datenstrukturen unter Verwendung von Unions und Optionals zu modellieren.
Detects attempts to access or write attributes and module members that do not exist or are not writable.
Pythonlinterpythonstatic-analysis
