Automatic modeling of hardware to enable the rehosting of embedded firmware - View it on GitHub