Sorry for the spam. I just upped ulimit -n to 65535 and KLEE still dies within 1 second.
Jiaqi On Fri, Mar 19, 2010 at 8:53 AM, Jiaqi Tan <tanjiaqi at gmail.com> wrote: > 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 >> >
