Here are
7 public repositories
matching this topic...
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Updated
Aug 24, 2024
Kotlin
Automated unit test generation and precise code analysis for Java
Updated
Jun 3, 2024
Kotlin
A platform for analysis of Java bytecode
Updated
Oct 14, 2024
Kotlin
Universal Symbolic Virtual Machine
Updated
Jun 19, 2025
Kotlin
MIPS disassembler, symbolic execution engine, recompiler and decompiler focusing on the Allegrex CPU
Updated
Feb 14, 2025
Kotlin
Updated
Feb 21, 2025
Kotlin
Updated
Mar 27, 2023
Kotlin
Improve this page
Add a description, image, and links to the
symbolic-execution
topic page so that developers can more easily learn about it.
Curate this topic
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."
Learn more
You can’t perform that action at this time.