klee / klee.github.ioLinks
Website for the KLEE project: https://klee-se.org/
☆16Updated this week
Alternatives and similar repositories for klee.github.io
Users that are interested in klee.github.io are comparing it to the libraries listed below
Sorting:
- DARPA Cyber Grand Challenge Sample Challenges☆329Updated 7 years ago
- A bibliography of papers related to symbolic execution☆291Updated 9 years ago
- ☆58Updated 4 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Updated 3 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆334Updated last month
- DARPA Challenges Sets for Linux, Windows, and macOS☆534Updated 2 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆495Updated last year
- Python bindings for Valgrind's VEX IR.☆374Updated last week
- A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.☆555Updated 6 years ago
- The dataset used in the experiments for Esh (http://binsim.com)☆21Updated 9 years ago
- neural network assisted fuzzer☆412Updated 5 years ago
- Driller: augmenting AFL with symbolic execution!☆965Updated 10 months ago
- ☆386Updated 6 years ago
- FairFuzz: AFL extension targeting rare branches☆252Updated 6 years ago
- LAVA: Large-scale Automated Vulnerability Addition☆411Updated last week
- User Guided API Misuse Detection☆30Updated 3 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated this week
- Directed Greybox Fuzzing with AFL☆550Updated last year
- A taint-tracking plugin for the Valgrind memory checking tool☆264Updated 8 months ago
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆298Updated 6 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆656Updated 3 years ago
- source code for savior fuzzer☆127Updated 5 years ago
- Lightweight tool for slicing☆35Updated this week
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 4 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆335Updated last week
- Unofficial implementation of asm2vec using pytorch ( with GPU acceleration )☆82Updated 2 years ago
- Binary Code Similarity Analysis (BCSA) Benchmark☆171Updated 2 years ago
- MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"☆216Updated 5 years ago
- An awesome & curated list of binary code similarity papers☆597Updated last month
- SAFE: Self-Attentive Function Embeddings for binary similarity☆179Updated 2 years ago