CodeQL项目中的C/C++调用图分析查询升级指南

在CodeQL项目中，随着版本的迭代升级，原有的数据流分析接口和函数签名获取方式发生了重大变化。本文将详细介绍如何将旧版的调用图分析查询升级适配到最新版本。

数据流分析接口的变更

在CodeQL 2.21.0版本中，原有的基于类的数据流配置接口已被全新的模块化方案取代。旧版采用继承DataFlow::Configuration类的方式定义数据流分析规则，而新版则使用implements DataFlow::ConfigSig的模块声明方式。

旧版配置示例：

class Conf extends DataFlow::Configuration {
  Conf() { this = "Conf" }
  override predicate isSource(DataFlow::Node source) { ... }
  override predicate isSink(DataFlow::Node sink) { ... }
}

新版配置方案：

module Conf implements DataFlow::ConfigSig {
  predicate isSource(DataFlow::Node source) { ... }
  predicate isSink(DataFlow::Node sink) { ... }
}
module ConfFlow = DataFlow::Global<Conf>;

数据流分析调用方式变化

数据流分析的调用方式也相应发生了变化。旧版通过实例化配置类并调用hasFlow方法进行分析，而新版则直接使用模块化的流分析接口。

旧版调用方式：

any(Conf conf).hasFlow(source, sink)

新版调用方式：

ConfFlow::flow(source, sink)

函数签名获取方式更新

另一个重要变化是getFullSignature()方法的移除。在分析函数调用关系时，我们经常需要获取函数的完整签名信息。新版CodeQL提供了更规范的解决方案：

1. 首先需要导入打印模块：

import semmle.code.cpp.Print

2. 然后使用getIdentityString()方法替代原有的getFullSignature()：

getIdentityString(func)  // 替代 func.getFullSignature()

调用图分析查询的完整升级方案

基于上述变更点，一个完整的调用图分析查询升级需要包含以下修改：

1. 数据流配置从类继承改为模块实现
2. 数据流分析调用方式更新
3. 函数签名获取方式替换
4. 相关辅助方法的调整（如getEnclosingCallable()现在需要配合asSourceCallable()使用）

升级后的查询能够更高效地分析C/C++项目中的函数调用关系，包括直接调用、虚函数调用和函数指针调用三种主要调用方式，并支持递归分析调用链。

升级后的优势

新版接口设计更加模块化和类型安全，提供了以下改进：

• 更清晰的配置分离
• 更好的编译时检查
• 更高效的执行性能
• 更一致的API设计风格

对于需要进行静态分析的C/C++项目，及时升级调用图分析查询可以确保获得最佳的分析效果和性能表现。