When Function Signature Recovery Meets Compiler Optimization

Control-Flow Integrity (CFI) [1] is a promising technique in defending against control-flow hijacking attacks [2, 3, 4, 5] by enforcing that runtime control flows follow valid paths in the program’s Control-Flow Graph (CFG).