Hacker News new | ask | show | jobs
by rootw0rm 3447 days ago
100% code coverage for symbolic execution of the kernel seems a bit optimistic, no?