klee
There are 1 repository under klee topic.
- Language:C++ 2510
staticafi / symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Language:Python 305- Language:Go 289
project-oak / rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Language:Rust 274- Language:Python 199
- Language:C++ 155
UnitTestBot / UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Language:C++ 136tum-i4 / obfuscation-benchmarks
A set of programs used for benchmarking the strength of obfuscation
Language:C 82feliam / klee-taint
KLEE-TAINT - Klee with taint analysis support
Language:C++ 71- Language:C 66
hmc-alpaqa / metrinome
Create CFGs and compute complexity metrics for Python, C++, and Java code.
Language:Python 39- Language:C 30
agra-uni-bremen / symex-vp
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
Language:C++ 18ppmx / sudoku-solver
Sudoku Solver using Z3
Language:C++ 17COMSYS / SymbolicLivenessAnalysis
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
Language:C++ 14elm3nt / argon-cli
An automation tool to generate, obfuscate, compile and run symbolic execution on c source files
Language:Python 14- Language:OCaml 9
- Language:C++ 7
sdasgup3 / symbolic-analysis
Customized symbolic analysis to find pointer analysis bugs
Language:C++ 6- Language:SMT 4
get-focus / deprecated-focus-graph
Tools based on Redux to easily integrate forms, validate and manipulate data.
Language:JavaScript 4- Language:C++ 3
raminfp / symbolic_execution_fuzzing
symbolic execution fuzzing with KLEE
Language:LLVM 3Fishermanykx / paper_reading_report_template
Report PPT template for CS students
Language:TeX 2tools sets needed for the implementation of the basic application functionality: Messages, header, layout, fetch
Language:JavaScript 2A set of atomic web components based on material design to build modern interfaces easily.
Language:JavaScript 2Interfaces and components to easily inject search functionalities in you application.
Language:JavaScript 2sai-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.
A library for concolic execution of RV32 instruction set simulators
Language:C++ 1Tutorials explaining step by step how to use FOCUS libs.
Language:JavaScript 1Liinkiing / next-ts-klee-starter
An opiniated Next TypeScript powered starter which include Klee, emotion / styled-system, framer motion, jest and Cypress
Language:TypeScript 1- Language:C++ 1
shafiuzzaman-md / install-klee-edk2
Install and run KLEE on edk2
Language:C 1- Language:C++ 1
A Guix channel for reproducible symbolic execution research
Language:Scheme
