递推链扩展代数相关硕士博士期刊学术论文 - 信丰网

递推链扩展代数相关论文

一种多重循环程序内存访问越界检测方法

提出一种内存访问越界检测方法,以克服现有方法遇到的多重循环难题.先识别疑似缺陷点及其依赖区域,再实施多重循环的递推链分析,并......

期刊

软件缺陷检测静态分析符号执行循环分析递推链扩展代数 software defect detection static analysis symbol

多重循环程序内存访问越界增量检测方法

在严重威胁软件系统可靠性和安全性的多类软件缺陷中,内存访问越界属于危害性很强且广泛存在的一类缺陷,可被黑客利用并转变成多种......

学位

软件缺陷检测静态分析符号执行输入生成增量检测循环摘要递推链扩展代数

看过本文同时还关注