symbolic-execution
Here are 248 public repositories matching this topic...
KLEE Symbolic Execution Engine
-
Updated
Jun 28, 2022 - C++
Virtual Prototype with symbolic execution support and HardBound path analyzer
-
Updated
Feb 14, 2023 - C++
A symbolic executor for the QBE intermediate language
-
Updated
Jun 1, 2023 - Rust
OWI's C frontend now in https://github.com/OCamlPro/owi/pull/100
-
Updated
Jan 5, 2024 - C
several scripts to process data from SMT solvers
-
Updated
Oct 14, 2017 - Python
Symbolic Execution for Python
-
Updated
Oct 26, 2020 - Python
Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.
-
Updated
Jul 4, 2023 - LLVM
A HL Symbolic Execution Engine Prototype for Reachability
-
Updated
Jul 10, 2023 - Python
"This repository focuses on implementing Compiler-Related concepts."
-
Updated
May 3, 2024 - C++
RIOT example applications for symex-vp
-
Updated
Nov 25, 2022 - C
SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
-
Updated
Aug 3, 2023 - Java
A Guix channel for reproducible symbolic execution research
-
Updated
May 2, 2024 - Scheme
Z3 backend for Fugue's concolic interpreter.
-
Updated
Jan 25, 2022 - Rust
Invariant Generation modulo opaue operations
-
Updated
Nov 26, 2022 - C
Offensive and Defensive Cybersecurity Course Challenges at polimi
-
Updated
Mar 2, 2024 - Python
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
-
Updated
Oct 12, 2022 - C
A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
-
Updated
May 7, 2023 - C
Symbolic execution is not straightforward when floating point arithmetic is involved. KLEE-float is a good tool to combat this problem.
-
Updated
Mar 2, 2023 - 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."