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

一 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

这里有个问题，这个dot文件显示的和joern显示的不一样！！！按理来说应该用阴影显示的，但是看不出来！

二 总结

1 从实例出发，了解joern是如何获取软件的AST,CFG,DFG的，重要的一点是，joern可以分析大型软件，这个很有用。

2 函数切片这个存在问题，我会查下资料，看看是啥情况

3 目前只是显示这个图像，生成的dot文件内容也相当简略，能否获取简洁的纯代码还需要继续研究下

4 本文研究的不多，除了这些外，还有很多命令没有涉及，以及neo4j的相关操作也没有涉及，还需要继续学习！