文件名称：用于Python的静态分析工具，模糊了测试系统和类型系统之间的界限。-Python开发
文件大小：578KB
文件格式：ZIP
更新时间：2024-06-14 12:07:24
Python Code Analysis
CrossHair一个用于Python的静态分析工具，可以模糊测试和类型系统之间的界限。 最新消息：现在，您可以在crosshair-web.org的浏览器中试用CrossHair！ 如果您具有类型为CrossHair的函数，则为Python的静态分析工具会模糊测试和类型系统之间的界线。 最新消息：现在，您可以在crosshair-web.org的浏览器中试用CrossHair！ 如果您具有带有类型注释的函数，并在PEP 316启发式语法中添加了一些检查，则CrossHair会尝试为您查找反例：CrossHair的工作原理是使用符号输入反复调用函数。 它使用SMT求解器（一种定理证明器）来探索可行的执行路径，并