Public release of the tools used to assist in gadget finding.
☆42Jan 29, 2018Updated 8 years ago
Alternatives and similar repositories for DOP-StaticAssist
Users that are interested in DOP-StaticAssist are comparing it to the libraries listed below
Sorting:
- ☆17Jan 1, 2021Updated 5 years ago
- Scripts to automatically create VM images☆15Oct 4, 2025Updated 5 months ago
- Block Oriented Programming -- Compiler☆187Nov 5, 2020Updated 5 years ago
- Modified Nexus 9 kernel for Kenali Project☆30Aug 5, 2019Updated 6 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- ☆17Apr 18, 2019Updated 6 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 4 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- A list of data-only attacks☆21Aug 22, 2025Updated 6 months ago
- Buffer overflow testbed, research paper published at ACSAC 2011☆93Aug 9, 2017Updated 8 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆66Oct 4, 2022Updated 3 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Jun 11, 2022Updated 3 years ago
- MCFI/PICFI tool chain☆45Mar 21, 2024Updated last year
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆45Oct 4, 2019Updated 6 years ago
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆213Feb 22, 2026Updated last week
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Jul 14, 2022Updated 3 years ago
- ☆29Jul 4, 2018Updated 7 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Feb 1, 2019Updated 7 years ago
- Hodor-PKU☆26Sep 14, 2021Updated 4 years ago
- ☆26Oct 13, 2015Updated 10 years ago
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- Binary Ninja Plugin for devi - see https://github.com/murx-/devi/ for devi details☆20Jan 17, 2024Updated 2 years ago
- Convert a raw firmware image to an ELF file.☆14Feb 6, 2019Updated 7 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- BAP python bindings☆22Dec 1, 2023Updated 2 years ago
- Linux kernel branches for confidential compute research☆20Mar 31, 2025Updated 11 months ago
- ☆18Feb 26, 2018Updated 8 years ago
- Adelie's source code☆12Mar 2, 2022Updated 4 years ago
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Mar 2, 2013Updated 13 years ago
- ☆13Apr 9, 2022Updated 3 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- An open source, multi-architecture ROP compiler written in python☆163Jun 14, 2017Updated 8 years ago
- Onsite Analysis Infrastructure☆16Jun 23, 2020Updated 5 years ago
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- Partitioned Unit Memory Management☆16Nov 28, 2022Updated 3 years ago
- A generic decorator based ssh protocol message fuzzer based paramiko the Native Python SSHv2 protocol library☆13Jan 2, 2020Updated 6 years ago