本文是对同名论文中GVN相关部分的代码进行复现，该论文的研读可以看笔者主页。 Souffle安装 Souffle是一个Datalog引擎，可以执行Datalog程序，支持将Datalog程序转换为C++程序。 在站内有该引擎的安装教程。但是其中的git链接已经失效，我将新的git链接贴在下面： git clone https://github.com/souffle-lang/souffle