Libxml2 is the XML C parser and toolkit developed for the Gnome project (but it is usable outside of the Gnome platform).

Libtiff provides support for the Tag Image File Format (TIFF), a format used for storing image data. Included are a library, libtiff, for reading and writing TIFF and a small collection of tools for doing simple manipulations of TIFF images.

ZZipLib is a library based on zlib for accessing zip files.

GNU Coreutils package includes all of the basic command-line tools that are expected in a POSIX system, excluding shell. This package is the union of the GNU fileutils, sh-utils, and textutils packages. Most of these tools offer extended functionality beyond that which is outlined in the POSIX standard.

Ming is a Flash (SWF) output library. It can be used from PHP, Perl, Ruby, Python, C, C++ and Java.

GNU Coreutils package includes all of the basic command-line tools that are expected in a POSIX system, excluding shell. This package is the union of the GNU fileutils, sh-utils, and textutils packages. Most of these tools offer extended functionality beyond that which is outlined in the POSIX standard.

libjpeg-turbo is a JPEG image codec that accelerates baseline JPEG compression and decompression using SIMD instructions: MMX on x86, SSE2 on x86-64, NEON on ARM, and AltiVec on PowerPC processors. Even on other systems, its highly-optimized Huffman coding routines allow it to outperform libjpeg by a significant amount. libjpeg-turbo implements both the traditional libjpeg API and the less powerful but more straightforward TurboJPEG API, and provides a full-featured Java interface. It supports color space extensions that allow it to compress from and decompress to 32-bit and big-endian pixel buffers (RGBX, XBGR, etc.).

Libtiff provides support for the Tag Image File Format (TIFF), a format used for storing image data. Included are a library, libtiff, for reading and writing TIFF and a small collection of tools for doing simple manipulations of TIFF images.

GNU Coreutils package includes all of the basic command-line tools that are expected in a POSIX system, excluding shell. This package is the union of the GNU fileutils, sh-utils, and textutils packages. Most of these tools offer extended functionality beyond that which is outlined in the POSIX standard.

Libarchive provides a flexible interface for reading and writing archives in various formats such as tar and cpio. Libarchive also supports reading and writing archives compressed using various compression filters such as gzip and bzip2. The library is inherently stream-oriented; readers serially iterate through the archive, writers serially add things to the archive. In particular, note that there is currently no built-in support for random access nor for in-place modification. This package provides the bsdcat, bsdcpio and bsdtar commands.

Libtiff provides support for the Tag Image File Format (TIFF), a format used for storing image data. Included are a library, libtiff, for reading and writing TIFF and a small collection of tools for doing simple manipulations of TIFF images.

Libxml2 is the XML C parser and toolkit developed for the Gnome project (but it is usable outside of the Gnome platform).

The JasPer Project is an initiative to provide a reference implementation of the codec specified in the JPEG-2000 Part-1 standard (i.e., ISO/IEC 15444-1).

GNU Binutils is a collection of tools for working with binary files. Perhaps the most notable are "ld", a linker, and "as", an assembler. Other tools include programs to display binary profiling information, list the strings in a binary file, and utilities for working with archives. The "bfd" library for working with executable and object formats is also included.

GNU Coreutils package includes all of the basic command-line tools that are expected in a POSIX system, excluding shell. This package is the union of the GNU fileutils, sh-utils, and textutils packages. Most of these tools offer extended functionality beyond that which is outlined in the POSIX standard.

GNU Coreutils package includes all of the basic command-line tools that are expected in a POSIX system, excluding shell. This package is the union of the GNU fileutils, sh-utils, and textutils packages. Most of these tools offer extended functionality beyond that which is outlined in the POSIX standard.

Libtiff provides support for the Tag Image File Format (TIFF), a format used for storing image data. Included are a library, libtiff, for reading and writing TIFF and a small collection of tools for doing simple manipulations of TIFF images.

Libxml2 is the XML C parser and toolkit developed for the Gnome project (but it is usable outside of the Gnome platform).

libjpeg-turbo is a JPEG image codec that accelerates baseline JPEG compression and decompression using SIMD instructions: MMX on x86, SSE2 on x86-64, NEON on ARM, and AltiVec on PowerPC processors. Even on other systems, its highly-optimized Huffman coding routines allow it to outperform libjpeg by a significant amount. libjpeg-turbo implements both the traditional libjpeg API and the less powerful but more straightforward TurboJPEG API, and provides a full-featured Java interface. It supports color space extensions that allow it to compress from and decompress to 32-bit and big-endian pixel buffers (RGBX, XBGR, etc.).

libjpeg-turbo is a JPEG image codec that accelerates baseline JPEG compression and decompression using SIMD instructions: MMX on x86, SSE2 on x86-64, NEON on ARM, and AltiVec on PowerPC processors. Even on other systems, its highly-optimized Huffman coding routines allow it to outperform libjpeg by a significant amount. libjpeg-turbo implements both the traditional libjpeg API and the less powerful but more straightforward TurboJPEG API, and provides a full-featured Java interface. It supports color space extensions that allow it to compress from and decompress to 32-bit and big-endian pixel buffers (RGBX, XBGR, etc.).

Z3 is a theorem prover and satisfiability modulo theories (SMT) solver. It provides a C/C++ API, as well as Python bindings.

Fuzzy SAT is an approximate solver that borrows ideas from the fuzzing domain. It is tailored to the symbolic expressions generated by concolic engines and can replace classic SMT solvers in this context. By analyzing the expressions contained in symbolic queries, Fuzzy SAT performs informed mutations to possibly generate new valuable inputs.

QEMU is a generic machine emulator and virtualizer.

When used as a machine emulator, QEMU can run OSes and programs made for one machine (e.g. an ARM board) on a different machine---e.g., your own PC. By using dynamic translation, it achieves very good performance.

When used as a virtualizer, QEMU achieves near native performances by executing the guest code directly on the host CPU. QEMU supports virtualization when executing under the Xen hypervisor or using the KVM kernel module in Linux. When using KVM, QEMU can virtualize x86, server and embedded PowerPC, and S390 guests.

FUZZOLIC is a concolic executor based on QEMU.

It can instrument binary programs at runtime in order to build symbolic expressions and queries. To reduce the runtime overhead and improve accuracy of the queries, it devises three analysis modes that are dynamically enabled during the program execution based on the running context.

Moreover, differently from other concolic executors, FUZZOLIC runs the solver component, which reasons over the symbolic queries generated when analyzing a program, inside another process to reduce execution interferences that may be caused by the solver and negatively affect the analyzed application.