AdaCore Enhances GCC Security with Innovative Features (blog.adacore.com)

These features are in the release notes too [1], but the blog post gives better examples.

[1]: https://gcc.gnu.org/gcc-14/changes.html

Very interesting contribution from Adacore to GCC.