Generative-Program-Analysis/GenSym

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

Language: Java - Size: 21.5 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 131 - Forks: 5

ExtensityAI/symbolicai

Compositional Differentiable Programming Library

Language: Python - Size: 28 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,466 - Forks: 68

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.8 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2,441 - Forks: 324

pietrobraione/jbse

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

Language: Java - Size: 93.9 MB - Last synced at: 28 days ago - Pushed at: 29 days ago - Stars: 111 - Forks: 28

sushant94/rune

rune - radare2 based symbolic emulator

Language: Rust - Size: 168 KB - Last synced at: 19 days ago - Pushed at: almost 8 years ago - Stars: 27 - Forks: 5

zyedidia/rvsym

A small RISC-V symbolic execution engine

Language: Go - Size: 523 KB - Last synced at: 3 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: 15 days ago - Pushed at: about 1 month 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: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

mbrown1413/SymEx

Abstract Proven Symbolic Execution Engine

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

DeepMLNet/DeepNet

Deep.Net machine learning framework for F#

Language: F# - Size: 230 MB - Last synced at: about 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: about 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: 23 days ago - Pushed at: almost 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: almost 2 years ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 2

ReversingID/Angr-Crackme

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

sdasgup3/PLDI20-Artifact-Evaluation

Artifact Evaluation, PLDI'20

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