BAP - Binary Analysis Platform provides a framework for writing program analysis tools.
angr - Python framework for analyzing binaries. Includes a symbolic execution tool.
Triton - Dynamic binary analysis platform that includes a dynamic symbolic execution tool.
manticore - Symbolic execution tool for binaries (x86, x86_64 and ARMV7) and Ethereum smart contract bytecode.
MAAT - Low-level symbolic execution tool, uses Ghidra's p-code.
BinCAT - Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection.
Sydr-Fuzz - Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle.
SymEx-VP - Symbolic execution for RISC-V embedded firmware with accurate SystemC peripheral models.
Misc
Symbooglix - Symbolic execution tool for Boogie programs.
OSS-Sydr-Fuzz - Hybrid Fuzzing for Open Source Software