rr is a lightweight tool for recording, replaying and debugging execution of applications (trees of processes and threads). Debugging extends GDB with very efficient reverse-execution, which in combination with standard GDB/x86 features like hardware data watchpoints, makes debugging much more fun.

cppdap is a C++11 library ("SDK") implementation of the Debug Adapter Protocol, providing an API for implementing a DAP client or server. cppdap provides C++ type-safe structures for the full DAP specification, and provides a simple way to add custom protocol messages.

Zzuf is a transparent application input fuzzer. It works by intercepting file operations and changing random bits in the program's input. Zzuf's behaviour is deterministic, making it easy to reproduce bugs.

Scanmem is a debugging utility designed to isolate the address of an arbitrary variable in an executing process. Scanmem simply needs to be told the pid of the process and the value of the variable at several different times. After several scans of the process, scanmem isolates the position of the variable and allows you to modify its value.

QEMU is a generic machine emulator and virtualizer. This package of QEMU is used only by the american fuzzy lop package.

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.

Delta assists you in minimizing "interesting" files subject to a test of their interestingness. A common such situation is when attempting to isolate a small failure-inducing substring of a large input that causes your program to exhibit a bug.

Backward-cpp is a stack trace pretty printer for C++. It can print annotated stack traces using debug info in the executable.

Remake is an enhanced version of GNU Make that adds improved error reporting, better tracing, profiling, and a debugger.

Fiu provides CLI utilities and a C library to mark points of failure inside your code and to enable/disable the failure of those points.

AFLplusplus is a security-oriented fuzzer that employs a novel type of compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the targeted binary. This substantially improves the functional coverage for the fuzzed code. The compact synthesized corpora produced by the tool are also useful for seeding other, more labor- or resource-intensive testing regimes down the road. It is a fork of American Fuzzy Lop fuzzer and features:

• A more recent qemu version.

• More algorithms like collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, etc.

Delve is a debugger for the Go programming language.

The libleak tool detects memory leaks by hooking memory functions such as malloc. It comes as a shared object to be pre-loaded via LD_PRELOAD when launching the application. It prints the full call stack at suspicious memory leak points. Modifying or recompiling the target program is not required, and the detection can be enabled or disabled while the target application is running. The overhead incurred by libleak is smaller than that of other tools such as Valgrind, and it aims to be easier to use than similar tools like mtrace.

C-Reduce is a tool that takes a large C or C++ program that has a property of interest (such as triggering a compiler bug) and automatically produces a much smaller C/C++ program that has the same property. It is intended for use by people who discover and report bugs in compilers and other tools that process C/C++ code.

American fuzzy lop is a security-oriented fuzzer that employs a novel type of compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the targeted binary. This substantially improves the functional coverage for the fuzzed code. The compact synthesized corpora produced by the tool are also useful for seeding other, more labor- or resource-intensive testing regimes down the road.

Stress Make is a customized GNU Make that explicitly manages the order in which concurrent jobs are run to provoke erroneous behavior into becoming manifest. It can run jobs in the order in which they're launched, in backwards order, or in random order. The thought is that if code builds correctly with Stress Make, then it is likely that the Makefile contains no race conditions.

The libbacktrace library can be linked into a C/C++ program to produce symbolic backtraces.

C-Vise is a Python port of the C-Reduce tool that is fully compatible and uses the same efficient LLVM-based C/C++ clang_delta reduction tool.

This is a Linux kernel module that implements workarounds needed for using the rr debugger with AMD Zen CPU.

Decker is a multimedia platform for creating and sharing interactive documents, with sound, images, hypertext, and scripted behavior.

DejaGnu is a framework for testing software. In effect, it serves as a front-end for all tests written for a program. Thus, each program can have multiple test suites, which are then all managed by a single harness.

Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems. The Dezyne language has formal semantics expressed in mCRL2.

SCMackerel is a library in GNU Guile to create abstract syntax trees (ASTs). Initially written for mCRL2 and now also supporting other languages, such as C, C++, and C#. Based on GNU Guix records.

Dhall is an explicitly typed configuration language that is not Turing complete. Despite being Turing incomplete, Dhall is a real programming language with a type-checker and evaluator.

Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language. This package also includes an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form.

Dpic is an implementation of the pic "little language" for creating line drawings and illustrations for documents, web pages, and other uses.