Fission

Architecture Diagrams

This page keeps the high-signal Mermaid diagrams for Fission’s architecture and quality workflow. The prose contract remains in ARCHITECTURE.md; this file is a visual index for quick orientation.

Ownership Map

flowchart TD
    Pcode["fission-pcode<br/>canonical semantics owner"]
    Structuring["fission-pcode::nir::structuring<br/>region legality owner"]
    Decompiler["fission-decompiler<br/>orchestration owner"]
    Static["fission-static<br/>facts and native preparation owner"]
    Loader["fission-loader<br/>format loading and provenance owner"]
    Script["fission-script<br/>Rhai scripting / read-only automation"]
    Dynamic["fission-dynamic<br/>runtime/debug analysis support"]
    TTD["fission-ttd<br/>time-travel / trace-adjacent support"]
    Plugin["fission-plugin<br/>contracts, hooks, runtime"]
    Surfaces["CLI / GUI / scripts / debugger / reports<br/>consume-only surfaces"]

    Loader --> Static
    Static --> Decompiler
    Pcode --> Structuring
    Structuring --> Decompiler
    Script --> Surfaces
    Dynamic --> Decompiler
    TTD --> Dynamic
    Plugin --> Decompiler
    Decompiler --> Surfaces
    Plugin --> Surfaces

    Surfaces -. "must not reconstruct semantics" .-> Pcode

End-to-End Product Surface Map

flowchart BT
    Binary["input binary<br/>PE / ELF / Mach-O"] --> Loader["fission-loader"]
    Loader --> Sleigh["fission-sleigh"]
    Sleigh --> Pcode["fission-pcode<br/>P-code / NIR / HIR / structuring"]
    Pcode --> Decompiler["fission-decompiler"]
    Static["fission-static<br/>facts / xrefs / helpers"] --> Decompiler
    Signatures["fission-signatures"] --> Loader
    Signatures --> Static
    Script["fission-script<br/>Rhai / read-only automation"] --> CLI
    Script --> Automation["fission-automation"]
    Dynamic["fission-dynamic"] --> Decompiler
    TTD["fission-ttd"] --> Dynamic
    Plugin["fission-plugin"] --> Decompiler
    Decompiler --> CLI["fission-cli"]
    Decompiler --> GUI["fission-tauri"]
    Automation --> CLI
    CLI --> Debug["debug surfaces<br/>script / disasm / xrefs / inventory / triage"]
    GUI --> Debug
    Plugin --> CLI
    Plugin --> GUI

Loader Pipeline

flowchart LR
    Detect["detect<br/>format family"] --> Probe["probe/load-spec<br/>architecture + load spec"]
    Probe --> Map["map<br/>file offsets / RVA / VA blocks"]
    Map --> Symbols["symbols<br/>imports / exports / thunks"]
    Symbols --> Finalize["finalize<br/>LoadedBinary + FunctionInfo"]
    Finalize --> Identity["identity report<br/>entropy / overlay / hints / evidence"]

Structuring Pipeline

flowchart TD
    CFG["CFG / basic-block facts"] --> Graph["StructureGraph"]
    Graph --> Proof["RegionProof"]
    Proof --> Collapse["CollapseDriver"]
    Collapse --> HIR["structured HIR"]
    Proof -->|"incomplete legality"| Fallback["explicit unstructured / goto output"]

Source Semantic Quality Workflow

flowchart LR
    Source["checked-in source"] --> Extract["function extraction"]
    Binary["checked-in binary"] --> Fission["fission_cli list/decomp"]
    Extract --> StaticCompare["static fingerprint comparison"]
    Fission --> StaticCompare
    Extract --> Behavior["dynamic behavior harness"]
    Fission --> Behavior
    StaticCompare --> Rows["source_semantic_rows.json"]
    Behavior --> Rows
    Rows --> Summary["summary JSON / Markdown"]
    Summary --> Debug["debug surfaces<br/>decomp / disasm / xrefs / inventory"]

[!NOTE] Keep diagrams high-level. When a diagram starts encoding policy details, move that policy into prose in ARCHITECTURE.md and keep the diagram as an orientation aid.

This site is open source. Improve this page.