cksystemsteaching/selfie

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.

Language: Jupyter Notebook - Size: 31.3 MB - Last synced at: about 22 hours ago - Pushed at: 2 days ago - Stars: 2,451 - Forks: 325

Generative-Program-Analysis/GenSym

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

Language: Java - Size: 21.6 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 141 - Forks: 6

pietrobraione/jbse

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

Language: Java - Size: 94.1 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 113 - Forks: 28

sushant94/rune

rune - radare2 based symbolic emulator

Language: Rust - Size: 168 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 27 - Forks: 5

zyedidia/rvsym

A small RISC-V symbolic execution engine

Language: Go - Size: 523 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 8 - Forks: 0

cksystemsgroup/monster

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

Language: Rust - Size: 2.75 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 10 - Forks: 3

mchalupa/bubaak-lee Fork of klee/klee

BubaaK-LEE: A fork of KLEE Symbolic Execution Engine used in the tool Bubaak

Language: C++ - Size: 9.43 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

mbrown1413/SymEx

Abstract Proven Symbolic Execution Engine

Language: C# - Size: 115 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 1

DeepMLNet/DeepNet

Deep.Net machine learning framework for F#

Language: F# - Size: 230 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 102 - Forks: 9

boogie-org/symbooglix

Symbolic Execution Engine for Boogie

Language: C# - Size: 2.26 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 27 - Forks: 4

EthanJamesLew/SEE-Reach-py

A HL Symbolic Execution Engine Prototype for Reachability

Language: Python - Size: 72.3 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Futaki-Futaba/symexec-engine-modoki

Symbolic Execution Engine Modoki

Language: Python - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 10 - Forks: 2

ReversingID/Angr-Crackme

Language: C - Size: 575 KB - Last synced at: 6 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

sdasgup3/PLDI20-Artifact-Evaluation

Artifact Evaluation, PLDI'20

Size: 710 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0