MCSema Build Windows download
☆11Jul 6, 2020Updated 6 years ago
Alternatives and similar repositories for MCSemaWindows
Users that are interested in MCSemaWindows 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 Binary Mutation code based on Uroboros☆14Feb 20, 2019Updated 7 years ago
- Standalone static version of Triton's x86/x64 translator☆33May 2, 2026Updated 5 months ago
- Exploits for CVE-2023-27327 and CVE-2023-27328☆15May 9, 2023Updated 3 years ago
- WIP Emotet Control Flow Unflattening using miasm and radare2☆23Dec 27, 2022Updated 3 years ago
- Common dependency management for various Trail of Bits C++ codebases☆35Jun 17, 2024Updated 2 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.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- ☆14May 18, 2024Updated 2 years ago
- LLVM 21 pass plugin for A²MBA architectural and anti-generalization hardening of mixed Boolean-arithmetic expressions.☆32Oct 10, 2026Updated 3 weeks ago
- Titan is a VMProtect devirtualizer☆11Mar 6, 2024Updated 2 years ago
- ⚙️ Map and execute EXE in memory☆12Dec 23, 2022Updated 3 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆21Oct 8, 2024Updated 2 years ago
- .NET AOT compiler for retro computers☆15Oct 24, 2026Updated last week
- Dotfuscator de-obfuscator☆10Apr 9, 2021Updated 5 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆11Aug 3, 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.
- Clockwork: A Modular Arithmetic library for C++☆13May 1, 2026Updated 6 months ago
- ☆11Aug 25, 2018Updated 8 years ago
- ☆10Aug 28, 2020Updated 6 years ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 2 years ago
- Connecting bv_decide to SMTLIB.☆19Oct 19, 2026Updated 2 weeks ago
- A space-efficient bitmap implementation with inline storage optimization for Rust.☆17Oct 30, 2025Updated last year
- ☆10Jul 15, 2024Updated 2 years ago
- Smb Quic Replay Tool is an tool for Replay SMB protocol over QUIC support Windows 11☆12Mar 6, 2025Updated last year
- What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…☆15Jul 16, 2026Updated 3 months 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.
- Windows Cloud Files Mini Filter Driver Elevation of Privilege Vulnerability☆10Mar 18, 2021Updated 5 years ago
- Cracking MBAs☆80Sep 13, 2026Updated last month
- C code metamorphic obfuscator☆13Feb 20, 2015Updated 11 years ago
- Export IDA microcode to BinExport format so that you can use BinDiff to diff microcodes☆12Sep 21, 2024Updated 2 years ago
- The dataset was used as a support to attack obfuscations. It is the largest obfuscated dataset, with realistic and various binaries and f…☆24Jan 15, 2026Updated 9 months ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆23Jun 13, 2023Updated 3 years ago
- A python metamorphic engine for PE/PE+ files.☆15Jan 1, 2023Updated 3 years ago
- ☆14Jan 9, 2025Updated last year
- ☆12Aug 5, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 6 years ago
- Some sample codes for blog article☆13Sep 15, 2022Updated 4 years ago
- Experimental static analysis framework.☆14Apr 17, 2024Updated 2 years ago
- TL;DR: Mutate a binary to identify potential exploit candidates☆11Jan 12, 2026Updated 9 months ago
- OpenRewrite recipes for data flow analysis.☆16Oct 17, 2026Updated 2 weeks ago
- Modify ELF executables☆16Mar 5, 2019Updated 7 years ago
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated 2 years ago