4 ms·
if your program calls system call or random function which KLEE couldn't handle, some parts of code may not be tested. KLEE uses its special libc (uclibc) to de
by xnum 8y ago
if your program calls system call or random function which KLEE couldn't handle, some parts of code may not be tested.
KLEE uses its special libc (uclibc) to deal with that cases in glibc. To solve this problem perfectly, we usually uses S2E instead of KLEE in large and complex softwares (http://s2e.systems/ http://s2e.systems/)
- TheNewAndy 8y agoRight - but being a parser, I don't have those problems. My problem domain is quite well specified and there isn't any place for random numbers of system calls.