facebook/pyre-check
Pyre Check
Pyre is a high-performance static type checker and analysis tool for Python. It identifies type errors and ensures type safety without executing the program, utilizing a static type inference engine to maintain consistency across functions.
The project is distinguished by an incremental type analysis engine that operates as a background daemon. This system monitors filesystem changes to re-validate only modified parts of a project, reducing the time required for repeated analysis. It also includes a static analysis security tool that uses taint analysis to track untrusted data flows and identify potential security vulnerabilities.
Beyond type checking, the tool functions as a code quality scanner to detect logic errors, such as dead stores and unawaited awaitables. It provides type coverage tracking to quantify the proportion of typed versus untyped expressions and supports complex type verification for variadic arguments and decorator parameters.
The analysis scope can be customized through configuration settings that allow for strict type enforcement or the suppression of specific type errors.
