State of the Art

We have identified four broad approaches to rehosting: pure emulation, hardware-in-the-loop emulation, symbolic modeling of peripherals, and hybrid systems that combine several of these strategies simultaneously. Our taxonomy is split into these four categories:

• Pure Emulation
• Hardware-in-the-loop
• Symbolic Abstractions
• Hybrid Approaches

Rehosting Timeline

We have created the following figure to summarize the relationships between rehosting systems to date. Check out the State of the Art taxonomy to learn more about individual systems.