klee 测试一个简单的正则表达式匹配函数
函数源代码位于 klee源码 的examples/regexp文件夹下面:c程雪源码文件名为 Regexp.c
First Step: 使用clang编译器将c源代码转化为llvm位码形式。如果你的klee是建立在llvm 2.9的基础之上的, 你应该使用llvm-gcc,生成一个.o文件而不是以下的命令操作。 klee --version可以查看自己的klee版本和llvm版本。
命令需要在c代码所在的文件夹下面使用
posted on 2019-03-20 11:05 Zhw_forever 阅读(318) 评论(0) 编辑 收藏 举报