3 ms·Simple and Precise Static Analysisof Untrusted Linux Kernel Extensions [pdf]2 points by signa11 5y ago