Pure: A static analysis file format checker for Zip files