klee
Here are 17 public repositories matching this topic...
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
-
Updated
Oct 18, 2024 - C++
Fuzzing tutorial with easy-to-learn labs 🚀
-
Updated
Sep 4, 2022 - 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++
Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.
-
Updated
Oct 20, 2024 - 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."