A State Machine for Detecting C/C++ Memory Faults

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 no...

Full description

Saved in:
Bibliographic Details
Main Authors: Guangyan Huang, Guangmei Zhang, Xiaowei Li, Yunzhan Gong
Format: Conference Proceeding
Language:English
Subjects:
Agricultural engineering
Agriculture
Computer bugs
Content addressable storage
Electronic mail
Embedded software
Fault detection
Humans
Leak detection
Signal to noise ratio
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 87
container_issue
container_start_page 82
container_title
container_volume
creator Guangyan Huang
Guangmei Zhang
Xiaowei Li
Yunzhan Gong
description 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
doi_str_mv 10.1109/ATS.2005.15
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_1575411</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1575411</ieee_id><sourcerecordid>1575411</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-c7f2c827e216a1976e5cbd71a8c764658b3f76b20725269e8583b2337130c0663</originalsourceid><addsrcrecordid>eNotzDtPwzAQAGCLh0RamBhZvFdJ73yxzxmj0AJSK4aWuXLMBYL6QIkZ-u8ZYPq2T6l7hAIRqnm93RQGwBZoL1RmiDm35N2lmgC7yprSo79SGYLHnJnsjZqM4xcAEFSUKaz1JoUkeh3iZ38U3Z0G_ShJYuqPH7qZN7OZXsvhNJz1Mvzs03irrruwH-Xu36l6Wy62zXO-en16aepV3iPblEfuTPSGxaALWLETG9t3xuAju9JZ31LHrjXAxhpXibeeWkPESBDBOZqqh7-3F5Hd99AfwnDeoWVbItIviJhAsg</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>A State Machine for Detecting C/C++ Memory Faults</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Guangyan Huang ; Guangmei Zhang ; Xiaowei Li ; Yunzhan Gong</creator><creatorcontrib>Guangyan Huang ; Guangmei Zhang ; Xiaowei Li ; Yunzhan Gong</creatorcontrib><description>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</description><identifier>ISSN: 1081-7735</identifier><identifier>ISBN: 0769524818</identifier><identifier>ISBN: 9780769524818</identifier><identifier>EISSN: 2377-5386</identifier><identifier>DOI: 10.1109/ATS.2005.15</identifier><language>eng</language><publisher>IEEE</publisher><subject>Agricultural engineering ; Agriculture ; Computer bugs ; Content addressable storage ; Electronic mail ; Embedded software ; Fault detection ; Humans ; Leak detection ; Signal to noise ratio</subject><ispartof>14th Asian Test Symposium (ATS'05), 2005, p.82-87</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1575411$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,777,781,786,787,2052,4036,4037,27906,54536,54901,54913</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1575411$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Guangyan Huang</creatorcontrib><creatorcontrib>Guangmei Zhang</creatorcontrib><creatorcontrib>Xiaowei Li</creatorcontrib><creatorcontrib>Yunzhan Gong</creatorcontrib><title>A State Machine for Detecting C/C++ Memory Faults</title><title>14th Asian Test Symposium (ATS'05)</title><addtitle>ATS</addtitle><description>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</description><subject>Agricultural engineering</subject><subject>Agriculture</subject><subject>Computer bugs</subject><subject>Content addressable storage</subject><subject>Electronic mail</subject><subject>Embedded software</subject><subject>Fault detection</subject><subject>Humans</subject><subject>Leak detection</subject><subject>Signal to noise ratio</subject><issn>1081-7735</issn><issn>2377-5386</issn><isbn>0769524818</isbn><isbn>9780769524818</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotzDtPwzAQAGCLh0RamBhZvFdJ73yxzxmj0AJSK4aWuXLMBYL6QIkZ-u8ZYPq2T6l7hAIRqnm93RQGwBZoL1RmiDm35N2lmgC7yprSo79SGYLHnJnsjZqM4xcAEFSUKaz1JoUkeh3iZ38U3Z0G_ShJYuqPH7qZN7OZXsvhNJz1Mvzs03irrruwH-Xu36l6Wy62zXO-en16aepV3iPblEfuTPSGxaALWLETG9t3xuAju9JZ31LHrjXAxhpXibeeWkPESBDBOZqqh7-3F5Hd99AfwnDeoWVbItIviJhAsg</recordid><startdate>2005</startdate><enddate>2005</enddate><creator>Guangyan Huang</creator><creator>Guangmei Zhang</creator><creator>Xiaowei Li</creator><creator>Yunzhan Gong</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2005</creationdate><title>A State Machine for Detecting C/C++ Memory Faults</title><author>Guangyan Huang ; Guangmei Zhang ; Xiaowei Li ; Yunzhan Gong</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-c7f2c827e216a1976e5cbd71a8c764658b3f76b20725269e8583b2337130c0663</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Agricultural engineering</topic><topic>Agriculture</topic><topic>Computer bugs</topic><topic>Content addressable storage</topic><topic>Electronic mail</topic><topic>Embedded software</topic><topic>Fault detection</topic><topic>Humans</topic><topic>Leak detection</topic><topic>Signal to noise ratio</topic><toplevel>online_resources</toplevel><creatorcontrib>Guangyan Huang</creatorcontrib><creatorcontrib>Guangmei Zhang</creatorcontrib><creatorcontrib>Xiaowei Li</creatorcontrib><creatorcontrib>Yunzhan Gong</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE/IET Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Guangyan Huang</au><au>Guangmei Zhang</au><au>Xiaowei Li</au><au>Yunzhan Gong</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>A State Machine for Detecting C/C++ Memory Faults</atitle><btitle>14th Asian Test Symposium (ATS'05)</btitle><stitle>ATS</stitle><date>2005</date><risdate>2005</risdate><spage>82</spage><epage>87</epage><pages>82-87</pages><issn>1081-7735</issn><eissn>2377-5386</eissn><isbn>0769524818</isbn><isbn>9780769524818</isbn><abstract>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</abstract><pub>IEEE</pub><doi>10.1109/ATS.2005.15</doi><tpages>6</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1081-7735
ispartof 14th Asian Test Symposium (ATS'05), 2005, p.82-87
issn 1081-7735
2377-5386
language eng
recordid cdi_ieee_primary_1575411
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Agricultural engineering
Agriculture
Computer bugs
Content addressable storage
Electronic mail
Embedded software
Fault detection
Humans
Leak detection
Signal to noise ratio
title A State Machine for Detecting C/C++ Memory Faults
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T18%3A36%3A49IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=A%20State%20Machine%20for%20Detecting%20C/C++%20Memory%20Faults&rft.btitle=14th%20Asian%20Test%20Symposium%20(ATS'05)&rft.au=Guangyan%20Huang&rft.date=2005&rft.spage=82&rft.epage=87&rft.pages=82-87&rft.issn=1081-7735&rft.eissn=2377-5386&rft.isbn=0769524818&rft.isbn_list=9780769524818&rft_id=info:doi/10.1109/ATS.2005.15&rft_dat=%3Cieee_6IE%3E1575411%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i175t-c7f2c827e216a1976e5cbd71a8c764658b3f76b20725269e8583b2337130c0663%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1575411&rfr_iscdi=true