循环摘要相关硕士博士期刊学术论文 - 信丰网

循环摘要相关论文

常用循环摘要的自动生成方法及其应用

同时,提出一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,可以自动......

期刊

循环摘要循环不变式前置条件后置条件程序验证 loop summary loop invariant precondition post-condi

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

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

学位

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

看过本文同时还关注