Hi Cristian, I don't believe that is the issue:
$ ulimit -a core file size (blocks, -c) 0 data seg size (kbytes, -d) unlimited scheduling priority (-e) 0 file size (blocks, -f) unlimited pending signals (-i) 13335 max locked memory (kbytes, -l) 32 max memory size (kbytes, -m) unlimited open files (-n) 1024 pipe size (512 bytes, -p) 8 POSIX message queues (bytes, -q) 819200 real-time priority (-r) 0 stack size (kbytes, -s) 8192 cpu time (seconds, -t) unlimited max user processes (-u) 13335 virtual memory (kbytes, -v) unlimited file locks (-x) unlimited I think it's hitting the system limit of 1024 file descriptors, and KLEE dies within 1 second. Jiaqi On Thu, Mar 18, 2010 at 7:08 PM, Cristian Cadar <c.cadar at imperial.ac.uk> wrote: > > Hi Jiaqi, > > I think you're running into a problem that was previously discussed on the > list (see list archive for details). ?Try increasing the number of open > files using ulimit. > > Cristian > > On 18/03/10 06:23, Jiaqi Tan wrote: >> >> Hi, >> >> I'm trying to run KLEE on GNU tar, but I keep running into this error >> with symbolic file input. This problem occurs regardless of the size >> of the symbolic input files. >> >> Attached is my call to KLEE, and the output from KLEE: >> >> $ time klee -libc=uclibc -posix-runtime -init-env ./a.out.bc -x -j >> --sym-files 1 100 >> KLEE: NOTE: Using model: >> /home/jiaqi/llvm/build/klee-src/klee/Release/lib/libkleeRuntimePOSIX.bca >> KLEE: output directory = "klee-out-45" >> WARNING: this target does not support the llvm.stacksave intrinsic. >> KLEE: WARNING: undefined reference to function: __xstat64 >> KLEE: WARNING: undefined reference to function: creat64 >> KLEE: WARNING: undefined reference to function: fdopendir >> KLEE: WARNING: undefined reference to function: fstatat64 >> KLEE: WARNING: undefined reference to function: futimesat >> KLEE: WARNING: undefined reference to function: openat64 >> KLEE: WARNING: undefined reference to variable: program_invocation_name >> KLEE: WARNING: undefined reference to variable: >> program_invocation_short_name >> KLEE: WARNING: undefined reference to function: rpmatch >> KLEE: WARNING: executable has module level assembly (ignoring) >> KLEE: WARNING: calling external: syscall(54, 0, 21505, 197282816) >> KLEE: WARNING: calling __user_main with extra arguments. >> KLEE: WARNING: calling external: __xstat64(3, 197158616, 197351208) >> KLEE: WARNING: calling external: gettimeofday(197357744, 0) >> KLEE: WARNING: __syscall_rt_sigaction: silently ignoring >> KLEE: WARNING: calling external: geteuid() >> KLEE: WARNING: calling external: getpagesize() >> KLEE: WARNING: pipe: ignoring (ENFILE) >> interprocess channel: Cannot pipeKLEE: WARNING: calling external: >> vprintf(188423912, 197344000) >> >> Error is not recoverable: exiting now >> : Too many open files in system >> KLEE: done: total instructions = 690615 >> KLEE: done: completed paths = 1 >> KLEE: done: generated tests = 1 >> >> Any idea what the problem is, if I'm running KLEE wrongly, or if >> there's some problem with KLEE? >> >> Thanks, >> Jiaqi Tan >> _______________________________________________ >> klee-dev mailing list >> klee-dev at keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
