昨天我在stackoverflow上问了一个问题,但是我没有描述清楚,所以我改变了问的方式,也许把问题说清楚了。首先,我修改了klee提供的例子get_sign.c,我将其包含unistd.h
在程序中,并调用函数sleep()
使线程暂停,如下
/*
* First KLEE tutorial: testing a small function
*/
#include <unistd.h>
int get_sign(int x) {
if (x == 0)
return 0;
if (x < 0)
return -1;
else
return 1;
}
int main() {
int a;
klee_make_symbolic(&a, sizeof(a), "a");
sleep(10);
return get_sign(a);
}
我使用“ llvm-gcc
”编译get_sign.c,然后使用klee get_sign.o
执行objectfile,线程不暂停,表示sleep()
不工作。所以我在执行get_sign.o时添加了一个参数,像这样klee --libc=uclibc get_sign.o
,不幸的是,线程仍然没有挂起,而且klee报告错误,
KLEE: ERROR: /home/lab/work/klee-uclibc/libc/signal/sigaction.c:58: failed external call: __syscall_rt_sigaction
KLEE: NOTE: now ignoring this error at this location
我能做些什么来解决这个问题?谢谢你!