Beyond a joke: Dead Code Elimination can delete live code

• Main Authors: TU, Haoxin, JIANG, Lingxiao, GAO, Debin, JIANG, He
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2024
• Subjects: program analysis; Reliability; software testing; symbolic execution; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/8923; https://ink.library.smu.edu.sg/context/sis_research/article/9926/viewcontent/3639476.3639763_pvoa_cc_by.pdf
• Institution: Singapore Management University

Dead Code Elimination (DCE) is a fundamental compiler optimization technique that removes dead code (e.g., unreachable or reachable but whose results are unused) in the program to produce smaller or faster executables. However, since compiler optimizations are typically aggressively performed and th...