Font Size: a A A

Research And Design Of A C++ Codes Defect Detection System

Posted on:2012-12-23Degree:MasterType:Thesis
Country:ChinaCandidate:X YanFull Text:PDF
GTID:2218330368988240Subject:Computer technology
Abstract/Summary:PDF Full Text Request
With the rapid development of information industry, the awareness of software security and reliability of the system is increasing. As an important means of improving software security and reliability, automated software testing based on static analysis has an extremely important significance for improving software quality, it can detect the program code in all stages of software development, and effectively improve the quality and the speed of software testing, dramatically reduce the development costs.In this paper, a defect detection model based on XML intermediate host model is designed. The source code is interpreted as through the syntax-directed parse of this model; so that useful status attribute information of code are extracted. In view of the advantage of expansibility and data storage, the status attribute information is imported into XML middle host model. An Xquery expression is designed to locate security vulnerabilities matching the vulnerability pattern from the XML intermediate host model with the help of vulnerability pattern. Finally, redirection of software detects is carried out from the XML intermediate pattern to the source file accuratelyAn automatic vulnerability static detection system based on safety rules are designed by an in-depth research on MISRA C++2008.This detection system can give a comprehensive and accurate detection to C/C++language program. As substantial test show, this system can effectively improve security and reliability of software system, the application value in detecting software is very high.
Keywords/Search Tags:Vulnerability rules, Static detection, Vulnerabilities pattern, XML
PDF Full Text Request
Related items