A static analysis automation framework.
A C library for reading, creating, and modifying zip archives.
