CPU Usage
0.0%
8 Cores
Container RAM
28.5 MB
/ 20 GB Max
States Explored
40
/ 432 Combos
Violations Detected
3,149
95 Critical
Fuzzing Throughput
4.33
seq/s
Real-time Multi-Layer Data Flow Architecture
Visualizing live signaling packets, cross-layer state transitions, and attack paths in 5G Core
Trigger Attack:
Live Detected Invariant Violations & Attack Feed
Chronological stream of formal safety/security invariants triggered on 5GC
CRITICAL
V1: RRC-NAS State Desynchronization
NAS signaling transmitted while RRC is still RRC_IDLE
Exploration Saturation Curve
48-Hour Trajectory
CrossCrisis: 36+ States
CoreCrisis: 12 States
AFLNet: 6 States