文件名称：CrossHair - 用于Python的静态分析工具-python
文件大小：579KB
文件格式：ZIP
更新时间：2024-07-08 14:15:17
代码分析和Lint工具
用于Python的静态分析工具，模糊了测试系统和类型系统之间的界限。 CrossHair 一种用于 Python 的静态分析工具，它模糊了测试和类型系统之间的界限。 最新消息：现在您可以在 crosshair-web.org 的浏览器中试用 CrossHair！ 如果您有带有类型注释的函数并在 PEP 316 启发的语法中添加了一些检查，CrossHair 将尝试为您找到反例：CrossHair 通过使用符号输入重复调用您的函数来工作。 它使用 SMT 求解器（一种定理证明器）来探索可行的执行路径并为您找到反例。 这不是一个新的想法; 本文首先描述了 Python 的一种方法。 然而，据我所知，CrossHair 是这个想法最完整的实现：它支持符号列表、字典、集合和自定义/可变对象。 注意：CrossHair 目前处于高度实验状态。 你可以提供帮助 - 继续阅读！ 目录 为什么要使用 CrossHair？ 如何编写合同 入门 IDE 集成限制 我能提供什么帮助？ 贡献者相关工作 为什么我应该使用 CrossHair？ 精度更高。 通常，我们关心的不仅仅是类型。