ameba:Crystal的静态代码分析工具 源码

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

LitterBox是用于检测项目中错误的静态代码分析工具。 Scratch程序中的错误会破坏乐趣并抑制学习成功。 许多常见的错误是错误代码重复发生的结果。 LitterBox提供了对常见错误模式集合的

PHPStan-PHP静态分析工具 PHPStan专注于在不实际运行代码的情况下查找代码中的错误。 即使在编写代码测试之前,它也可以捕获所有类别的错误。 从某种意义上说,它使PHP更接近于编译语言,因

crystal-book:位于https://crystal-lang.orgreference的Crystal文档

PMD是一种开源工具，用于通过静态分析检测Java代码的错误。它与其他分析工具不同，可以在不运行Java程序的情况下报告错误。安装方法：在Linux系统下，可直接执行以下命令进行安装：cd /opt、

1、历史 Prefast是微软研究院提出的静态代码分析工具。主要目的是通过分析代码的数据和控制信息来检测程序中的缺陷。需要强调的是,Prefast检测的缺项不仅仅是安全缺陷,但是安全缺陷类型是其检

crystal-darksky:DarkSky天气API的Crystal实现

magickwand-crystal:MagickWand库的Crystal C绑定

heroku-buildpack-crystal:用于Crystal的Heroku buildpack

crystal-cassandra:Crystal的Cassandra驱动程序