Isn't Ada geared more towards runtime assertions of correctness of programs (contracts and such) rather than ensuring memory safety? Can you statically guarante

Isn't Ada geared more towards runtime assertions of correctness of programs (contracts and such) rather than ensuring memory safety? Can you statically guarantee memory safety in Ada when using manual memory management? It seems that one can choose to both use runtime assertions and static proofs of correctness proofs in Spark. But I don't know if that extends to statically ensuring memory safety in low-level code.