Datalog with support for SMT queries and first-order functional programming

A high-performance, parallel, compilation-based symbolic execution engine

SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.

FSE 2024: Natural Symbolic Execution-based Testing for Big Data Analytics

PLI is an efficient symbolic execution approach for programs that manipulate complex heap-allocated data structures with rich structural constraints

SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.

Ghidra plugin for automatic struct definition extraction from executables.

Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder

Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution

Use angr in Ghidra

Symbolic Execution engine for finding bugs in EO programs

LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.

Concolic Unit Test Generation for Java

Custom filter to prune generated PDGs from JOANA

Side-channel analysis via symbolic execution

A commutativity verifier for Java Reducer.

A symbolic executor for ETL transformations

Test input generation using separation logic

Symbolic PathFinder

Tool for algorithmic complexity analysis based on symbolic execution