Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program PathsOpen Website

Shunfan Zhou, Zhemin Yang, Dan Qiao, Peng Liu, Min Yang, Zhe Wang, Chenggang Wu

2022 (modified: 09 Nov 2022)USENIX Security Symposium 2022Readers: Everyone
0 Replies