-
Updated
Mar 27, 2023 - Kotlin
#
symbolic-execution
Here are 7 public repositories matching this topic...
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
timeline history symbolic-execution dynamic-analysis program-analysis dynamic-symbolic-execution concolic-execution solving concolic
-
Updated
Aug 24, 2024 - Kotlin
A platform for analysis of Java bytecode
-
Updated
Oct 14, 2024 - Kotlin
MIPS disassembler, symbolic execution engine, recompiler and decompiler focusing on the Allegrex CPU
-
Updated
Feb 14, 2025 - Kotlin
This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http://cps.cs.uni-kl.de/en/AADD
-
Updated
Feb 21, 2025 - Kotlin
Automated unit test generation and precise code analysis for Java
-
Updated
Oct 27, 2025 - Kotlin
Universal Symbolic Virtual Machine
-
Updated
Nov 12, 2025 - 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.
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."