KLEE Symbolic Execution Engine
-
Updated
Jun 28, 2022 - C++
KLEE Symbolic Execution Engine
A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core dump.
A symbolic executor for the QBE intermediate language
several scripts to process data from SMT solvers
Symbolic Execution for Python
Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.
Benchmarks for Binsec/Rel tool.
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
gradient-based symbolic execution engine implemented from scratch
Test case generation of classic N-Puzzle game using Z3
Verification and Validation course offered at Kansas State University in Fall'15, '16, and '17
LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.
A HL Symbolic Execution Engine Prototype for Reachability
"KLEE on LC-3," Symbolic Execution Engine for LC-3 Programs
"This repository focuses on implementing Compiler-Related concepts."
This is a simple Common Lisp program that perform simple calculus calculations.
Z3 backend for Fugue's concolic interpreter.
Add a description, image, and links to the symbolic-execution topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-execution topic, visit your repo's landing page and select "manage topics."