klee
Here are 16 public repositories matching this topic...
Fuzzing tutorial with easy-to-learn labs 🚀
-
Updated
Sep 4, 2022 - C++
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
-
Updated
Sep 18, 2024 - C++
KLEE-TAINT - Klee with taint analysis support
-
Updated
Oct 23, 2017 - C++
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
-
Updated
Oct 4, 2023 - C++
Sudoku Solver using Z3
-
Updated
Jan 23, 2020 - C++
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
-
Updated
Dec 16, 2021 - C++
Customized symbolic analysis to find pointer analysis bugs
-
Updated
Nov 2, 2015 - C++
Data-driven symbolic execution engine, implemented on top of KLEE
-
Updated
Jan 15, 2021 - C++
A library for concolic execution of RV32 instruction set simulators
-
Updated
Jul 6, 2023 - C++
C library to support Map2Check Tool
-
Updated
Aug 18, 2023 - C++
Data-driven symbolic execution engine, implemented on top of KLEE
-
Updated
Dec 12, 2022 - C++
Improve this page
Add a description, image, and links to the klee topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the klee topic, visit your repo's landing page and select "manage topics."