Static analysis to prevent Zip Bombs and architectural bottlenecks