pyre-check

!WARNING 此仓库已存档 此仓库不再维护，已存档。 类型检查： Pyre 已被 Pyrefly 取代，这是我们的下一代 Python 类型检查器和语言服务器。 安全分析（Pysa）： Pysa 已迁移至独立仓库 github.com/facebook/Pysa。如果您正在寻找 Pysa，请前往该处。 Pyre 是一个高性能的 Python 类型检查器，符合 PEP 484 标准。Pyre 能够增量分析数百万行代码的代码库，在开发者编写代码时提供即时反馈。请参阅我们的文档以快速上手。 Pyre 内置了 Pysa ，这是一个基于 Pyre 构建的安全导向静态分析工具，能够推理 Pyth...