LAVA-M 相关硕士博士期刊学术论文 - 搜论网

LAVA-M相关论文

动态符号执行路径探索策略研究

随着计算机技术的发展,软件在经济、工业、军事等重要领域的应用日益广泛,人们对其安全性的需求也越来越迫切。近年来动态符号执行......

学位

动态符号执行路径探索策略缺陷查找 angr平台 LAVA-M

基于符号执行的Fuzzing漏洞检测系统的研究与设计

随着互联网产业的不断发展,软件已经融入人们日常生活的各个方面。生活需求的多样性引导着软件功能的多样性,相关业务的复杂度和源......

学位

模糊测试符号执行约束求解变异策略 LAVA-M

看过本文同时还关注