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
- ☆52Updated 6 years ago
- Run android with S2E☆32Updated 10 years ago
- ☆44Updated 4 years ago
- ☆79Updated 6 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆46Updated 10 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Updated 7 years ago
- Source-binary patch presence test system.☆82Updated 2 years ago
- cve2014-3153 exploit for ubuntu x86☆17Updated 10 years ago
- ☆70Updated 5 years ago
- 基于clang static analyzer的源码漏洞检测插件☆199Updated 5 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Flow analysis using Soot☆51Updated 4 years ago
- A dynamic information flow tracing system for Android☆54Updated 3 years ago
- ☆37Updated 2 years ago
- pocs of tested targets☆20Updated 6 years ago
- ☆56Updated 4 years ago
- llvm control flow graph☆26Updated 5 years ago
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆42Updated 4 years ago
- source code for savior fuzzer☆126Updated 4 years ago
- ☆22Updated 8 years ago
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆99Updated 5 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- A version of AFL tailored for Driller's use in analyzing CGC binaries.☆80Updated 7 years ago
- A demo project for AFL with QEMU Augmented Instrumentation (qai)☆45Updated 8 years ago
- Inter-component communication Taint Analysis for Android☆92Updated 9 years ago
- K-Miner☆75Updated 5 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆214Updated last year
- ☆46Updated 3 years ago
- Dronity, the Trinity syscall fuzzer ported to Android☆43Updated 9 years ago