河北省科学院学报
河北省科學院學報
하북성과학원학보
JOURNAL OF THE HEBEI ACADEMY OF SCIENCES
2013年
2期
16-21
,共6页
源代码分析技术%软件缺陷%Klocwork%静态测试
源代碼分析技術%軟件缺陷%Klocwork%靜態測試
원대마분석기술%연건결함%Klocwork%정태측시
介绍了现代源代码分析技术中使用的安全规则,并对此技术可以测试出的软件中存在的内存管理、变量未初始化、空指针引用、数组访问越界或异常四类主要代码缺陷和缓冲区溢出等安全漏洞类缺陷几大问题做了研究.通过介绍一个基于源代码分析的静态测试工具Klocwork,提出了基于源代码分析技术的静态测试过程的四个阶段并对其进行分析,总结了其应用到大型航天软件中存在的一些问题,并说明解决其相应难题还需要准备进一步的研究工作.
介紹瞭現代源代碼分析技術中使用的安全規則,併對此技術可以測試齣的軟件中存在的內存管理、變量未初始化、空指針引用、數組訪問越界或異常四類主要代碼缺陷和緩遲區溢齣等安全漏洞類缺陷幾大問題做瞭研究.通過介紹一箇基于源代碼分析的靜態測試工具Klocwork,提齣瞭基于源代碼分析技術的靜態測試過程的四箇階段併對其進行分析,總結瞭其應用到大型航天軟件中存在的一些問題,併說明解決其相應難題還需要準備進一步的研究工作.
개소료현대원대마분석기술중사용적안전규칙,병대차기술가이측시출적연건중존재적내존관리、변량미초시화、공지침인용、수조방문월계혹이상사류주요대마결함화완충구일출등안전루동류결함궤대문제주료연구.통과개소일개기우원대마분석적정태측시공구Klocwork,제출료기우원대마분석기술적정태측시과정적사개계단병대기진행분석,총결료기응용도대형항천연건중존재적일사문제,병설명해결기상응난제환수요준비진일보적연구공작.
