avatar : a framework to support dynamic security analysis of embedded systems ' firmwares .
The S2E Platform: Design, Implementation, and Applications