IDA plugin for automatic deobfuscation of opaque predicates by lifting microcode to z3 for SMT reasoning.
☆53Apr 30, 2026Updated this week
Alternatives and similar repositories for MicroSMT
Users that are interested in MicroSMT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a IDA plugin helps you to manage your IDA Comments☆26Sep 30, 2024Updated last year
- Small and lightweight x86-64 VBR bootkit for research purposes☆10Dec 7, 2022Updated 3 years ago
- IDA Pro plugin manager☆22Jan 23, 2023Updated 3 years ago
- ☆60Jan 17, 2026Updated 3 months ago
- ☆15Nov 25, 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.
- tiny wrapper around Windows Management Instrumentation API☆13Nov 9, 2018Updated 7 years ago
- Python bindings for BochsCPU☆39Aug 10, 2025Updated 8 months ago
- An IDA plugin to deobfuscate Pikabot's strings using RC4 and AES☆13Apr 8, 2024Updated 2 years ago
- Python tool to resolve all strings in Go binaries obfuscated by garble☆193Feb 21, 2025Updated last year
- Module for decompressing aPLib compressed data☆17Aug 25, 2022Updated 3 years ago
- Lightweight x86-64 instruction length disassembler (LDE)☆35Jun 17, 2023Updated 2 years ago
- Tools for assisting the reverse engineering of Qakbot☆11Jul 21, 2021Updated 4 years ago
- This x64dbg plugin allows you to upload your sample to Malcore and view the results.☆37Jun 30, 2023Updated 2 years ago
- Plugin to visualize Miasm IR graph in Binary Ninja.☆14Aug 7, 2019Updated 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.
- Plugin for x64dbg to generate Yara rules from function basic blocks.☆37Sep 2, 2017Updated 8 years ago
- Code snippets for Qiling Tutorials☆21Aug 22, 2020Updated 5 years ago
- idax: IDASDK extension libraries☆24Oct 12, 2025Updated 6 months ago
- IDA (sort of) headless☆28Feb 17, 2024Updated 2 years ago
- GreenLambert macOS IDA plugin to deobfuscate strings☆14Oct 4, 2021Updated 4 years ago
- A class to emulate the behavior of NtQuerySystemInformation when passed the SystemHypervisorDetailInformation information class☆27Sep 15, 2023Updated 2 years ago
- Control Flow Flattening Deobfuscator for Obfuscator-LLVM as a plugin for IDA Pro.☆90Apr 14, 2025Updated last year
- Index of my personal projects and writing, functionally a CV☆22Mar 11, 2026Updated last month
- Lightweight x86-64 disassembling library☆46Aug 22, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DelphiHelper is a python IDA Pro plugin aiming to help the analysis of x86/x86_64 binaries written in Delphi programming language.☆154Updated this week
- An example on how to get a list of all windows processes.☆20Oct 20, 2017Updated 8 years ago
- Sensirion SCD4x sensor library for the ESP32 microcontroller family. It enables developers to communicate with the SCD4x sensor on the ES…☆13Aug 7, 2022Updated 3 years ago
- ☆63Mar 15, 2026Updated last month
- Reports in .MD format☆22Jul 8, 2025Updated 9 months ago
- A simple XLL, showing how to create an XLL from scratch.☆50Jan 6, 2016Updated 10 years ago
- Rust symbol recovery tool☆83Feb 19, 2026Updated 2 months ago
- ApplyCalleeType IDA Plugin 🤙 — Reborn. Single-file port to IDA Pro 9.3 with right-click menu, live prototype editor, and full SAL/MSDN p…☆66Mar 9, 2026Updated last month
- Scripts, Yara rules and other files developed during malware investigations☆27Aug 19, 2022Updated 3 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.
- View8 - Decompiles serialized V8 objects back into high-level readable code.☆87Apr 26, 2026Updated last week
- simple C# portscanner - written for playing around with Metasploit's Execute-Assembly☆10Jul 1, 2023Updated 2 years ago
- ☆18Apr 20, 2023Updated 3 years ago
- Various tools & utilities for forza games☆18Nov 18, 2024Updated last year
- ☆27Jul 18, 2024Updated last year
- A small tool to unmap PE memory dumps.☆11Nov 9, 2023Updated 2 years ago
- Segment-accurate iBoot/SecureROM loader for Binary Ninja & IDA Pro☆51Mar 7, 2026Updated last month