findbugs - 代码质量检查工具的内部工作是什么？

Question

代码质量检查工具的工作原理是什么？

例如 PMD、FindBugs、CheckStyle 等。

他们是否使用某种计算机科学原理？

Answer 1

FWIW，FindBugs 是David H. Hovemeyer 博士论文的成果。FindBugs 文档还列出了更多论文。