KLEE Symbolic Execution Engine
-
Updated
Oct 20, 2024 - C++
#
symbolic-execution
Here are 50 public repositories matching this topic...
Data-driven symbolic execution engine, implemented on top of KLEE
-
Updated
Dec 12, 2022 - C++
A symbolic execution engine that works on GCC's SSA GIMPLE
-
Updated
Apr 8, 2025 - C++
"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++
Virtual Prototype with symbolic execution support and HardBound path analyzer
-
Updated
Feb 14, 2023 - C++
Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.
-
Updated
Oct 20, 2024 - C++
CASM Numeric and Symbolic Interpreter
-
Updated
Mar 2, 2025 - C++
BubaaK-LEE: A fork of KLEE Symbolic Execution Engine used in the tool Bubaak
-
Updated
Nov 22, 2024 - C++
A tool for detecting Spectre vulnerabilities
-
Updated
Apr 30, 2025 - C++
"KLEE on LC-3," Symbolic Execution Engine for LC-3 Programs
-
Updated
Feb 28, 2022 - C++
A library for concolic execution of RV32 instruction set simulators
-
Updated
Jul 6, 2023 - C++
Prototype implementation of a hyperbug finder for ∀∃-safety hyperproperties to accompany the OOPSLA 2024 paper "Finding ∀∃ Hyperbugs using Symbolic Execution" by Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, and Georg Weissenbacher.
-
Updated
Oct 28, 2024 - C++
Modified Kirenenko for Constraints Dumping
-
Updated
Jan 11, 2023 - C++
Code for my blog post on solving Google's Unbreakable CTF challenge with S2E
-
Updated
Apr 25, 2019 - C++
A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core dump.
-
Updated
Nov 30, 2021 - C++
Data-driven symbolic execution engine, implemented on top of KLEE
-
Updated
Jan 15, 2021 - C++
Automated continuous testing integration using DeepState
-
Updated
Mar 31, 2023 - C++
pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST
-
Updated
Jan 7, 2022 - C++
A framework for user-guided symbolic execution (with visualization) of LLVM Bitcode. A demo of the project can be viewed at https://www.youtube.com/watch?v=0VNe4BjjF90
-
Updated
Dec 25, 2016 - C++
This repository holds the Affine Arithmetic Decision Diagrams library
-
Updated
Apr 10, 2025 - C++
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."