Viewing profile — xnum
xnum
HN member- Joined
- Mon, Apr 16, 2018, 11:46 PM UTC
- HN karma
- 4
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About xnum
xnum
Recent public activity
-
comment
Comment #16854131
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 i…