CodeQL 静态污点分析引擎深度工程实战：从关系代数模型、QL 不动点语义到跨过程数据流与告警治理的全链路解析
沿关系模型到 QL 语义、污点传播与工程落地的链路拆解 CodeQL 引擎：AST/CFG/DFG 三张关系表与 Datalog 不动点递归，isSource/isSink/isSanitizer/isAdditionalTaintStep 四旋钮，字段-上下文-路径敏感度三角，以及建库、CI 分层与 SARIF 告警治理实战。
投稿
微信公众账号
微信扫一扫加关注
顶部