SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis

Download PDF
Open Webpage

Ju Chen, Wookhyun Han, Mingjun Yin, Haochen Zeng, Chengyu Song, Byoungyoung Lee, Heng Yin, Insik Shin

Published: 2022, Last Modified: 11 Nov 2025USENIX Security Symposium 2022EveryoneRevisionsBibTeXCC BY-SA 4.0