SEH机制与异常安全保护程序免受攻击的防线
SEH（Structured Exception Handling）简介
SEH是一种用于处理C语言中异常的机制，包括硬件生成的和软件生成的异常。它允许开发者编写一段代码来捕获、处理或忽略特定的异常类型。SEH通过在栈上创建一个链表来跟踪错误信息，并且可以跨函数调用层次传递。
异常安全概念
异常安全是指在面对可能出现的问题时，程序能够保持其内存资源的一致性和正确性。它涉及到两个主要方面：无泄露（No-Leak）和强原子性（Strong Atomicity）。无泄露意味着即使发生了错误，程序也不能释放未被使用的资源，而强原子性则要求多线程环境下操作是不可分割且完整执行的。
SEH实现原理
SEH通过Exception Frame这个数据结构来实现，它包含了当前正在处理中的所有已知异常，以及要跳转到的地址。当一个新的exception被触发时，将会构建一个新的Exception Frame，并将其添加到链表末尾。如果没有找到合适的handler来处理该exception，那么系统将会终止当前进程并进行崩溃报告。
使用SEH保护程序
在实际应用中，可以通过设置合适的Exception Filter以及注册相应的Handler来提高程序对于各种潜在问题如越界访问、空指针引用等风险的手动管理能力。在某些情况下，这种手动控制可以比自动化工具提供更精细化地解决方案，但同时也增加了开发者的责任，因为过度依赖于这些手段可能导致bug难以发现。
反向工程中的SEH利用
反向工程师有时候需要利用SEH机制来破解软件。这通常涉及到修改或者注入恶意代码，以便绕过原始应用中的安全检查。这种技术虽然复杂但有效，是现代网络犯罪行为中的一种重要手段。不过，这类活动严重违反法律法规，因此应当避免从事此类活动。
future trend of exception handling in C/C++
随着C++20标准发布，std::terminate_handler已经成为了一种可选模块，使得用户能够自定义终结点逻辑。此外，还有许多库和框架，如Microsoft's C++/WinRT等，为开发者提供了一系列高级API以简化异常处理过程，同时增强应用程序稳定性的保障措施。未来我们可以预见的是，对于异步编程模型下的异常管理将变得更加重要，以确保系统性能不受突发事件影响。
