1 个仓库
Awesome GitHub RepositoriesStatic
Static analysis to identify invalid keys and improper field names in specialized dictionary and tuple types.
Distinct from Structural Type Validations: Distinct from Structural Type Validations: performs static identification of invalid fields rather than general utility-based structural matching.
Explore 1 awesome GitHub repository matching software engineering & architecture · Static. Refine with filters or upvote what's useful.
Awesome Static GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- google/pytype
google/pytype
5,037在 GitHub 上查看Pytype 是一个 Python 静态代码分析工具和类型推断引擎。它作为一个静态类型分析器，在无需完全手动标注的情况下检测类型不匹配并验证类型注解，同时还作为类型存根（stub）生成器，用于生产独立的定义文件。 该项目的特色在于通过分析代码模式和赋值自动确定变量和函数类型。此推断引擎允许进行结构化代码验证，并生成描述模块和函数接口的类型存根。 该系统涵盖了广泛的静态分析操作，包括类层级和函数调用的结构验证，以及追踪符号以检测命名空间错误和属性访问违规。它还提供类型检查原语以强制执行注解，以及一个能够使用联合（unions）和可选（optionals）类型建模复杂数据结构的类型系统。
Identifies invalid keys and improper field names within specialized dictionary and tuple types.
Pythonlinterpythonstatic-analysis
