积木式模式相关论文
传统的源码缺陷分析方法存在缺陷规则有限，缺陷检测结果不明确等问题。以模型检测中的形式化规约为基础，提出一种积木式缺陷规则库构......
信息产业的飞速发展对软件的可靠性提出了更高的要求,程序静态分析作为不执行待测程序自身的一种程序分析技术,其目标是验证代码是......
