A static analyzer for finding dynamic programming errors

A static analyzer for finding dynamic programming errors

There are important classes of programming errors that are hard to diagnose, both manually and automatically, because they involve a program's dynamic behavior. This article describes a compile‐time analyzer that detects these dynamic errors in large, real‐world programs. The analyzer traces ex...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Software, practice & experience practice & experience, 2000-06, Vol.30 (7), p.775-802
Hauptverfasser: Bush, William R., Pincus, Jonathan D., Sielaff, David J.
Format: Artikel
Sprache:eng
Schlagworte:
program analysis
program error checking
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 802
container_issue 7
container_start_page 775
container_title Software, practice & experience
container_volume 30
creator Bush, William R.
Pincus, Jonathan D.
Sielaff, David J.
description There are important classes of programming errors that are hard to diagnose, both manually and automatically, because they involve a program's dynamic behavior. This article describes a compile‐time analyzer that detects these dynamic errors in large, real‐world programs. The analyzer traces execution paths through the source code, modeling memory and reporting inconsistencies. In addition to avoiding false paths through the program, this approach provides valuable contextual information to the programmer who needs to understand and repair the defects. Automatically‐created models, ing the behavior of individual functions, allow inter‐procedural defects to be detected efficiently. A product built on these techniques has been used effectively on several large commercial programs. Copyright © 2000 John Wiley & Sons, Ltd.
doi_str_mv 10.1002/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_27760043</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>27760010</sourcerecordid><originalsourceid>FETCH-LOGICAL-c4139-5ba30ad6788cecb53ca4fae2e071ca623248981618f66a2f961cec6c2f90c9403</originalsourceid><addsrcrecordid>eNqNkNtKAzEQhoMoWA_v0CvRi62TQ5PdKkJZtS2KFTzeDTHNyuoealLR-vRmWfFGQQMhw-Sfj-Ej5IhCjwKw_d2rSTrZo5CoCJi432UQjtzjMFCHSvUHg-HkOLq6POGQHPEe9NLpAYvGK6TzPbJKOgA8jkAKsU42vH8CoLTPZIfEw65f6EVuurrSxfLDum5Wh5tXs7x67M6WlS7D59zVj06XZdOzztXOb5G1TBfebn-9m-Tm9OQ6HUfn09EkHZ5HRlCeRP0HzUHPpIpjY81DnxstMm2ZBUWNlowzEScxlTTOpNQsSyQNOWlCBSYRwDfJTssNK7y8Wr_AMvfGFoWubP3qkSklAQT_Z5A2xNs2aFztvbMZzl1eardECtgYR2yMY6MPG33YGkcOqDAYRwzGsTWOHAHTKTIcB_B9C37LC7v8Qf0D-ivzqxPQUYvO_cK-f6O1e0apeJi-uxjhtRylZ2cXAoF_Ap6aop8</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>27760010</pqid></control><display><type>article</type><title>A static analyzer for finding dynamic programming errors</title><source>Wiley Online Library All Journals</source><creator>Bush, William R. ; Pincus, Jonathan D. ; Sielaff, David J.</creator><creatorcontrib>Bush, William R. ; Pincus, Jonathan D. ; Sielaff, David J.</creatorcontrib><description>There are important classes of programming errors that are hard to diagnose, both manually and automatically, because they involve a program's dynamic behavior. This article describes a compile‐time analyzer that detects these dynamic errors in large, real‐world programs. The analyzer traces execution paths through the source code, modeling memory and reporting inconsistencies. In addition to avoiding false paths through the program, this approach provides valuable contextual information to the programmer who needs to understand and repair the defects. Automatically‐created models, ing the behavior of individual functions, allow inter‐procedural defects to be detected efficiently. A product built on these techniques has been used effectively on several large commercial programs. Copyright © 2000 John Wiley &amp; Sons, Ltd.</description><identifier>ISSN: 0038-0644</identifier><identifier>EISSN: 1097-024X</identifier><identifier>DOI: 10.1002/(SICI)1097-024X(200006)30:7&lt;775::AID-SPE309&gt;3.0.CO;2-H</identifier><language>eng</language><publisher>Chichester, UK: John Wiley &amp; Sons, Ltd</publisher><subject>program analysis ; program error checking</subject><ispartof>Software, practice &amp; experience, 2000-06, Vol.30 (7), p.775-802</ispartof><rights>Copyright © 2000 John Wiley &amp; Sons, Ltd.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c4139-5ba30ad6788cecb53ca4fae2e071ca623248981618f66a2f961cec6c2f90c9403</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://onlinelibrary.wiley.com/doi/pdf/10.1002%2F%28SICI%291097-024X%28200006%2930%3A7%3C775%3A%3AAID-SPE309%3E3.0.CO%3B2-H$$EPDF$$P50$$Gwiley$$H</linktopdf><linktohtml>$$Uhttps://onlinelibrary.wiley.com/doi/full/10.1002%2F%28SICI%291097-024X%28200006%2930%3A7%3C775%3A%3AAID-SPE309%3E3.0.CO%3B2-H$$EHTML$$P50$$Gwiley$$H</linktohtml><link.rule.ids>314,780,784,1416,27923,27924,45573,45574</link.rule.ids></links><search><creatorcontrib>Bush, William R.</creatorcontrib><creatorcontrib>Pincus, Jonathan D.</creatorcontrib><creatorcontrib>Sielaff, David J.</creatorcontrib><title>A static analyzer for finding dynamic programming errors</title><title>Software, practice &amp; experience</title><addtitle>Softw: Pract. Exper</addtitle><description>There are important classes of programming errors that are hard to diagnose, both manually and automatically, because they involve a program's dynamic behavior. This article describes a compile‐time analyzer that detects these dynamic errors in large, real‐world programs. The analyzer traces execution paths through the source code, modeling memory and reporting inconsistencies. In addition to avoiding false paths through the program, this approach provides valuable contextual information to the programmer who needs to understand and repair the defects. Automatically‐created models, ing the behavior of individual functions, allow inter‐procedural defects to be detected efficiently. A product built on these techniques has been used effectively on several large commercial programs. Copyright © 2000 John Wiley &amp; Sons, Ltd.</description><subject>program analysis</subject><subject>program error checking</subject><issn>0038-0644</issn><issn>1097-024X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2000</creationdate><recordtype>article</recordtype><recordid>eNqNkNtKAzEQhoMoWA_v0CvRi62TQ5PdKkJZtS2KFTzeDTHNyuoealLR-vRmWfFGQQMhw-Sfj-Ej5IhCjwKw_d2rSTrZo5CoCJi432UQjtzjMFCHSvUHg-HkOLq6POGQHPEe9NLpAYvGK6TzPbJKOgA8jkAKsU42vH8CoLTPZIfEw65f6EVuurrSxfLDum5Wh5tXs7x67M6WlS7D59zVj06XZdOzztXOb5G1TBfebn-9m-Tm9OQ6HUfn09EkHZ5HRlCeRP0HzUHPpIpjY81DnxstMm2ZBUWNlowzEScxlTTOpNQsSyQNOWlCBSYRwDfJTssNK7y8Wr_AMvfGFoWubP3qkSklAQT_Z5A2xNs2aFztvbMZzl1eardECtgYR2yMY6MPG33YGkcOqDAYRwzGsTWOHAHTKTIcB_B9C37LC7v8Qf0D-ivzqxPQUYvO_cK-f6O1e0apeJi-uxjhtRylZ2cXAoF_Ap6aop8</recordid><startdate>200006</startdate><enddate>200006</enddate><creator>Bush, William R.</creator><creator>Pincus, Jonathan D.</creator><creator>Sielaff, David J.</creator><general>John Wiley &amp; Sons, Ltd</general><scope>BSCLL</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>8FD</scope><scope>F28</scope><scope>FR3</scope><scope>7SC</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>200006</creationdate><title>A static analyzer for finding dynamic programming errors</title><author>Bush, William R. ; Pincus, Jonathan D. ; Sielaff, David J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c4139-5ba30ad6788cecb53ca4fae2e071ca623248981618f66a2f961cec6c2f90c9403</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2000</creationdate><topic>program analysis</topic><topic>program error checking</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Bush, William R.</creatorcontrib><creatorcontrib>Pincus, Jonathan D.</creatorcontrib><creatorcontrib>Sielaff, David J.</creatorcontrib><collection>Istex</collection><collection>CrossRef</collection><collection>Technology Research Database</collection><collection>ANTE: Abstracts in New Technology &amp; Engineering</collection><collection>Engineering Research Database</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Software, practice &amp; experience</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Bush, William R.</au><au>Pincus, Jonathan D.</au><au>Sielaff, David J.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A static analyzer for finding dynamic programming errors</atitle><jtitle>Software, practice &amp; experience</jtitle><addtitle>Softw: Pract. Exper</addtitle><date>2000-06</date><risdate>2000</risdate><volume>30</volume><issue>7</issue><spage>775</spage><epage>802</epage><pages>775-802</pages><issn>0038-0644</issn><eissn>1097-024X</eissn><abstract>There are important classes of programming errors that are hard to diagnose, both manually and automatically, because they involve a program's dynamic behavior. This article describes a compile‐time analyzer that detects these dynamic errors in large, real‐world programs. The analyzer traces execution paths through the source code, modeling memory and reporting inconsistencies. In addition to avoiding false paths through the program, this approach provides valuable contextual information to the programmer who needs to understand and repair the defects. Automatically‐created models, ing the behavior of individual functions, allow inter‐procedural defects to be detected efficiently. A product built on these techniques has been used effectively on several large commercial programs. Copyright © 2000 John Wiley &amp; Sons, Ltd.</abstract><cop>Chichester, UK</cop><pub>John Wiley &amp; Sons, Ltd</pub><doi>10.1002/(SICI)1097-024X(200006)30:7&lt;775::AID-SPE309&gt;3.0.CO;2-H</doi><tpages>28</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0038-0644
ispartof Software, practice & experience, 2000-06, Vol.30 (7), p.775-802
issn 0038-0644
1097-024X
language eng
recordid cdi_proquest_miscellaneous_27760043
source Wiley Online Library All Journals
subjects program analysis
program error checking
title A static analyzer for finding dynamic programming errors
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-12T18%3A39%3A07IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20static%20analyzer%20for%20finding%20dynamic%20programming%20errors&rft.jtitle=Software,%20practice%20&%20experience&rft.au=Bush,%20William%20R.&rft.date=2000-06&rft.volume=30&rft.issue=7&rft.spage=775&rft.epage=802&rft.pages=775-802&rft.issn=0038-0644&rft.eissn=1097-024X&rft_id=info:doi/10.1002/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H&rft_dat=%3Cproquest_cross%3E27760010%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=27760010&rft_id=info:pmid/&rfr_iscdi=true