I don't know what C++ is trying to do, but does everyone know about frama-c[1]?

1. https://frama-c.com/