Fast and efficient binary translator
☆59Jan 17, 2019Updated 7 years ago
Alternatives and similar repositories for libdetox
Users that are interested in libdetox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- Python scripts for gdb, reverse engineering oriented☆16Sep 20, 2016Updated 10 years ago
- x86 Dynamic Binary Translator Library☆33Dec 19, 2020Updated 5 years ago
- ☆12Jun 14, 2021Updated 5 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆48Apr 6, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆25Jun 16, 2021Updated 5 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Jan 10, 2022Updated 4 years ago
- PathArmor context-sensitive CFI implementation☆46Oct 26, 2015Updated 11 years ago
- memTrace, a framework for lightweight memory tracing☆62Jan 5, 2020Updated 6 years ago
- This repo is deprecated as of 2019.08.20, all code moved to https://github.com/grimm-co/killerbeez☆16Nov 22, 2018Updated 7 years ago
- Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers☆19Oct 2, 2026Updated last month
- Futile attempt to solve the Tigress challenges using angr☆23May 22, 2019Updated 7 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- ☆23Nov 12, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- KLEE / CSE Project☆48Apr 3, 2020Updated 6 years ago
- Scalable Validator for Binary Lifters☆64Jun 28, 2020Updated 6 years ago
- A static binary rewriter that does not use heuristics☆310May 17, 2018Updated 8 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- Uncovering Class Hierarchies in C++ Programs☆129Sep 16, 2022Updated 4 years ago
- Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone☆330Aug 12, 2019Updated 7 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆219Oct 25, 2026Updated last week
- RuCTFE 2013☆14Dec 28, 2013Updated 12 years ago
- KLEE Symbolic Execution Engine☆61Oct 27, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆109Jul 8, 2018Updated 8 years ago
- ☆15Jan 24, 2016Updated 10 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37May 11, 2020Updated 6 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Feb 1, 2019Updated 7 years ago
- PARTS / LLVM compiler☆32Aug 14, 2019Updated 7 years ago
- Rewriting functions in compiled binaries using McSema☆94Aug 6, 2019Updated 7 years ago
- Analyze and manipulate binary data based on ELF symbol tables☆21Apr 3, 2024Updated 2 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆46Apr 2, 2020Updated 6 years ago
- A version of Griffin used to provide program traces☆15Sep 2, 2020Updated 6 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.
- Examples demonstrating the usage of avatar²☆29Dec 9, 2023Updated 2 years ago
- A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber☆158May 10, 2017Updated 9 years ago
- Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation☆53Dec 27, 2016Updated 9 years ago
- Host-based vulnerability scanner. Find installed packages on the host, ask their vulnerabilities to vulmon.com API and print vulnerabilit…☆16Apr 20, 2019Updated 7 years ago
- [WIP] pivot a running process into an emulator for instrumentation☆13Aug 12, 2016Updated 10 years ago
- experimental go desktop ui☆12Sep 22, 2019Updated 7 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆216Aug 15, 2025Updated last year