java8
看不到源码VBSAC
存储库
VBSAC
介绍
目前,我们正在尽力在
Java
中实现
LLVM
API。
因此,我们的工具可能不支持
LLVM
中的所有功能。
如果您遇到任何问题,请随时给我发电子邮件。
先决条件
要使用
VBSAC,我们需要安装以下工具
python2
-
用于错误可视化工具
firefox
-
用于错误可视化工具[Chrome
可能会遇到一些问题]
llvm-3.9
-
用于静态分析[我们在
llvm-3.9
上构建我们的工具,其他版本可能会面临一些不可预测的问题。]
java8
-
用于静态分析
用法和示例
我们准备了一个视频来指导使用,点击这里TODO
解压缩
VBSAC
和
bug-visualizer
cd
VBSAC_tool
#
unzip
the
zip
file
upzip
bug-visualizer.zip
unzip
engine-3.0.zip
目前,我们收到
Llvm-IR
*.ll
.ll
作为输入。
我们使用example.c来说明工具链。
编译源代码
#
compile
the
c
into
ll
with
debug