None of them solve use after free, for example.

Ada would rather be a nice choice, but most hackers love their curly brackets.