软件中的“怪异机器”：探索可证明安全性的新途径

这篇文章探讨了软件开发中一种称为“怪异机器”的概念，它指的是代码中存在能够被攻击者利用的非预期行为。作者解释了“怪异机器”是如何产生的，以及它们如何被用来绕过安全措施。文章还介绍了如何通过识别和消除这些“怪异机器”来提高软件的安全性，并展望了未来的研究方向。