Joern cpg 代码属性图查询使用教程

目录

前言

测试项目

1、代码元素

1.1 方法

2、cpg 遍历

2.1 控制流遍历

2.2 数据流遍历

2.3 图遍历

2.3.1 ast 抽象语法树

2.4 过滤

---

前言

从 2017 年起，代码属性图作为 ShiftLeft Inc. 开发的静态分析解决方案的技术基础。在语句和表达式级别，它已经​​成熟为一种通用容器格式，允许托管由 8 种不同语言前端生成的图形，以支持跨编程语言使用相同的查询语言进行查询。此外，引入了覆盖的概念以允许在不同的抽象级别上表示代码，从而可以使用查询语言在这些抽象层之间进行转换，其方式与原始三个低级代码表示相同。最后，编程模型和 API 现在可用于低内存占用的并行图形处理——这是扩展该方法的核心要素。

cpg 代码属性图是有向的、带边标记的、属性化的多重图，每个节点都至少带有一个指示其类型的属性。cpg 将源码分析变成图的遍历，内部实现了完整的数据流跟踪，对基于数据流审计十分友好。

 官网 cpg 属性说明：Code Property Graph Specification Website | Code Property Graph Specification Website