Shunfan Zhou, Zhemin Yang, Dan Qiao, Peng Liu 0005, Min Yang 0002, Zhe Wang 0017, Chenggang Wu 0002. Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths. In Kevin R. B. Butler, Kurt Thomas, editors, 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022. pages 4365-4382, USENIX Association, 2022. [doi]
Abstract is missing.