Persisting and Reusing Results of Static Program Analyses on a Large Scale
Static Program Analysis (SPA) has long been established as an important technique for gaining insights into software systems. Over the last years, analysis designers increasingly produced analyses that are compositional, collaborative, or incremental in nature - thus relying on some form of existing...
Uložené v:
| Vydané v: | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 888 - 900 |
|---|---|
| Hlavní autori: | , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
11.09.2023
|
| Predmet: | |
| ISSN: | 2643-1572 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Static Program Analysis (SPA) has long been established as an important technique for gaining insights into software systems. Over the last years, analysis designers increasingly produced analyses that are compositional, collaborative, or incremental in nature - thus relying on some form of existing results to increase performance or even precision. However, systematic result reuse is still rare in this field even though the analyzed software is mainly composed of reusable software components. For this work, we study 40 state-of-the-art SPA implementations and find that there is a tremendous potential for reusing analysis results. We attribute this to the fact that there is no systematic process in place for persisting and sharing analysis results and propose such a process here to fill this gap. In this paper, we present SPARRI, a prototype implementation providing an HTTP API to publish, search, and reuse SPA results. Our evaluation shows that reusing existing results with SPARRI can improve analysis performance by up to 92%. Furthermore, we see potential in applying it to other research areas like empirical software studies. benchmark creation. and artifact evaluation. |
|---|---|
| AbstractList | Static Program Analysis (SPA) has long been established as an important technique for gaining insights into software systems. Over the last years, analysis designers increasingly produced analyses that are compositional, collaborative, or incremental in nature - thus relying on some form of existing results to increase performance or even precision. However, systematic result reuse is still rare in this field even though the analyzed software is mainly composed of reusable software components. For this work, we study 40 state-of-the-art SPA implementations and find that there is a tremendous potential for reusing analysis results. We attribute this to the fact that there is no systematic process in place for persisting and sharing analysis results and propose such a process here to fill this gap. In this paper, we present SPARRI, a prototype implementation providing an HTTP API to publish, search, and reuse SPA results. Our evaluation shows that reusing existing results with SPARRI can improve analysis performance by up to 92%. Furthermore, we see potential in applying it to other research areas like empirical software studies. benchmark creation. and artifact evaluation. |
| Author | Dusing, Johannes Hermann, Ben |
| Author_xml | – sequence: 1 givenname: Johannes orcidid: 0000-0002-9367-2206 surname: Dusing fullname: Dusing, Johannes email: johannes.duesing@tu-dortmund.de organization: TU Dortmund,Dortmund,Germany – sequence: 2 givenname: Ben orcidid: 0000-0001-9848-2017 surname: Hermann fullname: Hermann, Ben email: ben.hermann@tu-dortmund.de organization: TU Dortmund,Dortmund,Germany |
| BookMark | eNotjN1OwkAQRlejiYI8gV7sCxSnMztt95IQ_AuJBPSaTNtZUlOK6ZYL3l6MXn3n5CTfyFx1h06NuU9hmqbgH2ebBWeIfoqANAWAAi7MxOe-IAZC7zN3aW4xc5SknOONGcX4BcBnyW_N20r72MSh6XZWutqu9Rh_ea3x2A7RHoLdDDI0lV31h10vezvrpD1FPafOil1Kv1O7qaTVO3MdpI06-d-x-XxafMxfkuX78-t8tkwECzckxMohh1DUPq9JlTlTrQlDwa5WHygE9KXnMnNSEglBhVK6wFJzHiqmsXn4-21UdfvdN3vpT9sU0BcOkX4AuiRPqg |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/ASE56229.2023.00080 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9798350329964 |
| EISSN | 2643-1572 |
| EndPage | 900 |
| ExternalDocumentID | 10298422 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IF 6IH 6IK 6IL 6IM 6IN 6J9 AAJGR AAWTH ABLEC ACREN ADYOE ADZIZ AFYQB ALMA_UNASSIGNED_HOLDINGS AMTXH BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IPLJI M43 OCL RIE RIL |
| ID | FETCH-LOGICAL-a284t-35e5f70f8d97d3ee556eed32f854de9f3ff29b95b64ab33a30c2ab4f5ad57fc53 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001103357200071&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:32:41 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a284t-35e5f70f8d97d3ee556eed32f854de9f3ff29b95b64ab33a30c2ab4f5ad57fc53 |
| ORCID | 0000-0002-9367-2206 0000-0001-9848-2017 |
| PageCount | 13 |
| ParticipantIDs | ieee_primary_10298422 |
| PublicationCentury | 2000 |
| PublicationDate | 2023-Sept.-11 |
| PublicationDateYYYYMMDD | 2023-09-11 |
| PublicationDate_xml | – month: 09 year: 2023 text: 2023-Sept.-11 day: 11 |
| PublicationDecade | 2020 |
| PublicationTitle | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] |
| PublicationTitleAbbrev | ASE |
| PublicationYear | 2023 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0051577 ssib057256115 |
| Score | 2.2446368 |
| Snippet | Static Program Analysis (SPA) has long been established as an important technique for gaining insights into software systems. Over the last years, analysis... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 888 |
| SubjectTerms | Benchmark testing Complexity theory Modular Analysis Prototypes Publishing Repository Mining Result Reuse Runtime Software systems Static Program Analysis Systematics |
| Title | Persisting and Reusing Results of Static Program Analyses on a Large Scale |
| URI | https://ieeexplore.ieee.org/document/10298422 |
| WOSCitedRecordID | wos001103357200071&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09a8MwEBVt6dAp_UjpNxq6urUlnWWNpSSUEkLoB2QLknUKgeKUxOnv78lO0i4dOtnYIMTJ53e23nvH2K3TBcGcpRUILk0U5iqhIhYSUzhwoL1JW5OkgR4Oi_HYjNZi9UYLg4gN-Qzv4mmzl-_n5Sr-KqMMF6ZQgt64u1rnrVhr8_CAJvDOsm3tSzit9dpmKEvN_cNrj6BeRG2KiKamjRHkr4YqDZ70O_-cySHr_ijz-GiLOUdsB6tj1tm0ZuDrTD1hz5HZHtO3mnJbef6CkeA-peNy9VEv-TzwWGbOyjhaJGjx1p0E6VbFLR9EgjgNR_DRZe_93tvjU7Jum5BYwpo6kYAQdBoKb7SXiAA5TUqKUIDyaIIMQRhnwOXKOimtTEthnQpgPehQgjxle9W8wjPGpYMiWBEs5qnSQJ9nKkNRpiHzFIHSnLNujM3ks3XGmGzCcvHH9Ut2EMMf-RZZdsX26sUKr9l--VXPloubZj2_Aezgn0o |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELZQQYKpPIp444E1kPgRxyNCrQqUqoIidavs-FxVQilqU34_5zQtLAxMsRLJsu5y_i7xd98RcmNVhjBn0APexpGAVESYxMpIZ1ZaqZyOVyJJPdXvZ6ORHtTF6lUtDABU5DO4DcPqLN_N8mX4VYYRznQmGO6426F1Vl2utX59pEL4TpJN9otIrVQtNJTE-u7-rY1gz0J1CguyppUU5K-WKhWidJr_XMs-af3U5tHBBnUOyBYUh6S5bs5A61g9Ik-B2x4CuJhQUzj6CoHiPsHrYvlRLujM05BoTvMwW6Bo0ZU-CeCjghraCxRxnA4BpEXeO-3hQzeqGydEBtGmjLgE6VXsM6eV4wBSprgoznwmhQPtufdMWy1tKozl3PA4Z8YKL42TyueSH5NGMSvghFBuZeYN8wbSWCiJH2giAZbHPnFogVyfklawzfhzpY0xXpvl7I_712S3O3zpjXuP_edzshdcEdgXSXJBGuV8CZdkJ_8qp4v5VeXbb2pKopM |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=IEEE%2FACM+International+Conference+on+Automated+Software+Engineering+%3A+%5Bproceedings%5D&rft.atitle=Persisting+and+Reusing+Results+of+Static+Program+Analyses+on+a+Large+Scale&rft.au=Dusing%2C+Johannes&rft.au=Hermann%2C+Ben&rft.date=2023-09-11&rft.pub=IEEE&rft.eissn=2643-1572&rft.spage=888&rft.epage=900&rft_id=info:doi/10.1109%2FASE56229.2023.00080&rft.externalDocID=10298422 |