符号执行技术及应用研究综述

符号执行技术及应用研究综述

吴皓, 周世龙, 史东辉, 李强

Review of Symbolic Execution Technology and Applications

WU Hao, ZHOU Shilong, SHI Donghui, LI Qiang

计算机工程与应用 . 2023, (8): 56 -72 . DOI: 10.3778/j.issn.1002-8331.2209-0359