chyyuu / symexe
symexe
☆95Updated 8 years ago
Alternatives and similar repositories for symexe:
Users that are interested in symexe are comparing it to the libraries listed below
- Suspended☆75Updated 8 years ago
- Run android with S2E☆32Updated 10 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆46Updated 10 years ago
- ☆52Updated 6 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Updated 7 years ago
- Source-binary patch presence test system.☆83Updated 2 years ago
- ☆44Updated 4 years ago
- 基于clang static analyzer的源码漏洞检测插件☆199Updated 5 years ago
- ☆81Updated 6 years ago
- ☆55Updated 4 years ago
- ☆70Updated 5 years ago
- Detect missing check bugs in OS kernels☆108Updated last year
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- ☆37Updated 2 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Updated last year
- cve2014-3153 exploit for ubuntu x86☆17Updated 10 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- ☆14Updated 5 years ago
- ☆22Updated 8 years ago
- Another crash analyzer tool for the American Fuzzy Lop (AFL) fuzzer☆120Updated 8 years ago
- K-Miner☆75Updated 5 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 6 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- riufuzz —— honggfuzz modifited version by riusksk, better support for windows (cdb symbols) and macOS, and more colorful UI☆132Updated 5 years ago
- Flow analysis using Soot☆51Updated 4 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆82Updated 4 years ago
- llvm control flow graph☆26Updated 5 years ago
- A demo project for AFL with QEMU Augmented Instrumentation (qai)☆45Updated 8 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago