chyyuu / symexe
symexe
☆95Updated 7 years ago
Related projects: ⓘ
- Run android with S2E☆32Updated 9 years ago
- Suspended☆75Updated 7 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆45Updated 10 years ago
- ☆50Updated 5 years ago
- ☆44Updated 4 years ago
- Source-binary patch presence test system.☆80Updated 2 years ago
- 基于clang static analyzer的源码漏洞检测插件☆192Updated 5 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Updated 6 years ago
- ☆80Updated 6 years ago
- ☆36Updated 2 years ago
- ☆21Updated 7 years ago
- llvm control flow graph☆27Updated 5 years ago
- ☆66Updated 4 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- K-Miner☆71Updated 5 years ago
- Symbolic Execution of Android Framework☆14Updated 7 years ago
- ☆56Updated 4 years ago
- Flow analysis using Soot☆51Updated 4 years ago
- ☆14Updated 5 years ago
- pocs of tested targets☆20Updated 6 years ago
- We hinder fuzzing☆64Updated 2 years ago
- ☆69Updated this week
- Clang static checker that carries out tainting analysis.☆86Updated 6 years ago
- ☆50Updated 6 years ago
- ☆64Updated 5 years ago
- cve2014-3153 exploit for ubuntu x86☆17Updated 9 years ago
- ☆18Updated 6 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆83Updated 4 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆60Updated 2 years ago