klee
文章平均质量分 60
melissa_cjt
这个作者很懒,什么都没留下…
展开
-
klee+Ubuntu16.04+llvm3.9安装
Klee 安装方法为了安装klee我尝试了各种版本安装,终于安装成功环境:ubuntu16.04 llvm-3.9 clang-3.92018.7.27装llvm-3.9 的我当初真的是无知啊,人家klee现在适配的才到llvm-3.8. 我当初竟然装了llvm3.9. 用3.9装的klee -posix-runtime功能是不好使的。所以大家,还是先装llvm3.4 然后再...原创 2017-07-11 19:50:59 · 1392 阅读 · 1 评论 -
llvm IR 语法小例子
LLVM IR 语法2018.12.24注:去年写的,原来是有图的,不知道何时竟然图都没了,翻了好久才找到这些图。以下图程序为例:在klee运行之后,每个文件夹中都会有一个assembly.ll这是llvm IR的中间语言代码。Klee中的指令执行,都是根据这个来实现的。下图为IR代码:首先对于e这个函数:i32 表示该类型所占位数。(bit),align对齐...原创 2017-07-16 14:38:25 · 3930 阅读 · 1 评论