回复： 回复： How can I running .cpp from KLEE?

[小、 ￣洁]

KLEE must be inistalled on Linux X86_64? What operating systems you use? Ubutu or Debian?




------------------ Ô­ÊŒÓÊŒþ ------------------
·¢ŒþÈË: "***@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.



·¢×ÔÎÒµÄСÃ×ÊÖ»ú
ƒ3š3ƒ3‰9ƒ3Á9 <***@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?

Loading Image...

ps. that Korean mean is no such file or directory

[小、 ￣洁]

When I have installed CLang, during the installation of the llvm ,it still notes that clang++ not found
why?




------------------ Ô­ÊŒÓÊŒþ ------------------
·¢ŒþÈË: "С¡¢¡¡¡¡£þœà";
·¢ËÍʱŒä: 2014Äê5ÔÂ6ÈÕ(ÐÇÆÚ¶þ) ÏÂÎç3:54
ÊÕŒþÈË: "***@gmail.com"; "&amp;#xC774;&amp;#xC6D0;&amp;#xC900;";
³­ËÍ: "klee-dev";
Ö÷Ìâ: [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?




------------------ Ô­ÊŒÓÊŒþ ------------------
·¢ŒþÈË:"***@gmail.com";
·¢ËÍʱŒä: 2014Äê5ÔÂ5ÈÕ(ÐÇÆÚÒ») ÏÂÎç2:21
ÊÕŒþÈË: "ƒ3š3ƒ3‰9ƒ3Á9";
³­ËÍ: "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.



·¢×ÔÎÒµÄСÃ×ÊÖ»ú
ƒ3š3ƒ3‰9ƒ3Á9 <***@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

[小、 ￣洁]

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?






------------------ 原始邮件 ------------------
发件人: "小、　　￣掁";<***@qq.com>;
发送时闎: 2014幎5月6日(星期二) 䞋午3:54
收件人: "***@gmail.com"<***@gmail.com>; "&#xC774;&#xC6D0;&#xC900;"<***@nate.com>;
抄送: "klee-dev"<klee-***@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?




------------------ 原始邮件 ------------------
发件人: "***@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.



发自我的小米手机
읎원쀀 <***@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