Home

CoBRA Wiki

Welcome to the CoBRA wiki — documentation for the Coefficient-Based Reconstruction of Arithmetic MBA expression simplifier.

Methodology

Detailed documentation of CoBRA's architecture and techniques:

• Methodology — Architecture overview, classification, verification, and full reference list
• Orchestrator Architecture — Worklist model, pass registry, scheduling, competition groups, deduplication
• AST Processing — Classification, NOT-over-arithmetic lowering, operand simplification, XOR lowering
• Signature Techniques — Signature vectors, CoB transform, pattern matching, ANF, polynomial recovery
• Semilinear Techniques — Constant lowering, structure recovery, term refinement, bit-partitioned reconstruction
• Decomposition — Core extraction, residual classification, ghost solving, recombination
• Lifting — Arithmetic atom lifting, repeated subexpression lifting, skeleton solving
• Technique Index — Alphabetical reference of all techniques

Other Resources

• README — Quick start, usage, and examples
• BUILD.md — Build instructions
• DATASETS.md — Benchmark datasets