TypeSqueezer: When static recovery of function signatures for binary executables meets dynamic analysis

• Main Authors: LIN, Ziyi, LI, Jinku, LI, Bowen, MA, Haoyu, GAO, Debin, MA, Jianfeng
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2023
• Subjects: Control-flow integrity; Type inference; Binary executables; Artificial Intelligence and Robotics; Databases and Information Systems
• Online Access: https://ink.library.smu.edu.sg/sis_research/8419; https://ink.library.smu.edu.sg/context/sis_research/article/9422/viewcontent/ccs_23.pdf
• Institution: Singapore Management University

Control-Flow Integrity (CFI) is considered a promising solutionin thwarting advanced code-reuse attacks. While the problem ofbackward-edge protection in CFI is nearly closed, effective forward-edge protection is still a major challenge. The keystone of protecting the forward edge is to resolve indir...