rev.ng configuration for orchestra. The starting point for any development.
☆36May 22, 2026Updated this week
Alternatives and similar repositories for orchestra
Users that are interested in orchestra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The CRISPR static binary patcher☆38Nov 19, 2020Updated 5 years ago
- revng: the core repository of the rev.ng project☆1,679Updated this week
- Rust Bindings and tools for the Intel® Simics® Simulator☆17Updated this week
- Hydradancer firmware supporting the Facedancer backend for the Hydradancer dongle and HydraUSB3☆24Dec 10, 2025Updated 5 months ago
- Android driver for the Trusted Execution Environment <t-base☆12Sep 29, 2015Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A binary analysis framework written in Rust.☆21Jan 9, 2024Updated 2 years ago
- ☆27Jun 6, 2023Updated 2 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- LLVM-based ROP obfuscated compiler☆12Mar 24, 2022Updated 4 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- 续命仪：程序告诉你今晚吃啥，做啥健身动作。☆26Nov 28, 2019Updated 6 years ago
- Utility library to display license notices☆12Apr 16, 2026Updated last month
- A model-based API Fuzzer for SMT Solvers.☆16Updated this week
- 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.
- makecfg is a tool for making CFG(Control Flow Graph) from binary.☆18Jan 11, 2022Updated 4 years ago
- ☆17Feb 10, 2026Updated 3 months ago
- ☆16Apr 15, 2019Updated 7 years ago
- ☆12Sep 8, 2020Updated 5 years ago
- CTF writeups by ./Vespiary☆15Nov 12, 2023Updated 2 years ago
- Example of a Python-C++ interface using gRPC☆11Jun 23, 2023Updated 2 years ago
- Name substitution plugin for IDA Pro☆16Mar 30, 2020Updated 6 years ago
- ☆328Jun 20, 2024Updated last year
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆87Mar 28, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Dec 30, 2021Updated 4 years ago
- Multi-version glibc source browser based on code.woboq.org 's product.☆10Feb 27, 2020Updated 6 years ago
- hiding in plain sight: part 2☆46Jul 11, 2024Updated last year
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆26May 17, 2026Updated last week
- llvm crash analysis☆44Jun 26, 2024Updated last year
- Compute Sanitizer but it's powered by SPIR-V☆17Aug 15, 2025Updated 9 months ago
- 面向项目版本差异性的漏洞识别技术研究☆14Mar 29, 2022Updated 4 years ago
- Unserialize bugs advisory☆11Oct 9, 2023Updated 2 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.
- AFLNW: network wrapper for AFL☆47Feb 28, 2024Updated 2 years ago
- ghidra scripts☆15Feb 5, 2021Updated 5 years ago
- コンテナ内から安全にダークウェブをクローリングするための環境☆14Jan 17, 2023Updated 3 years ago
- ☆14Jun 21, 2020Updated 5 years ago
- ☆16Jul 30, 2020Updated 5 years ago
- Library for lifting machine code to LLVM bitcode☆1,699May 4, 2026Updated 2 weeks ago
- program analysis for machine code☆39Oct 26, 2021Updated 4 years ago