[klee-dev] Running grep with klee

[Awanish]

Hi Everyone,

I compiled grep source code with both llvm2.9 and  llvm-3.4, then try to 
run on corresponding klee. In both the cases output is same but not the 
desired one. LLVM ERROR: invalid argument to evalConstant().

Anyone have Idea what I am doing wrong in this?

Complete output is this.

KLEE: NOTE: Using klee-uclibc : 
/home/awanish/git/duklee/build/Release+Asserts/lib/klee-uclibc.bca
KLEE: WARNING: undefined reference to function: __ctype_b_loc
KLEE: WARNING: undefined reference to function: __ctype_tolower_loc
KLEE: WARNING: undefined reference to function: __ctype_toupper_loc
KLEE: WARNING: undefined reference to function: __fxstat
KLEE: WARNING: undefined reference to function: __fxstatat
KLEE: WARNING: undefined reference to function: __getdents
KLEE: WARNING: undefined reference to function: __lxstat
KLEE: WARNING: undefined reference to function: __overflow
KLEE: WARNING: undefined reference to function: __strdup
KLEE: WARNING: undefined reference to function: __strtol_internal
KLEE: WARNING: undefined reference to function: __uflow
KLEE: WARNING: undefined reference to function: __xstat
KLEE: WARNING: undefined reference to function: access
KLEE: WARNING: undefined reference to function: bindtextdomain
KLEE: WARNING: undefined reference to function: chdir
KLEE: WARNING: undefined reference to function: close
KLEE: WARNING: undefined reference to function: creat
KLEE: WARNING: undefined reference to function: dcgettext
KLEE: WARNING: undefined reference to function: fchdir
KLEE: WARNING: undefined reference to function: fcntl
KLEE: WARNING: undefined reference to function: fdopendir
KLEE: WARNING: undefined reference to function: fstat
KLEE: WARNING: undefined reference to function: fstatfs
KLEE: WARNING: undefined reference to function: iconv
KLEE: WARNING: undefined reference to function: iconv_close
KLEE: WARNING: undefined reference to function: iconv_open
KLEE: WARNING: undefined reference to function: ioctl
KLEE: WARNING: undefined reference to function: lseek
KLEE: WARNING: undefined reference to function: lseek64
KLEE: WARNING: undefined reference to function: open
KLEE: WARNING: undefined reference to function: openat
KLEE: WARNING: undefined reference to function: pcre_assign_jit_stack
KLEE: WARNING: undefined reference to function: pcre_compile
KLEE: WARNING: undefined reference to function: pcre_exec
KLEE: WARNING: undefined reference to function: pcre_fullinfo
KLEE: WARNING: undefined reference to function: pcre_jit_stack_alloc
KLEE: WARNING: undefined reference to function: pcre_jit_stack_free
KLEE: WARNING: undefined reference to function: pcre_maketables
KLEE: WARNING: undefined reference to function: pcre_study
KLEE: WARNING: undefined reference to function: pipe
KLEE: WARNING: undefined reference to function: pthread_mutex_init
KLEE: WARNING: undefined reference to function: pthread_mutexattr_destroy
KLEE: WARNING: undefined reference to function: pthread_mutexattr_init
KLEE: WARNING: undefined reference to function: pthread_mutexattr_settype
KLEE: WARNING: undefined reference to function: read
KLEE: WARNING: undefined reference to function: splice
KLEE: WARNING: undefined reference to function: textdomain
KLEE: WARNING: undefined reference to function: write
LLVM ERROR: invalid argument to evalConstant()


-- 
Thanks and Regards
Awanish Pandey
PhD, CSE
IIT Kanpur

-------------- next part --------------
HTML attachment scrubbed and removed