elManto / REmindLinks
Code for UI, backend, engine and statistical analysis for RE
☆23Updated 4 years ago
Alternatives and similar repositories for REmind
Users that are interested in REmind are comparing it to the libraries listed below
Sorting:
- ☆34Updated 3 years ago
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆46Updated 4 years ago
- ☆82Updated 4 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆94Updated 4 years ago
- ☆98Updated 2 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆66Updated 4 years ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆37Updated last year
- ☆103Updated 4 years ago
- Binary Feature(ACFG) Database for DataCon2022-IoT-Challenge-2☆23Updated 3 years ago
- ☆97Updated last year
- AFLplusplus + libprotobuf-mutator = love☆84Updated 5 years ago
- A tool for automatically identifying syscall-guard variables☆36Updated 7 months ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆79Updated 2 months ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Updated 4 years ago
- AFLNW: network wrapper for AFL☆47Updated last year
- A collection of widely-fuzzed targets☆46Updated 6 years ago
- ☆19Updated 5 years ago
- A gdb for fuzzing☆22Updated 4 years ago
- some ida script☆34Updated 4 years ago
- qemu vulnerablity.☆54Updated 4 years ago
- Automatic Exploit Generation Paper☆89Updated 4 years ago
- Binary Code Similarity Analysis (BCSA) Tool☆124Updated 7 months ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆92Updated 3 years ago
- A tool for effective testing the binding layer of scripting languages☆79Updated 3 years ago
- ☆55Updated 3 years ago
- fuzz the linux kernel bpf verifier☆83Updated 4 years ago
- ☆66Updated 3 years ago
- A data-flow-guided fuzzer☆124Updated 2 years ago
- ☆78Updated 3 years ago
- Summary of static analysis in Java and C/C++☆18Updated 3 years ago