Author:
Zhang Yilei,Liao Haoyu,Wang Zekun,Huang Bo,Guo Jianmei
Reference45 articles.
1. From hack to elaborate technique -A survey on binary rewriting;M Wenzl;ACM Comput Surv,2019
2. BAP: A binary analysis platform;D Brumley;Computer Aided Verification -23rd International Conference, CAV 2011,2011
3. Formally verified lifting of c-compiled x86-64 binaries;F Verbeek;PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,2022
4. Update with care: Testing candidate bug fixes and integrating selective updates through binary rewriting;A Saieva;J Syst Softw,2022
5. Codbt: A multi-source dynamic binary translator using hardwaresoftware collaborative techniques;H Guan;J Syst Archit,2010