Analyzing Memory Safety