INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS

INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS

The analysis of an intermediate representation of source or program code. An initial version of an initial representation of the source or program code is accessed and statically analyzed. For one or more portions of this initial version, the analysis component queries an analysis-time resolution co...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: ROHDE HENNING KORSHOLM, GRINGAUZE ANNA
Format: Patent
Sprache:eng
Schlagworte:
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator ROHDE HENNING KORSHOLM
GRINGAUZE ANNA
description The analysis of an intermediate representation of source or program code. An initial version of an initial representation of the source or program code is accessed and statically analyzed. For one or more portions of this initial version, the analysis component queries an analysis-time resolution component that provides supplemental intermediate representations corresponding to the portion. This supplemental intermediate representation provides further clarity regarding the portion, and is analyzed. If defects are found, they may be reported.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US2012079468A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US2012079468A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US2012079468A13</originalsourceid><addsrcrecordid>eNrjZLDx9AtxDfJ1dfF0DHFVCHINCHINdvULcQzx9PdTcPb3Cw4JCnUGc9z8gxSCQRLOCo5-jj6RwZ7BPAysaYk5xam8UJqbQdnNNcTZQze1ID8-tbggMTk1L7UkPjTYyMDQyMDc0sTMwtHQmDhVAP3SKzE</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS</title><source>esp@cenet</source><creator>ROHDE HENNING KORSHOLM ; GRINGAUZE ANNA</creator><creatorcontrib>ROHDE HENNING KORSHOLM ; GRINGAUZE ANNA</creatorcontrib><description>The analysis of an intermediate representation of source or program code. An initial version of an initial representation of the source or program code is accessed and statically analyzed. For one or more portions of this initial version, the analysis component queries an analysis-time resolution component that provides supplemental intermediate representations corresponding to the portion. This supplemental intermediate representation provides further clarity regarding the portion, and is analyzed. If defects are found, they may be reported.</description><language>eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2012</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20120329&amp;DB=EPODOC&amp;CC=US&amp;NR=2012079468A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,780,885,25564,76547</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20120329&amp;DB=EPODOC&amp;CC=US&amp;NR=2012079468A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>ROHDE HENNING KORSHOLM</creatorcontrib><creatorcontrib>GRINGAUZE ANNA</creatorcontrib><title>INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS</title><description>The analysis of an intermediate representation of source or program code. An initial version of an initial representation of the source or program code is accessed and statically analyzed. For one or more portions of this initial version, the analysis component queries an analysis-time resolution component that provides supplemental intermediate representations corresponding to the portion. This supplemental intermediate representation provides further clarity regarding the portion, and is analyzed. If defects are found, they may be reported.</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2012</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZLDx9AtxDfJ1dfF0DHFVCHINCHINdvULcQzx9PdTcPb3Cw4JCnUGc9z8gxSCQRLOCo5-jj6RwZ7BPAysaYk5xam8UJqbQdnNNcTZQze1ID8-tbggMTk1L7UkPjTYyMDQyMDc0sTMwtHQmDhVAP3SKzE</recordid><startdate>20120329</startdate><enddate>20120329</enddate><creator>ROHDE HENNING KORSHOLM</creator><creator>GRINGAUZE ANNA</creator><scope>EVB</scope></search><sort><creationdate>20120329</creationdate><title>INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS</title><author>ROHDE HENNING KORSHOLM ; GRINGAUZE ANNA</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US2012079468A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2012</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>ROHDE HENNING KORSHOLM</creatorcontrib><creatorcontrib>GRINGAUZE ANNA</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>ROHDE HENNING KORSHOLM</au><au>GRINGAUZE ANNA</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS</title><date>2012-03-29</date><risdate>2012</risdate><abstract>The analysis of an intermediate representation of source or program code. An initial version of an initial representation of the source or program code is accessed and statically analyzed. For one or more portions of this initial version, the analysis component queries an analysis-time resolution component that provides supplemental intermediate representations corresponding to the portion. This supplemental intermediate representation provides further clarity regarding the portion, and is analyzed. If defects are found, they may be reported.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_epo_espacenet_US2012079468A1
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-28T08%3A35%3A21IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=ROHDE%20HENNING%20KORSHOLM&rft.date=2012-03-29&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS2012079468A1%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true