Java 静态分析：入门

Question

嗨，我想开始尝试 java 源代码的静态分析。首先，直接解析我的源代码树似乎是最简单的，但是假设有可用的 API。特别是，如果有一个允许这样的代码的 API 那就太好了：

for (MetaClass m : mySourcePackage.getClasses()) 
{
       System.out.println(m.getMethods().size());
       ...
}

当然，对于任何给定的类，您可以使用反射来完成此操作 - 但我更感兴趣的是从头开始静态分析整个源代码包 -并逐一迭代类（例如，评估测试覆盖率、最大行数等......）。

是否有任何高质量的开源框架可以进行此类元分析（或者，是否可以使用特定的类路径启动 JVM 并在 JVM 内部进行此类分析）？

请记住，我并不特别担心 DI 和反射等问题（至少目前不是）。

Answer 1

Findbugs 可以被视为静态分析的框架。您可以实施具有特定目标的新检测器。 “操作方法”教程

此外，这里还有一些涵盖您提到的目标的库：

• 静态分析（PMD、Findbugs)
• 代码覆盖率 (Cobertura)
• 指标 (声纳，JDepend)

更多工具/库

Answer 2

error prone 是另一个值得关注的好工具，它由 google 使用，误报率非常低，

https ://github.com/google/error-prone

代码结构非常好，

例如您可以看到 这里数组相等检查是如何实现的

Answer 3

Javalib / Sawja 是一个用于在 Caml。

它提供了静态分析所需的许多构建块，包括用于以下目的的原语：

• 解析 Java 字节码
• 创建和操作中间表示
• 操作单个指令、方法、类和整个程序
• 处理类层次结构和控制流算法

文档非常好，如果我正确回忆一下，该发行版包含几个帮助您入门的示例。

鉴于这一切，实现您所描述的源代码指标应该是快速而简单的。例如，下面是一个简短的、未经测试的代码片段，旨在计算给定类中的方法数量：

open Sawja_pack
open Javalib_pack

let size methodmap =
  JBasics.MethodMap.fold (fun _ _ count -> count+1) methodmap 0

let main classname classpath =
  let interface_or_class  = Javalib.get_class classpath (JBasics.make_cn classname) in
  let all_concrete_methods= Javalib.get_concrete_methods interface_or_class in
  print_int (size all_concrete_methods);
  exit 0

Answer 4

如果您对代码测试覆盖率的静态分析感兴趣，您可以使用 Cobertura - 和 eCobertura Eclipse IDE 插件。