Affiliation:
1. University of Wisconsin-Madison, USA
2. University of Wisconsin-Madison, USA / GrammaTech, USA
Funder
Defense Advanced Research Projects Agency
Wisconsin Alumni Research Foundation
Air Force Research Laboratory
Rajiv and Ritu Batra
UW-Madison Office of the Vice Chancellor for Research and Graduate Education
Reference35 articles.
1. Design and implementation of a fine-grained software inspection tool
2. ARM instruction-set manual. http:// infocenter.arm.com/help/topic/com. arm.doc.qrc0001m/QRC0001_UAL.pdf. ARM instruction-set manual. http:// infocenter.arm.com/help/topic/com. arm.doc.qrc0001m/QRC0001_UAL.pdf.
3. Specialization Slicing
4. WYSINWYX
5. CodeSurfer/x86—A Platform for Analyzing x86 Executables
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Recovering Container Class Types in C++ Binaries;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02
2. SymPas: Symbolic Program Slicing;Journal of Computer Science and Technology;2021-03-31
3. Obfuscation;Proceedings of the 9th Workshop on Software Security, Protection, and Reverse Engineering - SSPREW9 '19;2019
4. Model-assisted machine-code synthesis;Proceedings of the ACM on Programming Languages;2017-10-12
5. Speeding up machine-code synthesis;ACM SIGPLAN Notices;2016-12-05