klee
There are 48 repositories under klee topic.
klee/klee
KLEE Symbolic Execution Engine
staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
SRI-CSL/gllvm
Whole Program LLVM: wllvm ported to go
project-oak/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
julieeen/kleefl
Seeding fuzzers with symbolic execution
UnitTestBot/UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
yuawn/Fuzzing
Fuzzing tutorial with easy-to-learn labs 🚀
tum-i4/obfuscation-benchmarks
A set of programs used for benchmarking the strength of obfuscation
feliam/klee-taint
KLEE-TAINT - Klee with taint analysis support
L4ys/LazyKLEE
Lazy python wrapper of KLEE for solving CTF challenges
hmc-alpaqa/metrinome
Create CFGs and compute complexity metrics for Python, C++, and Java code.
tracer-x/TracerX
TracerX Symbolic Virtual Machine
anhkgg/angr-doc-zh_CN
angr中文版文档
agra-uni-bremen/symex-vp
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
ppmx/sudoku-solver
Sudoku Solver using Z3
COMSYS/SymbolicLivenessAnalysis
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
elm3nt/argon-cli
An automation tool to generate, obfuscate, compile and run symbolic execution on c source files
sosy-lab/tbf
A framework for using test case generators to locate errors in C programs
zhechkoz/stins4llvm
State Inspection Tool for LLVM
sdasgup3/symbolic-analysis
Customized symbolic analysis to find pointer analysis bugs
get-focus/deprecated-focus-graph
Tools based on Redux to easily integrate forms, validate and manipulate data.
kupl/dd-klee
Data-driven symbolic execution engine, implemented on top of KLEE
raminfp/symbolic_execution_fuzzing
symbolic execution fuzzing with KLEE
agra-uni-bremen/clover
A library for concolic execution of RV32 instruction set simulators
Fishermanykx/paper_reading_report_template
Report PPT template for CS students
get-focus/deprecated-focus-application
tools sets needed for the implementation of the basic application functionality: Messages, header, layout, fetch
get-focus/deprecated-focus-components-v3
A set of atomic web components based on material design to build modern interfaces easily.
get-focus/deprecated-focus-search
Interfaces and components to easily inject search functionalities in you application.
sai-teja-ponugoti/Software-Testing-Quality-Assurance-and-Maintenance
ECE 653 - testing, Quality Assurance, and Maintenance.This repo holds all material, notes and assignments related to the mentioned course.
agra-uni-bremen/guix-symex
A Guix channel for reproducible symbolic execution research
Liinkiing/next-ts-klee-starter
An opiniated Next TypeScript powered starter which include Klee, emotion / styled-system, framer motion, jest and Cypress
mull-project/klee-tutorial-two
Klee Tutorial Two tests
praise106-research/Plinko-KLEE-Clang
Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.
shafiuzzaman-md/install-klee-edk2
Install and run KLEE on edk2