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.

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.

Delve is a debugger for the Go programming language.

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.

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.

Fandango is a generator of inputs and interactions for software testing. Given the specification of a program's input or interaction language, Fandango generates myriads of valid sample inputs for testing. The specification language combines a grammar with constraints written in Python. Minimization or maximization soft constraints and input distributions can also be expressed in Fandango.

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.

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

cgdb is a lightweight curses (terminal-based) interface to the GNU Debugger (GDB). In addition to the standard gdb console, cgdb provides a split screen view that displays the source code as it executes. The keyboard interface is modeled after vim, so vim users should feel at home using cgdb.

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.

GNU DDD, the Data Display Debugger, is a graphical front-end for command-line debuggers. Many back-end debuggers are supported, notably the GNU debugger, GDB. In addition to usual debugging features such as viewing the source files, DDD has additional graphical, interactive features to aid in debugging.

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

MspDebug supports FET430UIF, eZ430, RF2500 and Olimex MSP430-JTAG-TINY programmers, as well as many other compatible devices. It can be used as a proxy for gdb or as an independent debugger with support for programming, disassembly and reverse engineering.

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.

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.

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.

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.

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.

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.

Pikchr (pronounced picture) is a PIC-like markup language for diagrams in technical documentation. Pikchr is designed to be embedded in fenced code blocks of Markdown or similar mechanisms of other documentation markup languages.

FreeDict is a project that offers over 140 free dictionaries in about 45 languages, with the right to study, change and modify them. You can use them offline on your computer or mobile phone and export them to any format and application.

In order to limit store size and build complexity, only the build targets that build dictionaries in dictd format are retained when this Guix package is installed.

The DICT Interchange Format (DICF) is a human-readable format for the interchange of dictionary databases for the use with DICT protocol client/server software.

This package provides a client dict and a server program dictd for the DICT protocol, as well as a utility dictfmt to convert various dictionary formats into dictionaries that can be served by dictd or Dico.