pietroborrello / RopMateView external linksLinks
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
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆64Aug 11, 2021Updated 4 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆82Nov 3, 2025Updated 3 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☆40May 13, 2019Updated 6 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 5 months ago
- Collection of DBI evasion techniques☆16Jan 25, 2022Updated 4 years ago
- My-CTF-Challenges☆15Sep 27, 2021Updated 4 years ago
- Poise source code repo☆12Aug 12, 2020Updated 5 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Jun 11, 2019Updated 6 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
- ☆18May 1, 2020Updated 5 years ago
- Memory consistency model checking and test generation library.☆16Oct 14, 2016Updated 9 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☆389Jan 15, 2023Updated 3 years ago
- ☆20May 30, 2024Updated last year
- Run your Binary Ninja Python console in a separate Terminal window.☆18Nov 1, 2018Updated 7 years ago
- dr.rer.oec.gadget IDAPython plugin for the Interactive Disassembler <ABANDONED PROJECT>☆68Feb 2, 2017Updated 9 years ago
- keynote I gave at GreHack 2019☆19Nov 17, 2019Updated 6 years ago
- MapGuard is a library that enforces a security policy for mmap based page allocations.☆21Dec 14, 2025Updated last month
- Binary Ninja plugin for importing symbols to a kernel binary from /proc/kallsyms☆21Oct 3, 2025Updated 4 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago
- Research into Apple PPP and CCL components☆19Jun 8, 2019Updated 6 years ago
- A pin tool to visualise heap operations☆21May 6, 2015Updated 10 years ago
- A tool for testing C compilers automatically☆21Jan 24, 2016Updated 10 years ago
- ☆27Jun 6, 2023Updated 2 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 9 months ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆194Oct 29, 2022Updated 3 years ago
- Process Orchestration Framework: A camunda 7 fork☆20Updated this week
- Full chain Chrome 71.0.3578.98 exploit☆22Jul 18, 2021Updated 4 years ago