Specifying code analysis tools

Customised code analysis tools for the maintenance and evolution of existing software systems can be created by storing program information in a database, and using an application generator to translate the high-level specifications of the analyses the tools are intended to perform. We present a hig...

Full description

Saved in:
Bibliographic Details
Main Authors: Canfora, Cimitile, De Lucia
Format: Conference Proceeding
Language:English
Subjects:
Program control structures
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 103
container_issue
container_start_page 95
container_title
container_volume
creator Canfora
Cimitile
De Lucia
description Customised code analysis tools for the maintenance and evolution of existing software systems can be created by storing program information in a database, and using an application generator to translate the high-level specifications of the analyses the tools are intended to perform. We present a high-level domain-specific language for the specification of program analysis tools that exploit an algebraic program representation called F(p). The algebraic representation is a compact program view which describes the static composition of the control structures and the set of the resulting potential executions. Operands of the algebraic expression (that represent the program's constructs) are used as indexes to access information stored in the database. The specification language provides facilities for the traversal of the program representation and access to the associated information in the database. The program model and the analysis results are integrated into a unique conceptual model, thus simplifying the reuse of the results of an analysis and the integration of the tools.
doi_str_mv 10.1109/ICSM.1996.564993
format conference_proceeding
fullrecord <record><control><sourceid>ieee_CHZPO</sourceid><recordid>TN_cdi_ieee_primary_564993</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>564993</ieee_id><sourcerecordid>564993</sourcerecordid><originalsourceid>FETCH-LOGICAL-i172t-6c2be45bce3c90ddb263896d060a744fff1a01b7a7db99967c61cdaef24d8df13</originalsourceid><addsrcrecordid>eNotj71OwzAURi0oEmlhRwwoL-Bwr-1cxyOKKFQq6lCYK_8io9BUdZe8PZXK9J3p6HyMPSA0iGCeV_32o0FjqGlJGSOvWCVaTVyi6q7ZHDrsSJPWZsYqBJL8zPKWzUv5AWiVlqpiT9tD9DlNef9d-zHE2u7tMJVc6tM4DuWO3SQ7lHj_vwv2tXz97N_5evO26l_WPKMWJ05euKha56P0BkJwgmRnKACB1UqllNACOm11cOYcrD2hDzYmoUIXEsoFe7x4c4xxdzjmX3ucdpdb8g9ZRz7r</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Specifying code analysis tools</title><source>IEEE Xplore All Conference Series</source><creator>Canfora ; Cimitile ; De Lucia</creator><creatorcontrib>Canfora ; Cimitile ; De Lucia</creatorcontrib><description>Customised code analysis tools for the maintenance and evolution of existing software systems can be created by storing program information in a database, and using an application generator to translate the high-level specifications of the analyses the tools are intended to perform. We present a high-level domain-specific language for the specification of program analysis tools that exploit an algebraic program representation called F(p). The algebraic representation is a compact program view which describes the static composition of the control structures and the set of the resulting potential executions. Operands of the algebraic expression (that represent the program's constructs) are used as indexes to access information stored in the database. The specification language provides facilities for the traversal of the program representation and access to the associated information in the database. The program model and the analysis results are integrated into a unique conceptual model, thus simplifying the reuse of the results of an analysis and the integration of the tools.</description><identifier>ISSN: 1063-6773</identifier><identifier>ISBN: 0818676779</identifier><identifier>ISBN: 9780818676772</identifier><identifier>EISSN: 2576-3148</identifier><identifier>DOI: 10.1109/ICSM.1996.564993</identifier><language>eng</language><publisher>IEEE</publisher><subject>Program control structures</subject><ispartof>1996 Proceedings of International Conference on Software Maintenance, 1996, p.95-103</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/564993$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,4050,4051,27925,54555,54920,54932</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/564993$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Canfora</creatorcontrib><creatorcontrib>Cimitile</creatorcontrib><creatorcontrib>De Lucia</creatorcontrib><title>Specifying code analysis tools</title><title>1996 Proceedings of International Conference on Software Maintenance</title><addtitle>ICSM</addtitle><description>Customised code analysis tools for the maintenance and evolution of existing software systems can be created by storing program information in a database, and using an application generator to translate the high-level specifications of the analyses the tools are intended to perform. We present a high-level domain-specific language for the specification of program analysis tools that exploit an algebraic program representation called F(p). The algebraic representation is a compact program view which describes the static composition of the control structures and the set of the resulting potential executions. Operands of the algebraic expression (that represent the program's constructs) are used as indexes to access information stored in the database. The specification language provides facilities for the traversal of the program representation and access to the associated information in the database. The program model and the analysis results are integrated into a unique conceptual model, thus simplifying the reuse of the results of an analysis and the integration of the tools.</description><subject>Program control structures</subject><issn>1063-6773</issn><issn>2576-3148</issn><isbn>0818676779</isbn><isbn>9780818676772</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1996</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotj71OwzAURi0oEmlhRwwoL-Bwr-1cxyOKKFQq6lCYK_8io9BUdZe8PZXK9J3p6HyMPSA0iGCeV_32o0FjqGlJGSOvWCVaTVyi6q7ZHDrsSJPWZsYqBJL8zPKWzUv5AWiVlqpiT9tD9DlNef9d-zHE2u7tMJVc6tM4DuWO3SQ7lHj_vwv2tXz97N_5evO26l_WPKMWJ05euKha56P0BkJwgmRnKACB1UqllNACOm11cOYcrD2hDzYmoUIXEsoFe7x4c4xxdzjmX3ucdpdb8g9ZRz7r</recordid><startdate>1996</startdate><enddate>1996</enddate><creator>Canfora</creator><creator>Cimitile</creator><creator>De Lucia</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1996</creationdate><title>Specifying code analysis tools</title><author>Canfora ; Cimitile ; De Lucia</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i172t-6c2be45bce3c90ddb263896d060a744fff1a01b7a7db99967c61cdaef24d8df13</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1996</creationdate><topic>Program control structures</topic><toplevel>online_resources</toplevel><creatorcontrib>Canfora</creatorcontrib><creatorcontrib>Cimitile</creatorcontrib><creatorcontrib>De Lucia</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>Canfora</au><au>Cimitile</au><au>De Lucia</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Specifying code analysis tools</atitle><btitle>1996 Proceedings of International Conference on Software Maintenance</btitle><stitle>ICSM</stitle><date>1996</date><risdate>1996</risdate><spage>95</spage><epage>103</epage><pages>95-103</pages><issn>1063-6773</issn><eissn>2576-3148</eissn><isbn>0818676779</isbn><isbn>9780818676772</isbn><abstract>Customised code analysis tools for the maintenance and evolution of existing software systems can be created by storing program information in a database, and using an application generator to translate the high-level specifications of the analyses the tools are intended to perform. We present a high-level domain-specific language for the specification of program analysis tools that exploit an algebraic program representation called F(p). The algebraic representation is a compact program view which describes the static composition of the control structures and the set of the resulting potential executions. Operands of the algebraic expression (that represent the program's constructs) are used as indexes to access information stored in the database. The specification language provides facilities for the traversal of the program representation and access to the associated information in the database. The program model and the analysis results are integrated into a unique conceptual model, thus simplifying the reuse of the results of an analysis and the integration of the tools.</abstract><pub>IEEE</pub><doi>10.1109/ICSM.1996.564993</doi><tpages>9</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1063-6773
ispartof 1996 Proceedings of International Conference on Software Maintenance, 1996, p.95-103
issn 1063-6773
2576-3148
language eng
recordid cdi_ieee_primary_564993
source IEEE Xplore All Conference Series
subjects Program control structures
title Specifying code analysis tools
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T04%3A41%3A52IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_CHZPO&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Specifying%20code%20analysis%20tools&rft.btitle=1996%20Proceedings%20of%20International%20Conference%20on%20Software%20Maintenance&rft.au=Canfora&rft.date=1996&rft.spage=95&rft.epage=103&rft.pages=95-103&rft.issn=1063-6773&rft.eissn=2576-3148&rft.isbn=0818676779&rft.isbn_list=9780818676772&rft_id=info:doi/10.1109/ICSM.1996.564993&rft_dat=%3Cieee_CHZPO%3E564993%3C/ieee_CHZPO%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i172t-6c2be45bce3c90ddb263896d060a744fff1a01b7a7db99967c61cdaef24d8df13%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=564993&rfr_iscdi=true