IDA Plugin Updates on 2026-10-20
New Releases:
Activity:
- augur
- chernobog
- e96039ef: docs: add Chernobog 6.5.0 release notes and update README
- bad5076c: fix: reduce constant-masked selectors before Legacy MBA SMT search
- 8acf0c1a: fix: canonicalize verified complements in MBA SMT proof expressions
- 2a2f6055: fix: prioritize complete linear word regions in Legacy MBA SMT
- 98793b69: fix: reserve 750 ms ctree budget for Legacy MBA SMT chains
- e5900be5: fix: execute unconditional MBA SMT chains without invariant inference
- d2401dd0: feat: promote CoBRA to default MBA SMT backend
- 0e83dbb9: fix: retain 500 ms site cap for all unmasked Legacy MBA SMT expressions
- 83d35afd: ci: add configurable native parallelism input for MBA CoBRA runtime w…
- cf61d8a3: fix: preserve 250 ms site cap for masked and small Legacy MBA SMT exp…
- 76018126: fix: prepare MBA SMT word proofs for constant queries and retain per …
- 68f9dfda: fix: skip MBA SMT invariant inference for empty unconditional CFG wra…
- e74216d0: fix: prepare cached word proofs before Legacy MBA SMT search
- diaphora
- 14ce7dae: Merge pull request #391 from joxeankoret/joxeankoret-patch-18
- c04ab4fc: Update README.md
- 7bf142b3: Merge pull request #390 from joxeankoret/joxeankoret-patch-17
- a0946609: Update ida-plugin.json
- ffxiv_bossmod
- haruspex
- rhabdomancer
- XrefsExt