USENIX Security ’22 – Shunfan Zhou, Zhemin Yang, Dan Qiao, Peng Liu, Min Yang, Zhe Wang, Chenggang Wu – ‘Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths’