面向C语言代码的规则检测工具研究.胡瀚月.【摘要】:随着计算机应用的发展和软件规模的扩大,软件在信息社会中扮演着越来越重要的作用,然而软件危机的频频出现,使得诸如航天、运输控制系统、电子商务等众多质量关键应用领域都对系统的可靠性提出了极...
摘要:本文介绍了作者在面向嵌入式C语言的软件测试方面所做的工作,包括嵌入式C缺陷模型的描述以及使用扩展的缺陷模式状态机进行缺陷检测,通过设计缺陷模式的统一描述和统一检测框架,针对嵌入式编程中的一些具体缺陷实现检测算法,证明系统具有较好的检测效果。
论文生活休闲外语心理学全部建筑频道建筑文本施组方案交底用户中心充值VIP消息设置客户端书房阅读会议PPT上传书房登录注册<返回首页C语言源代码静态检测工具设计与实现毕…
基于源代码相似性的漏洞检测系统VulPecker的局限性主要表现在以下方面:首先,目前的实验集中于C/C++开源软件,虽然VulPecker本身对语言没有限制,但需要针对其他语言程序(如Java或者python)的效果进行实验研究,也有待于扩展到中间语言等级别;其次,VPD和...
面向C语言代码的规则检测工具研究[D].兰州理工大学,2014.语言程序设计课程教学初探[J].计算机光盘软件与应用,2013,22:214-215.王婷婷.基于QT的嵌入式Linux指纹识别系统GUI的实现[D].内蒙古大…
源程序代码-源程序代码:#ifndef_Max7219_H_#define_Max7219_H_#include
新开源的轻量级的C语言面向对象编程框架(约100行代码).本文推荐一种新开源(2010.1.24开源)的轻量级的面向对象C编程框架LW_OOPC(LightWeightObject-orientedProgrammingwithC),总共一个.h文件、25个宏、约100行代码,非常的轻量级,但很好的支持了很多的…
论文研究-一种基于静态词法树的程序相似性检测方法.pdf以C语言为例,总结了生成词法树的结构体,并对程序的词法树进行主数据流、结构控制流和时序流分析后得出结构体依赖图;使用形式化的图同型方法来判断代码是否相似,还给出了一个聚类方法以获得彼此相似的程序子集。
面向C语言安全子集静态检测技术的研究.朱薪豪.【摘要】:随着计算机科学的迅猛发展,计算机技术在航天、航空和无人驾驶等领域起着越来越重要的作用。.由于航天等安全关键领域对嵌入式软件安全性、可靠性的特殊要求,促使了C语言安全子集静态检测技术...
C++历史背景C++编程语言的历史可以追溯到1979年,当时BjarneStroustrup为博士学位论文进行了一些开发。在Stroustrup可以使用的所有单词中,有一种被称为Simula的语言,顾名思义,它可能是一种主要为而设计的语言。
面向C语言代码的规则检测工具研究.胡瀚月.【摘要】:随着计算机应用的发展和软件规模的扩大,软件在信息社会中扮演着越来越重要的作用,然而软件危机的频频出现,使得诸如航天、运输控制系统、电子商务等众多质量关键应用领域都对系统的可靠性提出了极...
摘要:本文介绍了作者在面向嵌入式C语言的软件测试方面所做的工作,包括嵌入式C缺陷模型的描述以及使用扩展的缺陷模式状态机进行缺陷检测,通过设计缺陷模式的统一描述和统一检测框架,针对嵌入式编程中的一些具体缺陷实现检测算法,证明系统具有较好的检测效果。
论文生活休闲外语心理学全部建筑频道建筑文本施组方案交底用户中心充值VIP消息设置客户端书房阅读会议PPT上传书房登录注册<返回首页C语言源代码静态检测工具设计与实现毕…
基于源代码相似性的漏洞检测系统VulPecker的局限性主要表现在以下方面:首先,目前的实验集中于C/C++开源软件,虽然VulPecker本身对语言没有限制,但需要针对其他语言程序(如Java或者python)的效果进行实验研究,也有待于扩展到中间语言等级别;其次,VPD和...
面向C语言代码的规则检测工具研究[D].兰州理工大学,2014.语言程序设计课程教学初探[J].计算机光盘软件与应用,2013,22:214-215.王婷婷.基于QT的嵌入式Linux指纹识别系统GUI的实现[D].内蒙古大…
源程序代码-源程序代码:#ifndef_Max7219_H_#define_Max7219_H_#include
新开源的轻量级的C语言面向对象编程框架(约100行代码).本文推荐一种新开源(2010.1.24开源)的轻量级的面向对象C编程框架LW_OOPC(LightWeightObject-orientedProgrammingwithC),总共一个.h文件、25个宏、约100行代码,非常的轻量级,但很好的支持了很多的…
论文研究-一种基于静态词法树的程序相似性检测方法.pdf以C语言为例,总结了生成词法树的结构体,并对程序的词法树进行主数据流、结构控制流和时序流分析后得出结构体依赖图;使用形式化的图同型方法来判断代码是否相似,还给出了一个聚类方法以获得彼此相似的程序子集。
面向C语言安全子集静态检测技术的研究.朱薪豪.【摘要】:随着计算机科学的迅猛发展,计算机技术在航天、航空和无人驾驶等领域起着越来越重要的作用。.由于航天等安全关键领域对嵌入式软件安全性、可靠性的特殊要求,促使了C语言安全子集静态检测技术...
C++历史背景C++编程语言的历史可以追溯到1979年,当时BjarneStroustrup为博士学位论文进行了一些开发。在Stroustrup可以使用的所有单词中,有一种被称为Simula的语言,顾名思义,它可能是一种主要为而设计的语言。