A high-performance, fully-featured CSV parser and serializer for modern C++.

free C++ class library of cryptographic schemes

High-performance regular expression matching library

A fast single-producer, single-consumer lock-free queue for C++

Fast and memory efficient c++ flat hash map/set

C macros for hash tables and more

A fast multi-producer, multi-consumer lock-free concurrent queue for C++11

A highly optimized single producer single consumer message queue C++ template

A family of header-only, very fast and memory-friendly hashmap and btree containers.

Common libraries and data structures for C.

Open-source symbolic execution framework: https://maat.re

LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

Lightweight generic ring buffer manager library

A bounded multi-producer multi-consumer concurrent queue written in C++11

Lock-free ring buffer (MPSC)

A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).

Simple, fast, accurate single-header microbenchmarking functionality for C++11/14/17/20

A powerful static binary rewriting tool

Witch-KLEE - A KLEE-based error witness checker

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

An awesome & curated list of binary rewriting papers

memory scanner for Linux

Library to parse and work with the C++ AST

Generic model checker for concurrent C programs (mirror repository)

Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

C++ implementation of a fast hash map and hash set using hopscotch hashing

ELFIO - ELF (Executable and Linkable Format) reader and producer implemented as a header only C++ library

An LLVM-based formal verification frontend for C programs.