Inputs
ELF_A
firmware_v1.4.elf
ELF_B
firmware_v1.5.elf
168.9 KB · ARM · ELF32
›
Step 1
Lift to IR
Both binaries disassembled and converted to architecture-neutral intermediate representation
x86-64ARM64RISC-VCortex-M
›
Step 2
Execution graph
CFG traversal with branch probability weights — model trained on 5 years of real workloads
Binary diff
IR-level delta: new basic blocks, new call edges, new allocation paths surfaced
›
Gate verdicts
Response Time✓ PASS
Stack Depth✗ BLOCK
ROP Gadgets✓ PASS
Memory Budget✗ BLOCK
Heap Alloc✓ PASS

No execution required. No instrumentation. Just two ELF files. Powered by execution modeling trained on real running software — traced over five years of production workloads.