ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.
☆27Feb 3, 2021Updated 5 years ago
Alternatives and similar repositories for RopMate
Users that are interested in RopMate are comparing it to the libraries listed below
Sorting:
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- RopGun is a Linux implementation of a transparent ROP mitigation technique based on runtime detection of abnormal control transfers using…☆27Sep 10, 2019Updated 6 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆82Nov 3, 2025Updated 4 months ago
- Automated recovery of Linux kernel build configurations☆25Jan 14, 2022Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 6 years ago
- Block Oriented Programming -- Compiler☆187Nov 5, 2020Updated 5 years ago
- A tool for patching binaries to use specific versions of glibc☆21Jun 16, 2019Updated 6 years ago
- ARG: Automatic ROP chains Generation☆21Jul 18, 2019Updated 6 years ago
- exploit code for a bpf heap overflow vulnerability☆28Sep 3, 2019Updated 6 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Jan 18, 2022Updated 4 years ago
- Instruction-less computation☆18Dec 7, 2023Updated 2 years ago
- Personal pwning toolset developed/used by myself. Use at your own risk.☆18Sep 26, 2022Updated 3 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- ☆28Aug 26, 2025Updated 6 months ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆59Dec 7, 2021Updated 4 years ago
- Collection of DBI evasion techniques☆16Jan 25, 2022Updated 4 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Jul 18, 2022Updated 3 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Jun 11, 2019Updated 6 years ago
- Poise source code repo☆12Aug 12, 2020Updated 5 years ago
- My-CTF-Challenges☆15Sep 27, 2021Updated 4 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- ☆18May 1, 2020Updated 5 years ago
- Memory consistency model checking and test generation library.☆16Oct 14, 2016Updated 9 years ago
- ☆17Nov 21, 2019Updated 6 years ago
- Exploit code for CVE-2019-11707 on Firefox 66.0.3 running on Ubuntu☆42Aug 18, 2019Updated 6 years ago
- ROPium is a tool that helps you building ROP exploits by finding and chaining gadgets together☆395Jan 15, 2023Updated 3 years ago
- dr.rer.oec.gadget IDAPython plugin for the Interactive Disassembler <ABANDONED PROJECT>☆68Feb 2, 2017Updated 9 years ago
- Port of the binary diffing library, diaphora, for radare2 and mariadb☆56Aug 25, 2023Updated 2 years ago
- Run your Binary Ninja Python console in a separate Terminal window.☆18Nov 1, 2018Updated 7 years ago
- ☆20May 30, 2024Updated last year
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 3 years ago
- MapGuard is a library that enforces a security policy for mmap based page allocations.☆21Dec 14, 2025Updated 2 months ago
- Binary Ninja plugin for importing symbols to a kernel binary from /proc/kallsyms☆21Oct 3, 2025Updated 5 months ago
- keynote I gave at GreHack 2019☆19Nov 17, 2019Updated 6 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago