google/pytype
Pytype
Pytype es una herramienta de análisis de código estático y motor de inferencia de tipos para Python. Funciona como un analizador de tipos estático que detecta desajustes de tipos y verifica anotaciones de tipos sin requerir pistas manuales completas, sirviendo también como un generador de stubs de tipos para producir archivos de definición independientes.
El proyecto se distingue por determinar automáticamente los tipos de variables y funciones mediante un análisis de patrones de código y asignaciones. Este motor de inferencia permite la verificación estructural del código y la generación de stubs de tipos que describen las interfaces de módulos y funciones.
El sistema cubre operaciones amplias de análisis estático, incluyendo validación estructural de jerarquías de clases y llamadas a funciones, y seguimiento de símbolos para detectar errores de espacio de nombres y violaciones de acceso a atributos. También proporciona primitivas de verificación de tipos para aplicar anotaciones y un sistema de tipos capaz de modelar estructuras de datos complejas utilizando uniones y opcionales.
Features
- Automatic Type Inferences - Automatically determines variable and function types by analyzing code patterns and assignments.
- Type Annotations - Validates provided type hints to ensure the code adheres to specified type constraints throughout the project.
- Argument Type Mismatch Detectors - Identifies variables or return values assigned values that are incompatible with their declared type annotations.
- Static Argument Validation - Detects incorrect argument counts and mismatched types during function calls via static analysis.
- Type Stub Generators - Produces standalone type definition files that describe the interfaces of modules and functions.
- Type Stub Files - Uses standalone type stub files to model interfaces for third-party libraries and binary modules.
- Generic Types - Verifies that generic types use correct concrete types and that type variables are defined and used validly.
- Constraint-Based Inference - Utilizes a constraint-based solver to propagate type information across the codebase automatically.
- Type Narrowing - Refines variable types within conditional branches based on guards encountered in the execution flow.
- Static Attribute Access Verification - Detects attempts to access or write attributes and module members that do not exist or are not writable.
- Static Namespace Analysis - Identifies references to non-existent names in the current namespace and invalid module imports.
- Type Inference Support - Analyzes code to detect common mistakes and enforce type consistency without requiring manual type annotations.
- Python Type Checkers - Detects type mismatches and logic errors in Python source code without executing the program.
- Static Type Checking - Checks provided type hints against language standards to identify mismatches and logic errors.
- Static Code Analysis Tools - Identifies namespace errors and attribute access violations through automated source code inspection.
- Static Type Inference Engines - Determines variable and expression types through static analysis of source code without runtime execution.
- Symbol Reference Mapping - Builds maps of symbol definitions and usages to track dependencies and references across modules.
- Abstract Syntax Tree Parsing - Implements parsing of Python source code into abstract syntax trees for subsequent static analysis.
- Advanced Type Modeling - Enables the definition of advanced type constraints using unions and optionals to model intricate data structures.
- Static Data Structure Validation - Provides structural validation for specialized Python constructs such as data classes and enumerated types.
- Global Namespace Resolution - Tracks available symbols across various scopes to detect undefined names and invalid import statements.
- Exhaustive Pattern Matches - Detects incomplete or redundant cases when matching over enumerated types to ensure exhaustive logic.
- External Library Definitions - Enables the use of declaration files to provide type mappings for external third-party dependencies.
- Type Annotation Generators - Creates standalone stub files containing inferred type information that can be merged back into the source code.
- Third Party Library Typing - Creating and managing type stub files for external Python modules to ensure correct API usage and attribute access.
- Python Refactoring Libraries - Provides cross-reference mapping and namespace analysis to support safe restructuring of Python projects.
- Class Hierarchy Validation - Identifies illegal base classes and invalid method resolution orders to ensure proper structural integrity.
- Static - Identifies invalid keys and improper field names within specialized dictionary and tuple types.
- External Framework Type Logic - Applies specialized type checking and stubs for external frameworks to ensure correct API usage.
- Annotation Tools - Toolchain for applying stub files to source code.
- Code Analysis - Listed in the “Code Analysis” section of the Awesome Python awesome list.
- Static Type Checkers - Static type inference and checking tool that works without explicit annotations.
- Type Checkers - Analyzes code to infer and verify type information.
- Type Checking - Infers and checks types without requiring manual annotations.
