代码属性图之-joern简易教程

最新推荐文章于 2024-09-29 16:26:40 发布

water_likly

最新推荐文章于 2024-09-29 16:26:40 发布

阅读量4.7k

点赞数 5

分类专栏：代码属性图

本文链接：https://blog.csdn.net/water_likly/article/details/89394532

版权

代码属性图专栏收录该内容

6 篇文章 1 订阅

订阅专栏

一 Joern实例分析

在Joern中发现了一个实例教程，本着学习的态度，尝试复现这个过程，以增加自己的经验！严谨转载，欢迎讨论！

1 正常安装joern以及neo4j。

2 建议下载教程中的VLC版本。

cd $JOERN #joern目录
mkdir tutorial; cd tutorial #创建并转入tutorial
wget http://download.videolan.org/pub/videolan/vlc/2.1.4/vlc-2.1.4.tar.xz #下载vlc源码
tar xfJ vlc-2.1.4.tar.xz//解压
cd .. #返回上一级
./joern tutorial/vlc-2.1.4/  #导入代码

加压后的内容如下，这是一个完整的工程。

之后，需要更改neo4j下conf/neo4j-server.properties的变量：

org.neo4j.server.database.location=$JOERN/.joernIndex/，生成的.joernIndex在哪，就改为哪。

3 从控制台启动neo4j：

cd $neo4j/bin
sudo ./neo4j console

4 另开一个终端，使用joern-tools来实现节点的查询，-g 参数是指使用Germlin语言查询。首先使用Germlin查询检索所有直接连接到根节点的所有节点：

echo 'g.v(0).out()' | joern-lookup -g

首先是目录，或者说文件夹。n0是第一个文件夹，总目录，也就是vlc-2.1.4，其余的14个分别对应vlc-2.1.4中的14的文件夹。

尝试使用joern来获取某个函数的AST,CFG,DFG

1 查看GetAoutBuffer函数的位置： echo 'getFunctionsByName("GetAoutBuffer").id' | joern-lookup -g | joern-location

2 首先，使用john -plot- ast生成AST的.dot文件，如下：

echo 'getFunctionsByName("GetAoutBuffer").id' | joern-lookup -g | tail -n 1 | joern-plot-ast > foo.dot

其次，显示这个ast图像：

dot -Tsvg foo.dot -o ast.svg; eog ast.svg

最左边的一部分如下：

3 获取该函数的CFG：首先，利用 joern-plot-proggraph -cfg 生成CFG的dot文件

echo 'getFunctionsByName("GetAoutBuffer").id' | joern-lookup -g | tail -n 1 | joern-plot-proggraph -cfg > cfg.dot;

其次，dot -Tsvg cfg.dot -o cfg.svg; eog cfg.svg

结果如下：

上面的一部分放大后如下：

4 获取该函数的CFG，首先利用 joern-plot-proggraph -ddg -cfg生成相应的dot文件

echo 'getFunctionsByName("GetAoutBuffer").id' | joern-lookup -g | tail -n 1 | joern-plot-proggraph -ddg -cfg > ddgAndCfg.dot;

其次再用 dot -Tsvg ddgAndCfg.dot -o ddgAndCfg.svg; eog ddgAndCfg.svg 来显示这个文件，如下：

上面部分放大后

由此可以看出，joern对数据的传输很明确！

以上为joern获取文件的AST，CFG，DFG等操作，操作关键在于：1 查找自己感兴趣的函数；2 会使用相应的函数来获取相应的图，并用相应的命令来显示。

5 通过joern获取相应的切片：joern是通过CFG,DFG等来获取切片的，这点和angr一样。首先，获取dot文件

echo 'getFunctionsByName("GetAoutBuffer").id' | joern-lookup -g | tail -n 1 | joern-plot-proggraph -ddg -cfg | joern-plot-slice 1856423 'p_buf' > slice.dot;

其次显示这个文件：dot -Tsvg slice.dot -o slice.svg;eog slice.svg