Semmle QL 中路径查询问题的解决方案

在 Semmle QL 静态代码分析工具中，当开发者尝试将查询类型从普通查询转换为路径查询(path-problem)时，可能会遇到"These should include at least an 'edges' result set"的执行错误。这个问题通常出现在查询配置不完整的情况下。

问题背景

路径查询是 Semmle QL 中一种强大的分析方式，它能够追踪数据在代码中的流动路径。与普通查询不同，路径查询需要提供额外的信息来构建路径图。当开发者将现有查询的@kind属性修改为path-problem时，必须确保查询包含了路径查询所需的所有组件。

核心问题分析

在将IntegerOverflowTainted查询转换为路径查询时，主要缺少了两个关键组件：

1. 路径图导入声明：缺少对路径图模块的显式导入
2. 路径边定义：查询结果中缺少描述节点之间关系的edges结果集

解决方案

要正确实现路径查询，需要以下修改：

1. 添加路径图导入语句：

import TaintedIntOverflow::PathGraph

2. 确保查询结果包含路径边信息。路径查询需要至少提供以下两种结果：

   • 节点信息（通常包含问题位置）
   • 边信息（描述节点之间的数据流关系）

3. 完整的路径查询应该包含路径源点、路径终点以及它们之间的连接关系。

技术实现要点

1. 路径查询依赖于数据流分析框架，需要正确定义source、sink和barrier
2. 路径图是通过TaintTracking模块自动生成的，但需要显式导入
3. 结果展示需要包含完整的路径信息，而不仅仅是最终的问题点

最佳实践建议

1. 在转换现有查询为路径查询时，先确保基础数据流分析工作正常
2. 逐步添加路径查询组件，先导入路径图模块再调整结果格式
3. 测试时关注路径展示是否完整，而不仅仅是问题是否被检出

通过正确配置路径查询，开发者可以获得更丰富的分析结果，包括问题的完整传播路径，这对于理解复杂的代码问题特别有帮助。