SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis. - Ju Chen; Wookhyun Han; Mingjun Yin; Haochen Zeng; Chengyu Song; Byoungyoung Lee; Heng Yin 001; Insik Shin (USENIX Security Symposium, 2022)