A state machine for detecting c/c++ memory faults

Huang, Guangyan, Zhang, Guangmei, Li, Xiaowei and Gong, Yunzhan 2005, A state machine for detecting c/c++ memory faults, in ATS'05: Proceedings of the 14th IEEE Asian Test Symposium, IEEE, Piscataway, N.J., pp. 1-6.

Attached Files
Name Description MIMEType Size Downloads

Title A state machine for detecting c/c++ memory faults
Author(s) Huang, GuangyanORCID iD for Huang, Guangyan orcid.org/0000-0002-1821-8644
Zhang, Guangmei
Li, Xiaowei
Gong, Yunzhan
Conference name Asian Test Symposium (14th ; 2005 : Kolkata, India)
Conference location Kolkata, India
Conference dates 17-21 Dec. 2005
Title of proceedings ATS'05: Proceedings of the 14th IEEE Asian Test Symposium
Publication date 2005
Start page 1
End page 6
Total pages 6
Publisher IEEE
Place of publication Piscataway, N.J.
Summary Memory faults are major forms of software bugs that severely threaten system availability and security in c/c++ program. Many tools and techniques are available to check memory faults, but few provide systematic full-scale research and quantitative analysis. Furthermore, most of them produce high noise ratio of warning messages that require many human hours to review and eliminate false-positive alarms. And thus, they cannot locate the root causes of memory faults precisely. This paper provides an innovative state machine to check memory faults, which has three main contributions. Firstly, five concise formulas describing memory faults are given to make the mechanism of the state machine simple and flexible. Secondly, the state machine has the ability to locate the cause roots of the memory faults. Finally, a case study applying to an embedded software, which is written in 50 thousand lines of c codes, shows it can provide useful data to evaluate the reliability and quality of software.
ISBN 0769524818
Language eng
Field of Research 080309 Software Engineering
Socio Economic Objective 970108
HERDC Research category E1.1 Full written paper - refereed
ERA Research output type E Conference publication
Copyright notice ©2005, IEEE
Persistent URL http://hdl.handle.net/10536/DRO/DU:30083677

Connect to link resolver
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 2 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 180 Abstract Views, 1 File Downloads  -  Detailed Statistics
Created: Wed, 25 May 2016, 12:21:31 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.