3 ms·
Since conservative approximation is still useful, halting problem doesn't matter. That is, let's say syscall 1 is definitely used, syscall 2 is definitely not
by sanxiyn 8y ago
Since conservative approximation is still useful, halting problem doesn't matter.
That is, let's say syscall 1 is definitely used, syscall 2 is definitely not used, whether syscall 3 is used depends on halting problem. Including only 1 and 3 to unikernel is safe and better than including all of 1, 2, 3.
- gmueckl 8y agoThis works in trivial problems. Any moderately sized program I can imagine right now will result in an analysis that is equivalent to "this uses everything"