OFFLINE TYPE CHECKING IN PROGRAMMING LANGUAGES

OFFLINE TYPE CHECKING IN PROGRAMMING LANGUAGES

Disclosed is a method and system for detecting errors in source code of an application without executing the source code. Embodiments of the disclosed technique include detecting an error generating change at a specific location in source code of an application without executing the source code. The...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: VERLAGUET JULIEN, MENGHRAJANI ALOK
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 VERLAGUET JULIEN
MENGHRAJANI ALOK
description Disclosed is a method and system for detecting errors in source code of an application without executing the source code. Embodiments of the disclosed technique include detecting an error generating change at a specific location in source code of an application without executing the source code. The detection includes detecting an error in the changed portion of the source code as well dependencies of the changed portion of the source code. After the error detection, an error message containing information of the error is generated and stored in a storage unit. The information on the error includes (a) an indication of the change in source code, (b) the specific location, or (c) reason for the error. The types of error detected can include (i) a data type mismatch error, (ii) a syntax error, and (iii) other errors such as uninitialized variable access, null value or pointer dereference.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US2014130016A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US2014130016A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US2014130016A13</originalsourceid><addsrcrecordid>eNrjZNDzd3Pz8fRzVQiJDHBVcPZwdfb29HNX8PRTCAjydw9y9PUFcX0c_dxDHd1dg3kYWNMSc4pTeaE0N4Oym2uIs4duakF-fGpxQWJyal5qSXxosJGBoYmhsYGBoZmjoTFxqgBuICZ_</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>OFFLINE TYPE CHECKING IN PROGRAMMING LANGUAGES</title><source>esp@cenet</source><creator>VERLAGUET JULIEN ; MENGHRAJANI ALOK</creator><creatorcontrib>VERLAGUET JULIEN ; MENGHRAJANI ALOK</creatorcontrib><description>Disclosed is a method and system for detecting errors in source code of an application without executing the source code. Embodiments of the disclosed technique include detecting an error generating change at a specific location in source code of an application without executing the source code. The detection includes detecting an error in the changed portion of the source code as well dependencies of the changed portion of the source code. After the error detection, an error message containing information of the error is generated and stored in a storage unit. The information on the error includes (a) an indication of the change in source code, (b) the specific location, or (c) reason for the error. The types of error detected can include (i) a data type mismatch error, (ii) a syntax error, and (iii) other errors such as uninitialized variable access, null value or pointer dereference.</description><language>eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2014</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=20140508&amp;DB=EPODOC&amp;CC=US&amp;NR=2014130016A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25542,76290</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20140508&amp;DB=EPODOC&amp;CC=US&amp;NR=2014130016A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>VERLAGUET JULIEN</creatorcontrib><creatorcontrib>MENGHRAJANI ALOK</creatorcontrib><title>OFFLINE TYPE CHECKING IN PROGRAMMING LANGUAGES</title><description>Disclosed is a method and system for detecting errors in source code of an application without executing the source code. Embodiments of the disclosed technique include detecting an error generating change at a specific location in source code of an application without executing the source code. The detection includes detecting an error in the changed portion of the source code as well dependencies of the changed portion of the source code. After the error detection, an error message containing information of the error is generated and stored in a storage unit. The information on the error includes (a) an indication of the change in source code, (b) the specific location, or (c) reason for the error. The types of error detected can include (i) a data type mismatch error, (ii) a syntax error, and (iii) other errors such as uninitialized variable access, null value or pointer dereference.</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>2014</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZNDzd3Pz8fRzVQiJDHBVcPZwdfb29HNX8PRTCAjydw9y9PUFcX0c_dxDHd1dg3kYWNMSc4pTeaE0N4Oym2uIs4duakF-fGpxQWJyal5qSXxosJGBoYmhsYGBoZmjoTFxqgBuICZ_</recordid><startdate>20140508</startdate><enddate>20140508</enddate><creator>VERLAGUET JULIEN</creator><creator>MENGHRAJANI ALOK</creator><scope>EVB</scope></search><sort><creationdate>20140508</creationdate><title>OFFLINE TYPE CHECKING IN PROGRAMMING LANGUAGES</title><author>VERLAGUET JULIEN ; MENGHRAJANI ALOK</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US2014130016A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2014</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>VERLAGUET JULIEN</creatorcontrib><creatorcontrib>MENGHRAJANI ALOK</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>VERLAGUET JULIEN</au><au>MENGHRAJANI ALOK</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>OFFLINE TYPE CHECKING IN PROGRAMMING LANGUAGES</title><date>2014-05-08</date><risdate>2014</risdate><abstract>Disclosed is a method and system for detecting errors in source code of an application without executing the source code. Embodiments of the disclosed technique include detecting an error generating change at a specific location in source code of an application without executing the source code. The detection includes detecting an error in the changed portion of the source code as well dependencies of the changed portion of the source code. After the error detection, an error message containing information of the error is generated and stored in a storage unit. The information on the error includes (a) an indication of the change in source code, (b) the specific location, or (c) reason for the error. The types of error detected can include (i) a data type mismatch error, (ii) a syntax error, and (iii) other errors such as uninitialized variable access, null value or pointer dereference.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_epo_espacenet_US2014130016A1
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title OFFLINE TYPE CHECKING IN PROGRAMMING LANGUAGES
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-02T10%3A14%3A18IST&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=VERLAGUET%20JULIEN&rft.date=2014-05-08&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS2014130016A1%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