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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Jan 1, 2021Updated 5 years ago
- ☆17Apr 18, 2019Updated 6 years ago
- A list of data-only attacks☆21Aug 22, 2025Updated 7 months ago
- Block Oriented Programming -- Compiler☆188Nov 5, 2020Updated 5 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Mar 2, 2013Updated 13 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- Buffer overflow testbed, research paper published at ACSAC 2011☆94Aug 9, 2017Updated 8 years ago
- Modified Nexus 9 kernel for Kenali Project☆30Aug 5, 2019Updated 6 years ago
- Scripts to automatically create VM images☆15Mar 29, 2026Updated 2 weeks ago
- Security introduction book☆23Jan 10, 2016Updated 10 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Apr 23, 2013Updated 12 years ago
- ☆29Jul 4, 2018Updated 7 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆67Oct 4, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- MCFI/PICFI tool chain☆45Mar 21, 2024Updated 2 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆103Jul 14, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/python-ctags☆17Sep 18, 2018Updated 7 years ago
- ☆26Oct 13, 2015Updated 10 years ago
- A tool for automatically identifying syscall-guard variables☆37Feb 10, 2026Updated 2 months ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Apr 4, 2015Updated 11 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆214Feb 22, 2026Updated last month
- ☆16Sep 29, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- ☆49Jan 11, 2019Updated 7 years ago
- This rap optimizations and hl_cfi have be merged in hardenedlinux/linux-unofficial_grsec☆17Oct 3, 2019Updated 6 years ago
- Partitioned Unit Memory Management☆16Nov 28, 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
- Onsite Analysis Infrastructure☆16Jun 23, 2020Updated 5 years ago
- Runtime type and bounds-error checking for C/C++☆108Dec 18, 2024Updated last year
- ☆17Dec 2, 2025Updated 4 months ago
- Hodor-PKU☆26Sep 14, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆45Oct 4, 2019Updated 6 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 3 years ago
- Linux kernel branches for confidential compute research☆20Apr 6, 2026Updated last week
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago