Simple and Precise Static Analysisof Untrusted Linux Kernel Extensions - prevail-paper.pdf