【论文复现】Furthering Datalog in the pursuit of program analysis

本文是对同名论文中GVN相关部分的代码进行复现，该论文的研读可以看笔者主页。

Souffle安装

Souffle是一个Datalog引擎，可以执行Datalog程序，支持将Datalog程序转换为C++程序。
在站内有该引擎的安装教程。但是其中的git链接已经失效，我将新的git链接贴在下面：

git clone https://github.com/souffle-lang/souffle.git

同时要注意，如果你按照官方教程进行编译安装，不要执行Ubuntu部分的CMake指令，在安装教程底部有相应的指令。
附一个直达链接。

编写Souffle程序