最近，AdaCore 宣布他们为 GNU 编译器集合（GCC）增加了一些创新功能，以提升其安全性。这些新功能能够帮助开发者编写更加可靠和安全的代码，从而减少潜在的漏洞和风险。
其中一项关键功能是基于AdaCore的GNAT Pro技术，提供了通过语义验证和严格控制的工具链。这意味着开发者可以更加准确地识别和纠正潜在的安全问题，从而提高代码的可靠性和安全性。
另一个重要的功能是运行时代码审查功能，该功能在程序运行时检测潜在的问题和错误。这有助于开发者在开发过程中快速纠正问题，从而减少可能存在的漏洞和安全风险。
通过这些创新功能，AdaCore 为开发者提供了更强大的工具和技术，帮助他们构建更加安全和可靠的软件。这将有助于减少安全漏洞和风险，并提高整体代码质量。AdaCore 通过不断创新，为 GCC 用户提供了更好的安全性解决方案。
源自：https://blog.adacore.com/adacore-enhances-gcc-security-with-innovative-features
了解更多有趣的事情：https://blog.ds3783.com/