avatar : a framework to support dynamic security analysis of embedded systems ' firmwares .
A "flight data recorder" for enabling full-system multiprocessor deterministic replay