https://www.reddit.com/r/ada/comments/mme3jk/is_ada_memory_s... seems to think so, although unfortunately I'm not qualified to evaluate it (so take this with a medium-large grain of salt...)

It is still a significant upgrade in terms of safety over C.

The main argument against Ada is you can achieve a higher level of safety/convenience using C++ frameworks and code analysis tools.

The F-35 JSF project used C++, and had a draconian coding standard, and likely used all of the tools you mentioned. It was plagued with defects that costed the taxpayer billions of dollars.

https://www.stroustrup.com/JSF-AV-rules.pdf