Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Symbolic Execution Klee Open Source Projects

Open source projects categorized as Symbolic Execution Klee
Categories > Klee
Categories > Security > Symbolic Execution
Klee ⭐ 2,399
KLEE Symbolic Execution Engine
most recent commit 3 months ago
Symbiotic ⭐ 282
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
most recent commit 5 months ago
Kleefl ⭐ 155
Seeding fuzzers with symbolic execution
most recent commit 7 years ago
Utbotcpp ⭐ 105
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
most recent commit 3 months ago
Obfuscation Benchmarks ⭐ 78
A set of programs used for benchmarking the strength of obfuscation
most recent commit 6 years ago
Fuzzing ⭐ 77
Fuzzing tutorial with easy to learn labs 🚀
most recent commit 2 years ago
Tracerx ⭐ 24
TracerX Symbolic Virtual Machine
most recent commit 4 months ago
Symex Vp ⭐ 14
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
most recent commit 7 months ago
Symboliclivenessanalysis ⭐ 12
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
most recent commit 2 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.