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

吴皓周世龙史东辉李强

计算机工程与应用2023，Vol.59Issue(8)：56-72,17.

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

Review of Symbolic Execution Technology and Applications

吴皓 ¹周世龙 ²史东辉 ¹李强²

作者信息

符号执行/符号执行系统/约束求解/漏洞利用/漏洞检测

信息技术与安全科学

吴皓,周世龙,史东辉,李强..符号执行技术及应用研究综述[J].计算机工程与应用,2023,59(8):56-72,17.

"十四五"共用技术项目(0722-217FJ129YPF). （0722-217FJ129YPF）

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量0

下载量0

段落导航