symbolic-execution-engine

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.

Compositional Differentiable Programming Library

A high-performance, parallel, compilation-based symbolic execution engine

A symbolic Java virtual machine for program analysis, verification and test generation

Deep.Net machine learning framework for F#

Symbolic Execution Engine for Boogie

rune - radare2 based symbolic emulator

Symbolic Execution Engine Modoki

Monster is a symbolic execution engine for 64-bit RISC-U code

A small RISC-V symbolic execution engine

Symbolic PathFinder

Abstract Proven Symbolic Execution Engine

Artifact Evaluation, PLDI'20

A HL Symbolic Execution Engine Prototype for Reachability