SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution. - Zhenxiao Qi; Jie Hu; Zhaoqi Xiao; Heng Yin 001 (USENIX Security Symposium, 2024)