抽象区间集相关硕士博士期刊学术论文 - 搜论网

抽象区间集相关论文

基于Cppcheck软件缺陷模式的研究与定位

随着科学技术日新月异的发展和软件规模的不断扩大，软件在各个行业得到了广泛的运用，已经成为生活中不可分割的组成部分。虽然软件经......

学位

缺陷模式 Cppcheck 抽象区间集数组越界

基于区间集的Cppcheck数组边界缺陷检测

针对开源软件Cppcheck误报率和漏报率过高，且不能检测出运行时程序缺陷等问题，基于Cppcheck程序，提出了抽象区间集算法，并将其应用于数......

期刊

Cppcheck 抽象区间集数组越界变量表达式

看过本文同时还关注