symbolic-execution-engine
There are 16 repositories under symbolic-execution-engine topic.
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.
ExtensityAI/symbolicai
A neurosymbolic perspective on LLMs
Generative-Program-Analysis/GenSym
A high-performance, parallel, compilation-based symbolic execution engine
pietrobraione/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
DeepMLNet/DeepNet
Deep.Net machine learning framework for F#
boogie-org/symbooglix
Symbolic Execution Engine for Boogie
sushant94/rune
rune - radare2 based symbolic emulator
cksystemsgroup/monster
Monster is a symbolic execution engine for 64-bit RISC-U code
Futaki-Futaba/symexec-engine-modoki
Symbolic Execution Engine Modoki
zyedidia/rvsym
A small RISC-V symbolic execution engine
mbrown1413/SymEx
Abstract Proven Symbolic Execution Engine
star-finder/jpf-symbc
Symbolic PathFinder
mchalupa/bubaak-lee
BubaaK-LEE: A fork of KLEE Symbolic Execution Engine used in the tool Bubaak
sdasgup3/PLDI20-Artifact-Evaluation
Artifact Evaluation, PLDI'20
EthanJamesLew/SEE-Reach-py
A HL Symbolic Execution Engine Prototype for Reachability