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.
Jupyter Notebook 2.45 k
1 天前
A high-performance, parallel, compilation-based symbolic execution engine
Java 134
2 天前
A symbolic Java virtual machine for program analysis, verification and test generation
Java 113
8 天前
#计算机科学#Deep.Net machine learning framework for F#
F# 101
3 年前
Symbolic Execution Engine for Boogie
C# 29
4 年前
Rust 27
8 年前
Symbolic Execution Engine Modoki
Python 10
8 年前
Monster is a symbolic execution engine for 64-bit RISC-U code
Rust 10
2 天前
A small RISC-V symbolic execution engine
Go 8
3 年前
Java 3
6 年前
C# 3
6 年前
Artifact Evaluation, PLDI'20
1
5 年前
A HL Symbolic Execution Engine Prototype for Reachability
Python 0
2 年前