setjump not supported in KLEE
Open
fuzzer blocker
- Dominant language
- Python
- Stars
- 1.2k
- Forks
- 302
- PR merge metrics
- No merged PRs in 30d
Description
When running the libpng benchmark, there's an error `KLEE: ERROR: /klee/runtime/POSIX/illegal.c:40: longjmp unsupported`
Not sure what do do about it now.
1. Add it to uclibc?
2. Add it to KLEE?
Contributor guide
Assessment
This issue has not been assessed yet.