Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
-
Updated
Sep 18, 2024 - C++
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
A Guix channel for reproducible symbolic execution research
Create CFGs and compute complexity metrics for Python, C++, and Java code.
Whole Program LLVM: wllvm ported to go
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
C library to support Map2Check Tool
A library for concolic execution of RV32 instruction set simulators
Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.
Symbolic execution is not straightforward when floating point arithmetic is involved. KLEE-float is a good tool to combat this problem.
Data-driven symbolic execution engine, implemented on top of KLEE
An opiniated Next TypeScript powered starter which include Klee, emotion / styled-system, framer motion, jest and Cypress
Fuzzing tutorial with easy-to-learn labs 🚀
Minimalist RESTful API for retrieving essential Genshin Impact data such as characters' and weapons' stats and their scaling
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.
Add a description, image, and links to the klee topic page so that developers can more easily learn about it.
To associate your repository with the klee topic, visit your repo's landing page and select "manage topics."