A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core dump.
-
Updated
Nov 30, 2021 - C++
#
symbolic-execution
Here are 265 public repositories matching this topic...
KLEE Symbolic Execution Engine
-
Updated
Oct 20, 2024 - C++
A symbolic executor for the QBE intermediate language
-
Updated
Jun 1, 2023 - Rust
several scripts to process data from SMT solvers
-
Updated
Oct 14, 2017 - Python
Symbolic Execution for Python
-
Updated
Oct 26, 2020 - Python
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
-
Updated
Jun 10, 2023 - TeX
gradient-based symbolic execution engine implemented from scratch
debugging
neural-network
static-analysis
symbolic-execution
gradient-descent
program-analysis
smt-solver
dpll
dpll-solver
-
Updated
Dec 16, 2023 - C++
Benchmarks for Binsec/Rel tool.
-
Updated
Jul 20, 2021 - C
Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.
-
Updated
Oct 20, 2024 - C++
Test case generation of classic N-Puzzle game using Z3
static-analysis
ssa
symbolic-execution
z3
sat-solver
static-single-assignment
n-puzzle
automated-test-generation
z3py
-
Updated
Dec 14, 2015 - Python
LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.
-
Updated
Aug 4, 2023 - Java
A HL Symbolic Execution Engine Prototype for Reachability
-
Updated
Jul 10, 2023 - Python
"KLEE on LC-3," Symbolic Execution Engine for LC-3 Programs
-
Updated
Feb 28, 2022 - C++
Verification and Validation course offered at Kansas State University in Fall'15, '16, and '17
testing
validation
course
static-analysis
verification
symbolic-execution
software
model-checking
papers
kansas-state-university
-
Updated
Oct 4, 2017
"This repository focuses on implementing Compiler-Related concepts."
c
parser
semantic
compiler
cpp
symbolic-execution
syntax-tree
finite-state-machine
lexical-analysis
representation
syntax-analysis
regular-expressions
lexical
compiler-design
lexical-parser
recursive-descent-parser
lexical-resource
-
Updated
May 3, 2024 - C++
-
Updated
Aug 2, 2020 - TeX
Improve this page
Add a description, image, and links to the symbolic-execution topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symbolic-execution topic, visit your repo's landing page and select "manage topics."