值集分析相关论文
当今时代,软件漏洞被看作一种战略资源受到攻防双方的积极关注,因此软件漏洞挖掘已成为网络安全研究领域的焦点。二进制程序分析技......
针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静......
随着软件数量和复杂度的逐步变大,软件中的潜在的安全问题受到人们的关注。Use-After-Free(以下简称UAF)漏洞是一种高危的内存破坏......
