Hacker News new | past | comments | ask | show | jobs | submit login
Scooping the Loop Snooper (2000) (ed.ac.uk)
39 points by Schwolop on Aug 18, 2015 | hide | past | favorite | 2 comments



Every signed Windows driver since Windows 7 has passed the Static Driver Verifier, which, using machine proofs, attempts to prove that all the functions return in finite time.

Microsoft policy is that if the Verifier runs more than 45 minutes without deciding whether a driver passes, the driver fails. If your driver has a termination condition so complicated that you can't get a machine proof of termination, it has no business being in the kernel.

So there.


Brilliant




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: