Author:
Pfeffer Tobias F.,Herber Paula,Schneider Jörg
Reference11 articles.
1. ARM. ARM Compiler toolchain, 4.1 edition, 2011.
2. S. Cesare and Y. Xiang. Wire -- a formal intermediate language for binary analysis. In TrustCom, pages 515--524. IEEE, 2012.
3. F. Chen, H. Yang, W. Chu, and B. Xu. A program transformation framework for multicore software reengineering. In QSIC, pages 270--275. IEEE, 2012.
4. Hex Rays. Hex-rays home, 2012.
5. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385--394, July 1976.