Binary-level Directed Symbolic Execution Through Pattern Learning.

Sat, 01 Jan 2022 00:00:00 +0100

Zhijie Zhang , Liwei Chen, Haolai Wei, Guochao Dong, Yuantong Zhang, Xiaofan Nie, Gang Shi:
Binary-level Directed Symbolic Execution Through Pattern Learning. ISPA/BDCloud/SocialCom/SustainCom 2022: 50-57