Spicy-based analyzer for the ZIP file format - View it on GitHub