CodeQL是否支持对call graph（调用图）进行编辑操作？

核心结论 #

• CodeQL默认预生成的调用图是只读的，没有提供直接修改底层数据库中调用边的原生API，和Soot的设计定位有明显区别。
• 你可以通过自定义查询谓词的方式，实现和「新增/删除调用边」完全等价的查询效果，满足绝大多数场景需求。

具体实现方案 #

你不需要修改CodeQL底层逻辑，只需要在自己的查询代码里封装一层自定义的调用关系谓词即可，示例如下：

// 自定义调用关系谓词，完全替代默认的Call查询
predicate myCall(Method caller, Method callee) {
  // 第一步：保留原有合法调用边，同时过滤掉你需要删除的边
  exists(Call originalCall |
    originalCall.getCaller() = caller and
    originalCall.getCallee() = callee
    // 示例：删除方法A调用方法B的边
    and not (caller.hasName("A") and callee.hasName("B"))
  )
  or
  // 第二步：新增你需要额外添加的调用边
  // 示例：新增方法C调用方法D的边
  (caller.hasName("C") and callee.hasName("D"))
}

后续所有和调用图相关的查询，都基于你定义的myCall谓词执行即可，最终的查询结果和修改底层调用图的效果完全一致。

和Soot的功能对比 #

Soot作为通用程序分析框架，原生提供了修改IR、读写调用图的API，适合需要深度改造程序中间表示的分析场景。
CodeQL的定位是查询驱动的静态分析工具，底层依赖预提取的代码快照数据库，默认不支持直接修改快照中的数据，但通过上层自定义谓词的方式，完全可以覆盖Soot中修改调用图后做分析的同类需求，实现成本更低。

内容的提问来源于stack exchange，提问作者Richard Hu