[klee-dev] 回复： 回复： 回复： How can I running .cpp from KLEE?

Tue, 06 May 2014 07:09:31 -0700 

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?

  
  

 

 ------------------ 原始邮件 ------------------
  发件人: "小、　　￣洁";<[email protected]>;
 发送时间: 2014年5月6日(星期二) 下午3:54
 收件人: "[email protected]"<[email protected]>; 
"&#xC774;&#xC6D0;&#xC900;"<[email protected]>; 
 抄送: "klee-dev"<[email protected]>; 
 主题: [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?
 

 

 ------------------ 原始邮件 ------------------
  发件人: "[email protected]"; 
 发送时间: 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.


 
发自我的小米手机
 이원준 <[email protected]>于 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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to