[klee-dev] 回复: 回复: 回复: How can I running .cpp from KLEE?
小、  ̄洁
zyj183247166 at qq.com
Tue May 6 15:02:22 BST 2014
After configuring the llvm-2.9, i type make
it tells that
Intercept.cpp:70:65: error: ‘lseek’ was not declared in this scope
and I find Intercept.cpp:
StatSymbols() {
sys::DynamicLibrary::AddSymbol("stat", (void*)(intptr_t)stat);
sys::DynamicLibrary::AddSymbol("fstat", (void*)(intptr_t)fstat);
sys::DynamicLibrary::AddSymbol("lstat", (void*)(intptr_t)lstat);
sys::DynamicLibrary::AddSymbol("stat64", (void*)(intptr_t)stat64);
sys::DynamicLibrary::AddSymbol("\x1stat64", (void*)(intptr_t)stat64);
sys::DynamicLibrary::AddSymbol("\x1open64", (void*)(intptr_t)open64);
sys::DynamicLibrary::AddSymbol("\x1lseek64", (void*)(intptr_t)lseek64);
sys::DynamicLibrary::AddSymbol("fstat64", (void*)(intptr_t)fstat64);
sys::DynamicLibrary::AddSymbol("lstat64", (void*)(intptr_t)lstat64);
sys::DynamicLibrary::AddSymbol("atexit", (void*)(intptr_t)atexit);
sys::DynamicLibrary::AddSymbol("mknod", (void*)(intptr_t)mknod);
}
};
I don't know why lseek64 was not declared because i didnot know where it is declared ,as is stat,etc. But stat is declared. Why?
------------------ 原始邮件 ------------------
发件人: "小、  ̄洁";<zyj183247166 at qq.com>;
发送时间: 2014年5月6日(星期二) 下午3:54
收件人: "madinmud at gmail.com"<madinmud at gmail.com>; "이원준"<net_abc at nate.com>;
抄送: "klee-dev"<klee-dev at imperial.ac.uk>;
主题: [klee-dev] 回复: 回复: How can I running .cpp from KLEE?
KLEE must be inistalled on Linux X86_64? What operating systems you use? Ubutu or Debian?
------------------ 原始邮件 ------------------
发件人: "madinmud at gmail.com";
发送时间: 2014年5月5日(星期一) 下午2:21
收件人: "이원준";
抄送: "klee-dev";
主题: [klee-dev] 回复: How can I running .cpp from KLEE?
You need to install built essencials
, or you are using a 64bit maching without the 32bit -compatible libs installed.
发自我的小米手机
이원준 <net_abc at nate.com>于 2014-5-1 下午10:14写道:
1. Im edit tutorial 1's get_sign.c -> get_sign.cpp
2. and just followed tutorial1
3. now im meet the error what's the problem?
http://puu.sh/8uNcI.png
ps. that Korean mean is no such file or directory
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the klee-dev
mailing list