Exploiting Hardware/Software Interactions For Analyzing Embedded Systems