METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON SEMANTICS OF CHANGED SOURCE CODE

METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON SEMANTICS OF CHANGED SOURCE CODE

This disclosure relates generally to method and system for identifying static analysis alarms based on semantics of changed source code. The disclosed technique is integrated in the proprietary static analysis tool that identifies semantics of the change and reports only impacted alarms. The method...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: ANUSHRI, Jana, KUMAR, Shrawan, CHIMDYALWAR, Bharti, VENKATESH, Ramanathan, GHIME, Vaidehi Manoj, KHADSARE, Ankita Shamrao
Format: Patent
Sprache:eng ; fre ; ger
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 ANUSHRI, Jana
KUMAR, Shrawan
CHIMDYALWAR, Bharti
VENKATESH, Ramanathan
GHIME, Vaidehi Manoj
KHADSARE, Ankita Shamrao
description This disclosure relates generally to method and system for identifying static analysis alarms based on semantics of changed source code. The disclosed technique is integrated in the proprietary static analysis tool that identifies semantics of the change and reports only impacted alarms. The method receives source code and a property over variables to be verified for identifying one or more impacted alarms. Further, an incremental analysis based on the one or more change program points are performed to mark one or more impacted functions in the current version of the source code and then generating a data flow analysis (DFA) and a program dependence graph (PDG) for the one or more impacted functions. Further, a change-based alarm identification technique is utilized for the one or more impacted static analysis alarms from the one or more impacted functions in the current version of source code based on semantics of change.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_EP4170504A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EP4170504A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_EP4170504A13</originalsourceid><addsrcrecordid>eNqNyrEKwjAURuEuDqK-w_8CQosV52ty0wSaRHrj0KlUiZNoob4_dvABnA4cvnVx85xs1KCgIb0k9jCxg9MckjO9Cw0kUXJqEdT24gTUUucFZxLWiAHCnhasBNFAWQrN8iVeO8VQUfO2WD3G55x3v24KGE7K7vP0HvI8jff8yp-BL3V1Ko9lTdXhD_IFXeIzLw</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON SEMANTICS OF CHANGED SOURCE CODE</title><source>esp@cenet</source><creator>ANUSHRI, Jana ; KUMAR, Shrawan ; CHIMDYALWAR, Bharti ; VENKATESH, Ramanathan ; GHIME, Vaidehi Manoj ; KHADSARE, Ankita Shamrao</creator><creatorcontrib>ANUSHRI, Jana ; KUMAR, Shrawan ; CHIMDYALWAR, Bharti ; VENKATESH, Ramanathan ; GHIME, Vaidehi Manoj ; KHADSARE, Ankita Shamrao</creatorcontrib><description>This disclosure relates generally to method and system for identifying static analysis alarms based on semantics of changed source code. The disclosed technique is integrated in the proprietary static analysis tool that identifies semantics of the change and reports only impacted alarms. The method receives source code and a property over variables to be verified for identifying one or more impacted alarms. Further, an incremental analysis based on the one or more change program points are performed to mark one or more impacted functions in the current version of the source code and then generating a data flow analysis (DFA) and a program dependence graph (PDG) for the one or more impacted functions. Further, a change-based alarm identification technique is utilized for the one or more impacted static analysis alarms from the one or more impacted functions in the current version of source code based on semantics of change.</description><language>eng ; fre ; ger</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2023</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=20230426&amp;DB=EPODOC&amp;CC=EP&amp;NR=4170504A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25542,76516</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20230426&amp;DB=EPODOC&amp;CC=EP&amp;NR=4170504A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>ANUSHRI, Jana</creatorcontrib><creatorcontrib>KUMAR, Shrawan</creatorcontrib><creatorcontrib>CHIMDYALWAR, Bharti</creatorcontrib><creatorcontrib>VENKATESH, Ramanathan</creatorcontrib><creatorcontrib>GHIME, Vaidehi Manoj</creatorcontrib><creatorcontrib>KHADSARE, Ankita Shamrao</creatorcontrib><title>METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON SEMANTICS OF CHANGED SOURCE CODE</title><description>This disclosure relates generally to method and system for identifying static analysis alarms based on semantics of changed source code. The disclosed technique is integrated in the proprietary static analysis tool that identifies semantics of the change and reports only impacted alarms. The method receives source code and a property over variables to be verified for identifying one or more impacted alarms. Further, an incremental analysis based on the one or more change program points are performed to mark one or more impacted functions in the current version of the source code and then generating a data flow analysis (DFA) and a program dependence graph (PDG) for the one or more impacted functions. Further, a change-based alarm identification technique is utilized for the one or more impacted static analysis alarms from the one or more impacted functions in the current version of source code based on semantics of change.</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>2023</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNqNyrEKwjAURuEuDqK-w_8CQosV52ty0wSaRHrj0KlUiZNoob4_dvABnA4cvnVx85xs1KCgIb0k9jCxg9MckjO9Cw0kUXJqEdT24gTUUucFZxLWiAHCnhasBNFAWQrN8iVeO8VQUfO2WD3G55x3v24KGE7K7vP0HvI8jff8yp-BL3V1Ko9lTdXhD_IFXeIzLw</recordid><startdate>20230426</startdate><enddate>20230426</enddate><creator>ANUSHRI, Jana</creator><creator>KUMAR, Shrawan</creator><creator>CHIMDYALWAR, Bharti</creator><creator>VENKATESH, Ramanathan</creator><creator>GHIME, Vaidehi Manoj</creator><creator>KHADSARE, Ankita Shamrao</creator><scope>EVB</scope></search><sort><creationdate>20230426</creationdate><title>METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON SEMANTICS OF CHANGED SOURCE CODE</title><author>ANUSHRI, Jana ; KUMAR, Shrawan ; CHIMDYALWAR, Bharti ; VENKATESH, Ramanathan ; GHIME, Vaidehi Manoj ; KHADSARE, Ankita Shamrao</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_EP4170504A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng ; fre ; ger</language><creationdate>2023</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>ANUSHRI, Jana</creatorcontrib><creatorcontrib>KUMAR, Shrawan</creatorcontrib><creatorcontrib>CHIMDYALWAR, Bharti</creatorcontrib><creatorcontrib>VENKATESH, Ramanathan</creatorcontrib><creatorcontrib>GHIME, Vaidehi Manoj</creatorcontrib><creatorcontrib>KHADSARE, Ankita Shamrao</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>ANUSHRI, Jana</au><au>KUMAR, Shrawan</au><au>CHIMDYALWAR, Bharti</au><au>VENKATESH, Ramanathan</au><au>GHIME, Vaidehi Manoj</au><au>KHADSARE, Ankita Shamrao</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON SEMANTICS OF CHANGED SOURCE CODE</title><date>2023-04-26</date><risdate>2023</risdate><abstract>This disclosure relates generally to method and system for identifying static analysis alarms based on semantics of changed source code. The disclosed technique is integrated in the proprietary static analysis tool that identifies semantics of the change and reports only impacted alarms. The method receives source code and a property over variables to be verified for identifying one or more impacted alarms. Further, an incremental analysis based on the one or more change program points are performed to mark one or more impacted functions in the current version of the source code and then generating a data flow analysis (DFA) and a program dependence graph (PDG) for the one or more impacted functions. Further, a change-based alarm identification technique is utilized for the one or more impacted static analysis alarms from the one or more impacted functions in the current version of source code based on semantics of change.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng ; fre ; ger
recordid cdi_epo_espacenet_EP4170504A1
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title METHOD AND SYSTEM FOR IDENTIFYING STATIC ANALYSIS ALARMS BASED ON SEMANTICS OF CHANGED SOURCE CODE
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-14T10%3A36%3A38IST&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=ANUSHRI,%20Jana&rft.date=2023-04-26&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EEP4170504A1%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