Use angr in Ghidra
-
Updated
Jul 29, 2024 - Java
#
symbolic-execution
Here are 22 public repositories matching this topic...
Datalog with support for SMT queries and first-order functional programming
-
Updated
Nov 3, 2025 - Java
Tool for algorithmic complexity analysis based on symbolic execution
-
Updated
Sep 17, 2018 - Java
A high-performance, parallel, compilation-based symbolic execution engine
-
Updated
Nov 8, 2025 - Java
Side-channel analysis via symbolic execution
-
Updated
Dec 17, 2020 - Java
Test input generation using separation logic
-
Updated
Jul 5, 2019 - Java
A commutativity verifier for Java Reducer.
-
Updated
Oct 13, 2020 - Java
Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution
programming-language compiler deep-reinforcement-learning symbolic-execution feedback-loop code-translation large-language-models neurosymbolic-ai
-
Updated
Nov 6, 2024 - Java
Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder
-
Updated
Dec 6, 2024 - Java
SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
-
Updated
Jan 13, 2025 - Java
Find contracts in the Ethereum blockchain, analyze its bytecode and filter by JSON custom rules
bytecode graph ethereum smart-contracts blockchain symbolic-execution analyzer ethereum-bytecode ethereum-analyzer
-
Updated
Jun 6, 2018 - Java
Ghidra plugin for automatic struct definition extraction from executables.
-
Updated
Dec 20, 2024 - Java
SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
-
Updated
Apr 30, 2025 - Java
LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.
-
Updated
Aug 4, 2023 - Java
FSE 2024: Natural Symbolic Execution-based Testing for Big Data Analytics
-
Updated
Feb 15, 2025 - Java
Symbolic Execution engine for finding bugs in EO programs
-
Updated
Dec 15, 2023 - Java
PLI is an efficient symbolic execution approach for programs that manipulate complex heap-allocated data structures with rich structural constraints
-
Updated
Jan 28, 2025 - Java
Concolic Unit Test Generation for Java
-
Updated
Apr 28, 2023 - Java
Improve this page
Add a description, image, and links to the symbolic-execution topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symbolic-execution topic, visit your repo's landing page and select "manage topics."