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 ）
• 指标（ Sonar ， JDepend ）

更多工具/库

Answer 2

容易出错是另一个值得关注的工具，它由Google使用，误报率极低，

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

代码结构很好，

例如，您可以在此处看到如何执行数组相等检查

Answer 3

Javalib / Sawja是一个用于在Caml中编写Java静态分析器的库。

它提供了静态分析所需的许多构造块，其中包括：

• 解析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-和Eclipse IDE的eCobertura插件。