SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution
Published in 33rd USENIX Security Symposium (USENIX Security), 2024
Recommended citation: Zhenxiao Qi, Jie Hu, Zhaoqi Xiao, and Heng Yin. "SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution." USENIX Security 2024.
Download Paper