Block Coverage on DICE GPS Receiver I_M (firmware binary)
43.4Min Block CoverageDyMA-Fuzz
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| DyMA-Fuzz#Blocks=3006, DMA implementation type=Memory-Mapped (I_M), Duration=96 hours2026.02 | 43.4 | 44.1 | 45.6 | — | |
| MultiFuzz-DICE#Blocks=3006, DMA implementation type=Memory-Mapped (I_M), Duration=96 hours2026.02 | 35.2 | 43.4 | 47.6 | — | |
| MultiFuzz#Blocks=3006, DMA implementation type=Memory-Mapped (I_M), Duration=96 hours2026.02 | 12.1 | 12.1 | 12.1 | — | |
| SEmu#Blocks=3006, DMA implementation type=Memory-Mapped (I_M), Duration=96 hours2026.02 | 11.8 | 11.8 | 11.8 | — |