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

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

Custom filter to prune generated PDGs from JOANA

A symbolic executor for ETL transformations

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

Ghidra plugin for automatic struct definition extraction from executables.

A commutativity verifier for Java Reducer.

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

Symbolic Execution engine for finding bugs in EO programs

Concolic Unit Test Generation for Java

Symbolic PathFinder

基于符号执行的方法调用序列追踪工具

Side-channel analysis via symbolic execution

Find contracts in the Ethereum blockchain, analyze its bytecode and filter by JSON custom rules

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

Test input generation using separation logic

Tool for algorithmic complexity analysis based on symbolic execution

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

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

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