本文介绍CodeQL中用于分析Java程序调用图的类：Callable（可被调用的方法或构造器）和Call（调用点），以及导航谓词getCallee、getCaller和polyCalls。通过示例展示如何编写查询查找未使用的方法，并逐步优化查询，排除库代码、类初始化器、finalize方法、公共方法、默认构造器及测试类，以减少误报。