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

2024-01-02 20:31:41

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

Souffle安装

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

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

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

编写Souffle程序

文章来源:https://blog.csdn.net/weixin_45207619/article/details/135317175
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。