Common Lisp 的静态代码分析工具？答案

【问题标题】：Static code analysis tool for Common Lisp?Common Lisp 的静态代码分析工具？
【发布时间】：2011-05-13 05:26:27
【问题描述】：

我正忙于学习 Common Lisp，我正在寻找一个静态代码分析工具，它可以帮助我开发更好的风格并避免陷入常见的陷阱。

我找到了Lisp Critic，我认为它看起来不错，但我希望有人能够推荐一些其他工具，和/或与他们分享他们的经验。

【问题讨论】：

【解决方案1】：

鉴于 Lisp 的动态特性，静态分析从困难到不可能，取决于源代码的类型。

出于某些目的，我建议使用 SBCL 编译器。查看其手册以了解它提供的功能。一个特征是某种形式的类型推断。它还针对未声明的变量、类型问题、使用错误数量的 args 调用函数、使用未定义的函数、以各种方式违反 ANSI CL 标准等等提供了许多标准警告。

【讨论】：

【解决方案2】：

了解良好风格的最佳方式是阅读大量代码并请其他人审查您的代码。这不是 Common Lisp 特有的。

【讨论】：

同意；我已经将一些 Common Lisp 代码发布到 codereview.stackexchange.com 并收到了一些很好的反馈。
@DuncanBayne 在过去 11 年中变得足够庞大和复杂的任何平台都有太多的熵，无法仅靠人眼处理。全世界都在敦促使用 Black Duck、SonarQube 和 Snyk 等自动化代码质量工具来降低安全风险。我正在寻找可以集成到 SonarQube 或 Code Climate 中的 Clojure 和 Lisp 工具。

【解决方案3】：

我认为一个灰色的工具是使用 lisp-critic，你可以得到一些信息这里：

以及由@Xach 完成的翻拍

【讨论】：