An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
-
Updated
Sep 24, 2025 - Jupyter Notebook
#
symbolic-execution-engine
Here are 16 public repositories matching this topic...
A high-performance, parallel, compilation-based symbolic execution engine
-
Updated
Sep 24, 2025 - Java
A symbolic Java virtual machine for program analysis, verification and test generation
-
Updated
Sep 11, 2025 - Java
Deep.Net machine learning framework for F#
machine-learning deep-learning fsharp dotnet gpu cuda gpu-acceleration ndarray tensor gpu-computing differentiation symbolic-computation symbolic-execution-engine
-
Updated
Jun 22, 2022 - F#
Symbolic Execution Engine for Boogie
-
Updated
Dec 27, 2021 - C#
Symbolic Execution Engine Modoki
-
Updated
Nov 8, 2017 - Python
Monster is a symbolic execution engine for 64-bit RISC-U code
-
Updated
Sep 23, 2025 - Rust
A small RISC-V symbolic execution engine
-
Updated
Oct 3, 2022 - Go
Abstract Proven Symbolic Execution Engine
-
Updated
Jul 14, 2019 - C#
-
Updated
Aug 22, 2017 - C
Artifact Evaluation, PLDI'20
validation virtualbox x86-64 reverse-engineering evaluation formal-semantics symbolic-execution-engine compiler-optimization graph-matching llvm-ir pldi verification-conditions language-semantics translation-validation mcsema symbolic-summaries verification-queries detecting-bugs reproducing-bugs
-
Updated
Apr 18, 2020
BubaaK-LEE: A fork of KLEE Symbolic Execution Engine used in the tool Bubaak
-
Updated
Nov 22, 2024 - C++
IRSentry is a C++ CLI for static analysis of LLVM IR. It leverages Path-Guided Symbolic Execution with Function Summaries and a Symbolic Memory model, backed by the Z3 SMT solver, to detect vulnerabilities and generate concrete inputs. Language-agnostic, with an FTXUI interface and Doxygen docs.
security llvm static-analysis symbolic-execution z3 vulnerability-detection symbolic-execution-engine llvm-ir z3-smt-solver ftxui
-
Updated
Aug 11, 2025 - LLVM
A HL Symbolic Execution Engine Prototype for Reachability
-
Updated
Jul 10, 2023 - Python
Improve this page
Add a description, image, and links to the symbolic-execution-engine 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-engine topic, visit your repo's landing page and select "manage topics."