symbolic-execution-engine topic

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

pietrobraione

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.

cksystemsteaching

Deep.Net machine learning framework for F#

DeepMLNet

rune - radare2 based symbolic emulator

sushant94

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

Generative-Program-Analysis

Compositional Differentiable Programming Library

ExtensityAI

Symbolic Execution Engine for Boogie

boogie-org