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.

Dyninst integration for AFL++

CIVL is a framework encompassing

• a programming language, CIVL-C, which adds to C a number of concurrency primitives, as well as the to define functions in any scope. Together, these features make for a very expressive concurrent language that can faithfully represent programs using various APIs and parallel languages, such as MPI, OpenMP, CUDA, and Chapel. CIVL-C also provides a number of primitives supporting verification.

• a model checker which uses symbolic execution to verify a number of safety properties of CIVL-C programs. The model checker can also be used to verify that two CIVL-C programs are functionally equivalent.

• a number of translators from various commonly-used concurrency languages/APIs to CIVL-C (currently, MPI, OpenMP, Pthreads, and CUDA).

Taosc generates emergent fixes for binaries.

Pacfix systhesizes predicate expressions for program repair from values in possitive and negative examples using a PAC learning algorithm.

SymInfer is an invariant generation tool that discovers program properties at arbitrary program locations (e.g., loop invariants, post conditions). It infers program invariants or properties over program execution traces or program source code. SymInfer supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.

Rust programming language toolchain

ArkScript is a small, fast, functional and scripting language for C++ projects

object capability-based sudo

Schemesh is an interactive shell scriptable in Lisp. It supports interactive line editing, autocompletion, history and the familiar Unix shell syntax.

Chez Scheme is a self-hosting compiler: building it requires ``boot files'' containing the Scheme-implemented portions compiled for the current platform. (Chez can then cross-compile bootfiles for all other supported platforms.)

This package provides boot files for the released version of Chez Scheme bootstrapped by chez-scheme-for-racket. Chez Scheme 9.5.4 or any later version can be used for bootstrapping. Guix ultimately uses the Racket package cs-bootstrap to bootstrap its initial version of Chez Scheme.

Pattern matching in Chez Scheme

A web framework for Igropyr

Igropyr is a single-threaded server based on libuv asynchronous events.

Scheme's commonly used small functions

Liber is a template parser for Scheme List to HTML

Chez Scheme is both a programming language and a high-performance implementation of that language. The language is a superset of R6RS Scheme with numerous extensions, including native threads, non-blocking I/O, local modules, and much more. Chez Scheme compiles source expressions incrementally to machine code, providing the speed of compiled code in an interactive system. The system is intended to be as reliable and efficient as possible, with reliability taking precedence over efficiency if necessary.

Knot Resolver is a caching full resolver implementation written in C and LuaJIT, both a resolver library and a daemon.

This package provides tools for manipulating ext2/ext3/ext4 file systems.

Envoy is an open source edge and service proxy, designed for cloud-native applications

File browser

Reddit Sans. The typeface of the internet

Maple Mono font (NF Unhinted)

Maple Mono font (NF CN Unhinted)