qq_44826960的博客

史上最全 抽丝剥茧代码属性图CPG系列

SAST-Benchmark测试集

代码属性图CPG的介绍，其包含丰富的代码信息，且含有推断模块，扩展性强，是一款很强大的静态代码分析框架。

此处与我之前写的文章“SAST-数据流分析方法-理论”（加链接）讲的ICFG的构建方法类似，笔者认为这种基础性质的东西还是有必要掌握的，建议对ICFG构建不熟悉的同学点链接再学习一下~OK，目前为止，CallExpression的DFG构建过程已经验证完成，后续的其他类型的节点的验证过程直接贴图了，不再赘述，大家直接看图就OK~可以看到，结果与源码是对应的，好，我们接着往下走，看看真实的DFG边是不是像上文说的那样构建的~，这里给大家讲一下，cpg的CallExpression有两个子类，一个是。

SAST数据流分析基础理论，包括过程内数据流分析及过程间数据流分析。