eversinc33

eversinc33 / MicroSMT

Public

IDA plugin for automatic deobfuscation of opaque predicates by lifting microcode to z3 for SMT reasoning.

49
1
100% credibility
Found May 03, 2026 at 47 stars -- GitGems finds repos before they trend. Get early access to the next one.
Sign Up Free
AI Analysis
Python
AI Summary

MicroSMT is a helper tool for disassembly software that figures out and optionally fixes deceptive always-true or always-false conditions in code.

How It Works

1
🔍 Discover MicroSMT

While searching for ways to unravel hidden tricks in program logic, you find MicroSMT, a clever helper that simplifies confusing decisions.

2
📥 Download the script

Grab the single easy file from the project page to get started.

3
📂 Add to your tool

Place the file in the add-ons area of your code viewing program.

4
🔧 Prepare the solver

Set up the free logic puzzle tool Z3 once so everything works smoothly.

5
🎯 Analyze a decision

Put your cursor on a yes-or-no spot in the code, press the quick shortcut, and watch it uncover the truth.

6
📊 See the verdict

It tells you if the decision always happens, never does, depends on real inputs, or can't tell, with a simple breakdown.

✅ Unlock clearer code

Tricky parts become straightforward, letting you explore and understand the program effortlessly.

Sign up to see the full architecture

5 more

Sign Up Free

Star Growth

See how this repo grew from 47 to 49 stars Sign Up Free
Repurpose This Repo

Repurpose is a Pro feature

Generate ready-to-use prompts for X threads, LinkedIn posts, blog posts, YouTube scripts, and more -- with full repo context baked in.

Unlock Repurpose
AI-Generated Review

What is MicroSMT?

MicroSMT is a free GitHub IDA Pro plugin written in Python that automatically detects and deobfuscates opaque predicates in binaries. Place your cursor on a conditional jump or setcc instruction, hit Alt+M, and it analyzes the condition using Hex-Rays microcode lifted to Z3 for SMT solving—flagging always-true/false branches and optionally patching them to nops or jumps. It targets obfuscated malware like Lumma Stealer, skipping complex cases involving memory or API calls.

Why is it gaining traction?

Unlike manual tracing or full symbolic execution tools, MicroSMT delivers quick, targeted wins on single-block predicates without dynamic analysis, with built-in patching for instant cleanup. As a lightweight IDA plugin AI addition—easy to drop into your IDA plugin folder via GitHub IDA download—it fits seamlessly into IDA Pro 7.5+ workflows, standing out in the IDA plugin directory and repo scene alongside tools like IDA Flirt GitHub or IDA Rahu GitHub.

Who should use this?

Malware reverse engineers tired of hand-solving junk conditionals in IDA Pro. Binary analysts unpacking stealers or loaders where opaque predicates block progress. Teams evaluating IDA plugins for automated deobfuscation, especially if you're already using Z3 and Hex-Rays.

Verdict

Grab it from the GitHub IDA plugin repo for a microsmt review boost in your toolkit—42 stars show niche interest, but 1.0% credibility and pre-alpha status mean expect bugs and limited scope. Solid prototype for IDA plugin contest contenders; test on your samples before production RE.

(198 words)

Sign up to read the full AI review Sign Up Free

Similar repos coming soon.