Checking Memory Safety with Blast