复活Navex:使用图查询进行代码分析

文章目录Navex 是什么Joern 静态分析核心模块CPG 代码属性图TinkerPop 2.x Gremlin 图查询语言Tinkerpop 2.x Gremlin 基础知识itidVEinoutbothTransformhas[i][i..j]filterdedupasselectsideEffectifThenElseloopPi…