Note
本项目是 Joern 的深度定制分支。 我们致力于引入包括 SootUp2CPG 在内的先进静态分析能力，并计划持续对核心架构进行优化与扩展，以满足更复杂的代码分析需求。
Joern 是一个用于分析源代码、字节码和二进制可执行文件的平台。它生成代码属性图 (CPG)——一种跨语言的代码分析图表示，并将其存储在自定义的图数据库中。
本项目在官方 Joern 的基础上，重点进行了以下扩展：
集成基于 SootUp 框架的全新前端，为 Java 和 Android 分析带来质的飞跃：
- Jimple IR 精确映射: 能够准确地将 Soot 的 Jimple 中间表示转换为 CPG，保留更多语义细节。
- Android 深度支持: 针对 APK 和 Android 字节码进行了专门优化。
- 现代化架构: 利用 SootUp 的现代化 API，提升分析的稳定性和扩展性。
- CodeQL Summary 深度适配: [NEW]
- 无源码建模: 支持直接加载 CodeQL 格式的 Summary Model (
.yml)，无需反编译即可为闭源第三方库生成精准的 CPG 模型。 - 全链路流敏感: 实现了 CodeQL 的核心流向语义，包括
argument、return、synthetic field等多种 Access Path 以及taint和value类型的传播。 - 合成 AST 生成: 根据 Summary 定义自动合成对应的 AST 结构
Method、Call、Assignment等，并构建精准的数据流边，实现跨库方法的完整污点分析。
详细技术原理请参考: CodeQL Summary 集成与流传播原理
- 无源码建模: 支持直接加载 CodeQL 格式的 Summary Model (
我们正在对 Joern 的底层设施进行一系列改造，计划涵盖：
- 数据流分析引擎的增强
- 对 LLM 辅助修复流程的支持
- 更灵活的图查询语言扩展
本项目使用 sbt 构建。请确保您的环境已安装 JDK 11+ (推荐 JDK 17/21)。
sbt stage构建完成后，直接运行以下命令即可分析目标（Jar 包或 APK）：
./joern-cli/frontends/sootup2cpg/bin/sootup2cpg <path-to-jar-or-apk>📖 完整使用文档与示例: SootUp2CPG 使用指南
关于 Joern 的标准功能、安装及通用查询语法，请参考 Joern 官方文档。
本项目基于 ShiftLeft/Joern 开发。感谢原作者团队的杰出工作。