No memory safe language in existence can meet your standards, since they're all written on a bedrock of unsafe code.