软件漏洞挖掘相关论文
为解决KLEE中STP求解器无法对非线性求解约束条件求解的问题,将改进的遗传算法应用于KLEE中自动生成软件漏洞测试用例。通过改进遗......
随着进入信息化时代,电脑软件在各个领域中得到了广泛的应用,而存在计算机软件中的安全漏洞引起的危害也越来越严重,因此,人们开始......