静态分析SAST应用安全漏洞扫描代码质量【免费下载链接】codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security项目地址https://gitcode.com/gh_mirrors/co/codeql点击查看免费下载导读本文基于 cpp/ql/lib/change-notes/released/3.0.0.md 发布说明系统梳理 CodeQL C 查询库 3.0.0 版本中的两项关键变更旧版继承配置类式数据流 API 的移除以及NonThrowingFunction类的弃用。读完本文你将理解新旧两代数据流 API 的形态差异与迁移路径掌握NonCppThrowingFunction的定位、实现类与使用方式并能据此完成自有查询的升级自查。一、3.0.0 版本定位3.0.0是 CodeQL C 库qlpack 版本号体系的一个主版本发布其发布说明存放在 cpp/ql/lib/change-notes/released/ 目录下与后续 4.x、10.x 等版本的说明并列构成完整的版本演进记录。该版本号与仓库根目录下的cpp/ql/lib/CHANGELOG.md中的条目一一对应——CHANGELOG.md 中 3.0.0 小节与发布说明内容完全一致可作为快速检索入口。这一版本的核心信号是兼容性收紧一方面删除长期弃用的旧数据流 APIBreaking Change另一方面宣告NonThrowingFunction进入弃用状态Deprecated API为后续版本的彻底移除铺路。二、Breaking Change旧数据流 API 被删除2.1 旧 API 的形态与删除原因发布说明明确指出Deleted the old deprecated data flow API that was based on extending a configuration class.在旧 API 中编写自定义数据流查询的标准做法是定义一个继承DataFlow::Configuration配置类的子类并在子类中覆写isSource、isSink等谓词最后通过实例化该配置类调用hasFlow来执行分析。这种方式对每个查询都要新建一个类配置与查询逻辑耦合度高且难以做模块化组合与复用因此被官方标记为 deprecated 并最终在 3.0.0 中移除。2.2 新 API 的形态仓库源码佐证新数据流 API 的核心思路是用 QL signature module签名模块取代类继承把配置抽成一个ConfigSig签名模块再通过模块实例化如makeDataFlow、GlobalConfigSig组合出可复用的分析模块。这一形态在仓库当前的 C 数据流库中有直接实现。以 cpp/ql/lib/semmle/code/cpp/ir/dataflow/MustFlow.qll 为例其MustFlow模块内定义了signature module ConfigSig { /** Holds if source is a relevant data flow source. */ predicate isSource(Instruction source); /** Holds if sink is a relevant data flow sink. */ predicate isSink(Operand sink); /** Holds if data flow through instr is prohibited. */ default predicate isBarrier(Instruction instr) { none() } /** Holds if the additional flow step from node1 to node2 must be taken into account. */ default predicate isAdditionalFlowStep(Operand node1, Instruction node2) { none() } /** Holds if this configuration allows flow from arguments to parameters. */ default predicate allowInterproceduralFlow() { any() } } module GlobalConfigSig Config { import Config predicate flowPath(PathNode source, PathSink sink) { ... } }从这段源码可以看出新 API 的几个关键特征配置即签名isSource、isSink等谓词被收敛进ConfigSig其中isBarrier、isAdditionalFlowStep、allowInterproceduralFlow都带默认实现用户只需按需覆写即插即用GlobalConfigSig Config通过导入Config将用户配置注入分析主体调用flowPath即得结果不再需要实例化配置对象模块化组合同一份ConfigSig可以被MustFlowmust-flow确定性流动或DataFlow.qllmay-flow可能性流动等不同分析引擎复用分析策略与用户配置解耦。此外DataFlowUtil.qll、ProductFlow.qll 等文件同样基于这一签名模块模式构建表明这是当前 C 库中数据流分析的标准实现范式。2.3 迁移路径发布说明同时提示迁移方法见官方发布的《new dataflow API for writing custom CodeQL queries》变更日志说明。其要点可概括为三步把配置类改为签名模块将原来class MyConfig extends DataFlow::Configuration中的isSource、isSink及可选的isBarrier、isAdditionalFlowStep谓词原样搬入signature module ConfigSig { ... }用新组合方式接入分析删除配置类实例化与hasFlow调用改为DataFlow::GlobalConfigSig/MustFlow::GlobalConfigSig这类模块化的flowPath查询入口同步更新依赖方检查仓库中所有import旧配置类的查询与库文件逐一替换为新 API 的调用方式。2.4 兼容性影响由于旧 API 在 3.0.0 中被直接删除而非仅标记弃用任何仍引用旧配置类的查询在编译时将直接报错属于硬性破坏性变更。升级 qlpack 后建议先用codeql query compile全量编译自有查询以清单方式定位所有待迁移的查询文件。三、Deprecated APINonThrowingFunction 弃用3.1 弃用声明发布说明的第二项变更是 API 弃用TheNonThrowingFunctionclass (semmle.code.cpp.models.interfaces.NonThrowing.NonThrowingFunction) has been deprecated. Please use theNonCppThrowingFunctionclass instead.弃用对象是全限定名semmle.code.cpp.models.interfaces.NonThrowing.NonThrowingFunction的类替代类是同一模块中的NonCppThrowingFunction。这一更名的背后是语义精化原类名容易让人误以为函数绝不抛出任何异常而实际语义只是不抛 C 异常——函数仍可能抛出 Windows 结构化异常处理SEH异常。3.2 新类的源码定义替代类定义于 cpp/ql/lib/semmle/code/cpp/models/interfaces/NonThrowing.qll/** * A function that is guaranteed to never throw a C exception * * The function may still raise a structured exception handling (SEH) exception. */ abstract class NonCppThrowingFunction extends Function { }要点它是Function的抽象子类属于 C 库的函数模型接口层models/interfaces供各内置函数模型实现类继承文档注释明确限定语义为保证不抛 C 异常但仍可能引发 SEH 异常这正是与旧名NonThrowingFunction的语义差异所在抽象类本身不约束任何函数具体哪些函数不抛由下游实现类决定体现了 CodeQL 库中接口 实现的分层建模风格。3.3 内置实现类示例当前仓库中已有多个模型实现类切换到NonCppThrowingFunctionNoexceptFunction.qll匹配带有noexcept说明符或等价的throw()说明符的函数即class NoexceptFunction extends NonCppThrowingFunction { this.isNoExcept() or this.isNoThrow() }。注意throw()动态异常说明在 C11 中已被弃用、C17 中移除Strcpy.qllStrcpyFunction同时继承ArrayFunction, DataFlowFunction, TaintFunction, SideEffectFunction, NonCppThrowingFunction即把strcpy及其宽字符、定长、Microsoft 变体建模为不抛 C 异常的标准函数同理Strcat.qll、Memset.qll、Memcpy.qll、Printf.qll 等文件也在仓库搜索结果中确认引用了NonCppThrowingFunction。这些实现类在 C 库的 IR 翻译层如 TranslatedCall.qll中被消费用于决定调用点是否可能产生异常路径——不抛异常的函数调用在控制流图上不会分叉出异常处理分支从而让数据流与污点分析更精确。3.4 弃用到移除的演进节奏值得注意的是弃用并非终点。后续 10.0.0 发布说明 记录The deprecatedNonThrowingFunctionclass has been removed, useNonCppThrowingFunctioninstead.同时移除的还有ThrowingFunction改用AlwaysSehThrowingFunction可见**更名 语义精确化是成对进行的**与不抛 C 异常对应的旧类NonThrowingFunction被NonCppThrowingFunction取代与总是抛 SEH 异常相关的ThrowingFunction被AlwaysSehThrowingFunction取代。因此任何在 3.0.0 之后仍未迁移的查询在 10.0.0 中将面临硬性编译失败。四、迁移自查清单针对 3.0.0 的这两项变更建议按如下清单排查自有查询与库代码全文检索旧数据流配置类搜索extends DataFlow::Configuration以及TaintTracking::Configuration等同类模式逐处替换为 signature module 形式的新 API替换 NonThrowingFunction 引用将NonThrowingFunction全部改为NonCppThrowingFunction并确认import semmle.code.cpp.models.interfaces.NonThrowing的导入无需改动新类同属该模块复核自定义函数模型如果自己写过继承NonThrowingFunction的模型类直接改继承NonCppThrowingFunction即可同时确认函数语义——若函数实际会抛 C 异常则不应继承该类编译验证使用codeql query compile对全部.ql/.qll做一次全量编译确保无残留的已删除 API 引用对照变更记录以 CHANGELOG.md 与 change-notes/released 目录为时间轴跟踪每个 API 从弃用到移除的状态迁移提前规划升级窗口。五、小结CodeQL C 库 3.0.0 通过删除旧数据流 API 弃用 NonThrowingFunction双管齐下推动库内 API 向更模块化、语义更精确的方向演进数据流配置从类继承转向签名模块MustFlow.qll 为其直接证据异常建模类则通过NonCppThrowingFunction明确了仅指 C 异常的边界。对于查询作者而言3.0.0 是一次必须响应的迁移节点而本文给出的源码定位与自查清单可以帮你以最小成本完成升级。赞分享静态分析SAST应用安全漏洞扫描代码质量【免费下载链接】codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security项目地址https://gitcode.com/gh_mirrors/co/codeql点击查看免费下载相关推荐CodeQL C 库 0.12.3 版本解析SecurityOptions 弃用、新数据流谓词与 IRGuards 迁移CodeQL C 库 0.12.3 版本解析SecurityOptions 弃用、新数据流谓词与 IRGuards 迁移 本篇技术指南聚焦 CodeQL静态分析SAST应用安全漏洞扫描代码质量CodeQL C/C 查询库 0.6.0 升级指南新 IR 数据流库与 API 迁移实战CodeQL C/C 查询库 0.6.0 升级指南新 IR 数据流库与 API 迁移实战 本篇指南围绕 CodeQL 仓库中 C/C 查询库 cod静态分析SAST应用安全漏洞扫描代码质量CodeQL C 查询库 0.7.3 版本 API 清理废弃谓词移除与迁移升级指南CodeQL C 查询库 0.7.3 版本 API 清理废弃谓词移除与迁移升级指南 本指南以 CodeQL 仓库中 C 查询库 cpp/ql/lib静态分析SAST应用安全漏洞扫描代码质量上一篇POCO遗传算法资源进化计算与优化下一篇数据结构可视化Learn-Algorithms中的链表与数组实现创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
静态分析SAST应用安全漏洞扫描代码质量【免费下载链接】codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security项目地址https://gitcode.com/gh_mirrors/co/codeql点击查看免费下载导读本文基于 cpp/ql/lib/change-notes/released/3.0.0.md 发布说明系统梳理 CodeQL C 查询库 3.0.0 版本中的两项关键变更旧版继承配置类式数据流 API 的移除以及NonThrowingFunction类的弃用。读完本文你将理解新旧两代数据流 API 的形态差异与迁移路径掌握NonCppThrowingFunction的定位、实现类与使用方式并能据此完成自有查询的升级自查。一、3.0.0 版本定位3.0.0是 CodeQL C 库qlpack 版本号体系的一个主版本发布其发布说明存放在 cpp/ql/lib/change-notes/released/ 目录下与后续 4.x、10.x 等版本的说明并列构成完整的版本演进记录。该版本号与仓库根目录下的cpp/ql/lib/CHANGELOG.md中的条目一一对应——CHANGELOG.md 中 3.0.0 小节与发布说明内容完全一致可作为快速检索入口。这一版本的核心信号是兼容性收紧一方面删除长期弃用的旧数据流 APIBreaking Change另一方面宣告NonThrowingFunction进入弃用状态Deprecated API为后续版本的彻底移除铺路。二、Breaking Change旧数据流 API 被删除2.1 旧 API 的形态与删除原因发布说明明确指出Deleted the old deprecated data flow API that was based on extending a configuration class.在旧 API 中编写自定义数据流查询的标准做法是定义一个继承DataFlow::Configuration配置类的子类并在子类中覆写isSource、isSink等谓词最后通过实例化该配置类调用hasFlow来执行分析。这种方式对每个查询都要新建一个类配置与查询逻辑耦合度高且难以做模块化组合与复用因此被官方标记为 deprecated 并最终在 3.0.0 中移除。2.2 新 API 的形态仓库源码佐证新数据流 API 的核心思路是用 QL signature module签名模块取代类继承把配置抽成一个ConfigSig签名模块再通过模块实例化如makeDataFlow、GlobalConfigSig组合出可复用的分析模块。这一形态在仓库当前的 C 数据流库中有直接实现。以 cpp/ql/lib/semmle/code/cpp/ir/dataflow/MustFlow.qll 为例其MustFlow模块内定义了signature module ConfigSig { /** Holds if source is a relevant data flow source. */ predicate isSource(Instruction source); /** Holds if sink is a relevant data flow sink. */ predicate isSink(Operand sink); /** Holds if data flow through instr is prohibited. */ default predicate isBarrier(Instruction instr) { none() } /** Holds if the additional flow step from node1 to node2 must be taken into account. */ default predicate isAdditionalFlowStep(Operand node1, Instruction node2) { none() } /** Holds if this configuration allows flow from arguments to parameters. */ default predicate allowInterproceduralFlow() { any() } } module GlobalConfigSig Config { import Config predicate flowPath(PathNode source, PathSink sink) { ... } }从这段源码可以看出新 API 的几个关键特征配置即签名isSource、isSink等谓词被收敛进ConfigSig其中isBarrier、isAdditionalFlowStep、allowInterproceduralFlow都带默认实现用户只需按需覆写即插即用GlobalConfigSig Config通过导入Config将用户配置注入分析主体调用flowPath即得结果不再需要实例化配置对象模块化组合同一份ConfigSig可以被MustFlowmust-flow确定性流动或DataFlow.qllmay-flow可能性流动等不同分析引擎复用分析策略与用户配置解耦。此外DataFlowUtil.qll、ProductFlow.qll 等文件同样基于这一签名模块模式构建表明这是当前 C 库中数据流分析的标准实现范式。2.3 迁移路径发布说明同时提示迁移方法见官方发布的《new dataflow API for writing custom CodeQL queries》变更日志说明。其要点可概括为三步把配置类改为签名模块将原来class MyConfig extends DataFlow::Configuration中的isSource、isSink及可选的isBarrier、isAdditionalFlowStep谓词原样搬入signature module ConfigSig { ... }用新组合方式接入分析删除配置类实例化与hasFlow调用改为DataFlow::GlobalConfigSig/MustFlow::GlobalConfigSig这类模块化的flowPath查询入口同步更新依赖方检查仓库中所有import旧配置类的查询与库文件逐一替换为新 API 的调用方式。2.4 兼容性影响由于旧 API 在 3.0.0 中被直接删除而非仅标记弃用任何仍引用旧配置类的查询在编译时将直接报错属于硬性破坏性变更。升级 qlpack 后建议先用codeql query compile全量编译自有查询以清单方式定位所有待迁移的查询文件。三、Deprecated APINonThrowingFunction 弃用3.1 弃用声明发布说明的第二项变更是 API 弃用TheNonThrowingFunctionclass (semmle.code.cpp.models.interfaces.NonThrowing.NonThrowingFunction) has been deprecated. Please use theNonCppThrowingFunctionclass instead.弃用对象是全限定名semmle.code.cpp.models.interfaces.NonThrowing.NonThrowingFunction的类替代类是同一模块中的NonCppThrowingFunction。这一更名的背后是语义精化原类名容易让人误以为函数绝不抛出任何异常而实际语义只是不抛 C 异常——函数仍可能抛出 Windows 结构化异常处理SEH异常。3.2 新类的源码定义替代类定义于 cpp/ql/lib/semmle/code/cpp/models/interfaces/NonThrowing.qll/** * A function that is guaranteed to never throw a C exception * * The function may still raise a structured exception handling (SEH) exception. */ abstract class NonCppThrowingFunction extends Function { }要点它是Function的抽象子类属于 C 库的函数模型接口层models/interfaces供各内置函数模型实现类继承文档注释明确限定语义为保证不抛 C 异常但仍可能引发 SEH 异常这正是与旧名NonThrowingFunction的语义差异所在抽象类本身不约束任何函数具体哪些函数不抛由下游实现类决定体现了 CodeQL 库中接口 实现的分层建模风格。3.3 内置实现类示例当前仓库中已有多个模型实现类切换到NonCppThrowingFunctionNoexceptFunction.qll匹配带有noexcept说明符或等价的throw()说明符的函数即class NoexceptFunction extends NonCppThrowingFunction { this.isNoExcept() or this.isNoThrow() }。注意throw()动态异常说明在 C11 中已被弃用、C17 中移除Strcpy.qllStrcpyFunction同时继承ArrayFunction, DataFlowFunction, TaintFunction, SideEffectFunction, NonCppThrowingFunction即把strcpy及其宽字符、定长、Microsoft 变体建模为不抛 C 异常的标准函数同理Strcat.qll、Memset.qll、Memcpy.qll、Printf.qll 等文件也在仓库搜索结果中确认引用了NonCppThrowingFunction。这些实现类在 C 库的 IR 翻译层如 TranslatedCall.qll中被消费用于决定调用点是否可能产生异常路径——不抛异常的函数调用在控制流图上不会分叉出异常处理分支从而让数据流与污点分析更精确。3.4 弃用到移除的演进节奏值得注意的是弃用并非终点。后续 10.0.0 发布说明 记录The deprecatedNonThrowingFunctionclass has been removed, useNonCppThrowingFunctioninstead.同时移除的还有ThrowingFunction改用AlwaysSehThrowingFunction可见**更名 语义精确化是成对进行的**与不抛 C 异常对应的旧类NonThrowingFunction被NonCppThrowingFunction取代与总是抛 SEH 异常相关的ThrowingFunction被AlwaysSehThrowingFunction取代。因此任何在 3.0.0 之后仍未迁移的查询在 10.0.0 中将面临硬性编译失败。四、迁移自查清单针对 3.0.0 的这两项变更建议按如下清单排查自有查询与库代码全文检索旧数据流配置类搜索extends DataFlow::Configuration以及TaintTracking::Configuration等同类模式逐处替换为 signature module 形式的新 API替换 NonThrowingFunction 引用将NonThrowingFunction全部改为NonCppThrowingFunction并确认import semmle.code.cpp.models.interfaces.NonThrowing的导入无需改动新类同属该模块复核自定义函数模型如果自己写过继承NonThrowingFunction的模型类直接改继承NonCppThrowingFunction即可同时确认函数语义——若函数实际会抛 C 异常则不应继承该类编译验证使用codeql query compile对全部.ql/.qll做一次全量编译确保无残留的已删除 API 引用对照变更记录以 CHANGELOG.md 与 change-notes/released 目录为时间轴跟踪每个 API 从弃用到移除的状态迁移提前规划升级窗口。五、小结CodeQL C 库 3.0.0 通过删除旧数据流 API 弃用 NonThrowingFunction双管齐下推动库内 API 向更模块化、语义更精确的方向演进数据流配置从类继承转向签名模块MustFlow.qll 为其直接证据异常建模类则通过NonCppThrowingFunction明确了仅指 C 异常的边界。对于查询作者而言3.0.0 是一次必须响应的迁移节点而本文给出的源码定位与自查清单可以帮你以最小成本完成升级。赞分享静态分析SAST应用安全漏洞扫描代码质量【免费下载链接】codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security项目地址https://gitcode.com/gh_mirrors/co/codeql点击查看免费下载相关推荐CodeQL C 库 0.12.3 版本解析SecurityOptions 弃用、新数据流谓词与 IRGuards 迁移CodeQL C 库 0.12.3 版本解析SecurityOptions 弃用、新数据流谓词与 IRGuards 迁移 本篇技术指南聚焦 CodeQL静态分析SAST应用安全漏洞扫描代码质量CodeQL C/C 查询库 0.6.0 升级指南新 IR 数据流库与 API 迁移实战CodeQL C/C 查询库 0.6.0 升级指南新 IR 数据流库与 API 迁移实战 本篇指南围绕 CodeQL 仓库中 C/C 查询库 cod静态分析SAST应用安全漏洞扫描代码质量CodeQL C 查询库 0.7.3 版本 API 清理废弃谓词移除与迁移升级指南CodeQL C 查询库 0.7.3 版本 API 清理废弃谓词移除与迁移升级指南 本指南以 CodeQL 仓库中 C 查询库 cpp/ql/lib静态分析SAST应用安全漏洞扫描代码质量上一篇POCO遗传算法资源进化计算与优化下一篇数据结构可视化Learn-Algorithms中的链表与数组实现创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
