用途:对代码库进行深度数据流安全分析,构建 CodeQL 数据库、生成数据扩展模型、运行安全查询并处理 SARIF 结果。支持 Python、JavaScript/TypeScript、Go、Java/Kotlin、C/C++、C#、Ruby、Swift。
主要能力:包含三个工作流——build-database(按构建方法顺序创建数据库)、create-data-extensions(为项目 API 检测或生成数据扩展模型)、run-analysis(选择规则集、执行查询、处理结果)。强调数据库质量评估(文件数、基线 LoC、提取器错误)、显式引用 .qls 套件以避免静默过滤、零发现需排查而非直接判定安全。
使用方式:先确认 codeql 已安装(codeql --version),解析输出目录(用户指定或默认 ./static_analysis_codeql_1 递增),通过 codeql-database.yml 标记文件发现已有数据库,再按工作流逐步执行。所有产物存入 $OUTPUT_DIR,包括 codeql.db、build.log、diagnostics、extensions、raw/results.sarif 和 results/results.sarif。
适用场景:深度数据流漏洞扫描、跨过程污点追踪、多查询包安全审计、从源码构建数据库。
限制:不适用于编写自定义查询、CI/CD 集成、快速模式搜索(建议 Semgrep)、编译型语言无构建能力、单文件轻量分析。macOS Apple Silicon 编译型语言需 arm64 工具链或 Rosetta 变通,退出码 137 为架构不匹配而非构建失败。build-mode=none 仅作最后手段。具体安装命令与价格资料暂未提供。