@inproceedings {281360, author = {Ju Chen and WookHyun Han and Mingjun Yin and Haochen Zeng and Chengyu Song and Byoungyoung Lee and Heng Yin and Insik Shin}, title = {{SYMSAN}: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis}, booktitle = {31st USENIX Security Symposium (USENIX Security 22)}, year = {2022}, isbn = {978-1-939133-31-1}, address = {Boston, MA}, pages = {2531--2548}, url = {https://www.usenix.org/conference/usenixsecurity22/presentation/chen-ju}, publisher = {USENIX Association}, month = aug }