libsolv: A dependency solver using a satisfiablility algorithm Libzip could be made to crash if it received specially crafted input.