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

Question

代码质量检查工具在哪个主体上工作？

例如PMD，FindBugs，CheckStyle等。

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

Answer 1

FWIW，FindBugs是David H. Hovemeyer's PhD thesis的结果。 FindBugs documentation还列出了几篇论文。