What It Does
Hyperflow demonstrates connecting different program representations:
• Parse C source → AST
• Compile → LLVM IR
• Link everything in a unified graph
• Enable cross-phase queries
The Vision in Action
Goal: Ask high-level questions that span program layers.
• "Which code paths can reach privileged memory?"
• "Where does user input influence system calls?"
• "What runtime behavior contradicts design intent?"
Current Implementation Status
🟢 Program Capability Graph (PCG) Lifter - Working
🟡 Program Dependency Graph (PDG) Lifter - In development
🟢 Linux Builder & RISC-V Toolchain - Ready
🟢 Compartmentalization Analysis - Research complete
Integration Points
Built to work with your existing tools:
• Ghidra - Binary analysis integration (in progress)
• LLVM - Compiler IR lifting
• GDB/strace - Runtime behavior capture
Current Status
Research prototype. Manual build process:
• Clone repo, run make build
• Explore samples/ for working examples
• PCG lifter tools in tools/lifters/
• Next: Automated analysis pipeline