Hello, i have some questions regarding POSIX model in KLEE.
1. Why do all these posix functions really being called over syscall()? Can't KLEE just symbolize return values? For a program it would be no difference, or i'm missing something? 2. Should this POSIX runtime library compile on any POSIX compliant system? I've tried to compile it on FreeBSD and failed because of undefined #define's used in syscall() and some other problems. Despite i'm not sure, that FreeBSD is absolutely POSIX compliant, some code (not only POSIX runtime, but tools/get-random-bout too) does not compile because of defines or functions, that present only in linux. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20101005/2eaf74cb/attachment.html
