CrossHair：Python静态分析工具，用于Python的静态分析工具，模糊了测试系统和类型系统之间的界限。