Detecting Defects in Multicomponent Software Using a Set of Universal Graph Representations of the Code
A comparison of the existing software analysis methods is presented with an assessment of the possibility of identifying defects contained in several components implemented in different programming languages. A set of three universal graph representations of code is proposed for implementing securit...
Gespeichert in:
| Veröffentlicht in: | Automatic control and computer sciences Jg. 58; H. 8; S. 1255 - 1262 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Moscow
Pleiades Publishing
01.12.2024
Springer Nature B.V |
| Schlagworte: | |
| ISSN: | 0146-4116, 1558-108X |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | A comparison of the existing software analysis methods is presented with an assessment of the possibility of identifying defects contained in several components implemented in different programming languages. A set of three universal graph representations of code is proposed for implementing security analysis methods that take into account interactions between software components using different sets of programming languages. For the proposed universal code representations, a concept of a security analysis system and a prototype of the system implementation are developed, supporting cross-language analysis of the software components implemented in the programming languages PHP and C, as well languages using the .NET platform. |
|---|---|
| AbstractList | A comparison of the existing software analysis methods is presented with an assessment of the possibility of identifying defects contained in several components implemented in different programming languages. A set of three universal graph representations of code is proposed for implementing security analysis methods that take into account interactions between software components using different sets of programming languages. For the proposed universal code representations, a concept of a security analysis system and a prototype of the system implementation are developed, supporting cross-language analysis of the software components implemented in the programming languages PHP and C, as well languages using the .NET platform. |
| Author | Zegzhda, D. P. Kubrin, G. S. |
| Author_xml | – sequence: 1 givenname: G. S. surname: Kubrin fullname: Kubrin, G. S. email: kubrin@ibks.spbstu.ru organization: Peter the Great St. Petersburg Polytechnic University – sequence: 2 givenname: D. P. surname: Zegzhda fullname: Zegzhda, D. P. organization: Peter the Great St. Petersburg Polytechnic University |
| BookMark | eNp1kNFLwzAQxoNMcJv-Ab4FfK5e0qZNH2XTKUwE68C3krbXrWNLapIp_vemTPBBfLo7vt93H3cTMtJGIyGXDK5jBvFNASxJE8ZSnmQAObATMmZCyIiBfBuR8SBHg35GJs5tAYIm0zFZz9Fj7Tu9pnNsQ-dop-nTYee72uz7EKI9LUzrP5VFunIDqGiBnpqWrnT3gdapHV1Y1W_oC_YWXXAo3xntBsRvkM5Mg-fktFU7hxc_dUpW93evs4do-bx4nN0uo5rl0keZgJrVrRSpqKCRUrSCqwwV8Jw1cd7IKolzkVdZJUAkYeZSBbRJOR-uruMpuTru7a15P6Dz5dYcrA6RZcxFIhOWgQgUO1K1Nc5ZbMvedntlv0oG5fDP8s8_g4cfPS6weo32d_P_pm8LaHgE |
| Cites_doi | 10.1145/3468264.3468538 10.3103/s0146411623080126 10.1109/sp.2014.44 10.3103/s0146411618080023 10.1145/3611643.3616350 10.1145/3506696 10.3103/s014641161908025x 10.1051/shsconf/20184400044 10.48550/arXiv.1906.00815 10.1007/978-3-030-93872-7_10 10.4230/LIPIcs.ECOOP.2016.2 |
| ContentType | Journal Article |
| Copyright | Allerton Press, Inc. 2024 ISSN 0146-4116, Automatic Control and Computer Sciences, 2024, Vol. 58, No. 8, pp. 1255–1262. © Allerton Press, Inc., 2024.Russian Text © The Author(s), 2024, published in Problemy Informatsionnoi Bezopasnosti, Komp’yuternye Sistemy, 2024, No. S2(60), pp. 65–75. Allerton Press, Inc. 2024. |
| Copyright_xml | – notice: Allerton Press, Inc. 2024 ISSN 0146-4116, Automatic Control and Computer Sciences, 2024, Vol. 58, No. 8, pp. 1255–1262. © Allerton Press, Inc., 2024.Russian Text © The Author(s), 2024, published in Problemy Informatsionnoi Bezopasnosti, Komp’yuternye Sistemy, 2024, No. S2(60), pp. 65–75. – notice: Allerton Press, Inc. 2024. |
| DBID | AAYXX CITATION 8FE 8FG ABJCF AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L6V M7S P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
| DOI | 10.3103/S0146411624700901 |
| DatabaseName | CrossRef ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central ProQuest Technology Collection ProQuest One Community College ProQuest Central Korea ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Engineering Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection Engineering Database ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) |
| DatabaseTitleList | Computer Science Database |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1558-108X |
| EndPage | 1262 |
| ExternalDocumentID | 10_3103_S0146411624700901 |
| GroupedDBID | -Y2 -~X .86 .VR 06D 0R~ 0VY 1N0 23N 2J2 2JN 2JY 2KG 2KM 2LR 2VQ 2~H 30V 4.4 408 40D 40E 5GY 5VS 6NX 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAPKM AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABDBE ABDZT ABECU ABFTD ABFTV ABHQN ABJNI ABJOX ABKCH ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACCUX ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADKNI ADRFC ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEMSY AEOHA AEPYU AETLH AEVLU AEXYK AFBBN AFFNX AFGCZ AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AI. AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARMRJ AXYYD B-. BA0 BDATZ BGNMA CAG COF CS3 DDRTE DNIVK DPUIP EBLON EBS EIOEI EJD ESBYG FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ7 H13 HF~ HG6 HLICF HMJXF HRMNR HZ~ IJ- IKXTQ IWAJR I~X I~Z J-C JBSCW JZLTJ KOV LLZTM M4Y MA- NPVJJ NQJWS NU0 O9- O93 O9J P9O PF0 PT4 QOS R89 R9I RNS ROL RPX RSV S16 S1Z S27 S3B SAP SCO SDH SHX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TN5 TSG TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW VH1 W48 WK8 YLTOR ZMTXR ~A9 AAYXX ABFSG ABJCF ABRTQ ACSTC AEZWR AFDZB AFFHD AFHIU AFKRA AFOHR AHPBZ AHWEU AIXLP ARAPS ATHPR BENPR BGLVJ CCPQU CITATION HCIFZ K7- M7S PHGZM PHGZT PQGLB PTHSS 8FE 8FG AZQEC DWQXO GNUQQ JQ2 L6V P62 PKEHL PQEST PQQKQ PQUKI PRINS |
| ID | FETCH-LOGICAL-c198t-750c1cf8565b0d885f52a7ea0291d39d8b43959b7b50549d828a65bd6220090c3 |
| IEDL.DBID | RSV |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001444845400022&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0146-4116 |
| IngestDate | Tue Dec 02 10:03:35 EST 2025 Sat Nov 29 08:07:27 EST 2025 Sat Mar 15 01:10:33 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 8 |
| Keywords | detection of software vulnerabilities methods of static code analysis logical vulnerabilities analysis of multicomponent software graph theory |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c198t-750c1cf8565b0d885f52a7ea0291d39d8b43959b7b50549d828a65bd6220090c3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| PQID | 3254841705 |
| PQPubID | 2043879 |
| PageCount | 8 |
| ParticipantIDs | proquest_journals_3254841705 crossref_primary_10_3103_S0146411624700901 springer_journals_10_3103_S0146411624700901 |
| PublicationCentury | 2000 |
| PublicationDate | 20241200 2024-12-00 20241201 |
| PublicationDateYYYYMMDD | 2024-12-01 |
| PublicationDate_xml | – month: 12 year: 2024 text: 20241200 |
| PublicationDecade | 2020 |
| PublicationPlace | Moscow |
| PublicationPlace_xml | – name: Moscow – name: New York |
| PublicationTitle | Automatic control and computer sciences |
| PublicationTitleAbbrev | Aut. Control Comp. Sci |
| PublicationYear | 2024 |
| Publisher | Pleiades Publishing Springer Nature B.V |
| Publisher_xml | – name: Pleiades Publishing – name: Springer Nature B.V |
| References | 7789_CR15 Z. Lin (7789_CR7) 2022; 31 7789_CR16 7789_CR17 G.S. Kubrin (7789_CR13) 2023; 57 7789_CR3 7789_CR4 M.A. Poltavtseva (7789_CR14) 2019; 53 7789_CR1 7789_CR2 A.S. Konoplev (7789_CR9) 2019; 22 7789_CR8 7789_CR11 7789_CR5 7789_CR12 7789_CR6 E.B. Aleksandrova (7789_CR10) 2018; 52 |
| References_xml | – ident: 7789_CR3 doi: 10.1145/3468264.3468538 – volume: 57 start-page: 947 year: 2023 ident: 7789_CR13 publication-title: Autom. Control Comput. Sci. doi: 10.3103/s0146411623080126 – ident: 7789_CR1 – ident: 7789_CR12 doi: 10.1109/sp.2014.44 – ident: 7789_CR17 – volume: 52 start-page: 1160 year: 2018 ident: 7789_CR10 publication-title: Autom. Control Comput. Sci. doi: 10.3103/s0146411618080023 – ident: 7789_CR16 – ident: 7789_CR5 doi: 10.1145/3611643.3616350 – volume: 31 start-page: 52 year: 2022 ident: 7789_CR7 publication-title: ACM Trans. Software Eng. Methodology doi: 10.1145/3506696 – ident: 7789_CR15 – ident: 7789_CR8 – volume: 22 start-page: 277 year: 2019 ident: 7789_CR9 publication-title: Nonlinear Phenom. Complex Syst. – volume: 53 start-page: 895 year: 2019 ident: 7789_CR14 publication-title: Autom. Control Comput. Sci. doi: 10.3103/s014641161908025x – ident: 7789_CR4 doi: 10.1051/shsconf/20184400044 – ident: 7789_CR2 doi: 10.48550/arXiv.1906.00815 – ident: 7789_CR6 doi: 10.1007/978-3-030-93872-7_10 – ident: 7789_CR11 doi: 10.4230/LIPIcs.ECOOP.2016.2 |
| SSID | ssj0055886 |
| Score | 2.2944891 |
| Snippet | A comparison of the existing software analysis methods is presented with an assessment of the possibility of identifying defects contained in several... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Index Database Publisher |
| StartPage | 1255 |
| SubjectTerms | Algorithms Computer Science Control Structures and Microprogramming Deep learning Defects Graph representations Graphical representations Methods Programming languages Security Software |
| SummonAdditionalLinks | – databaseName: Computer Science Database dbid: K7- link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELagMMDAG1EoyAMTKGrsxo09IdRSkEAVoiB1i5zYRV2S0hb4-9w5DkUgWNicxHIsP-4-332-I-SUZy1QNEIEKUsVWqtCKKFFLI2k5rEFjOqi69_F_b4cDtW9N7jNPK2ykolOUJsiQxt5swUnGRlh8JeLyUuAWaPQu-pTaCyTFcY5w3V-GweVJBZCukyPGB8liBhrl15NzKzVRFJTG9_xKAaY4XPCfOqlBdj85h91aqe3-d8Ob5ENDzjpZblCtsmSzXfI-pcwhLvkuWvRlQBl2rWO3kHHOXVXc5FxXuSgmOgA5PW7nlrqSAZU04Gd02JEPbMDfnGNsa_pg6PW-htN-QyrAMakncLYPfLUu3rs3AQ-AUOQMSXnAaCJjGUjCaAvDY2UYiS4jq0OuWKmpYxMAc4IlcYp4KgInrnUUNW0Ofpcwqy1T2o5dPKAUG3ahgkDm1wbwCxKS6EyYVVohQKQFdfJWTX8yaSMs5HA-QTnKvkxV3XSqIY88VtulizGu07Oq0lbfP61scO_GzsiaxxwTMlgaZDafPpqj8lq9jYfz6Ynbr19AJBe18k priority: 102 providerName: ProQuest |
| Title | Detecting Defects in Multicomponent Software Using a Set of Universal Graph Representations of the Code |
| URI | https://link.springer.com/article/10.3103/S0146411624700901 https://www.proquest.com/docview/3254841705 |
| Volume | 58 |
| WOSCitedRecordID | wos001444845400022&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 | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1558-108X dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: P5Z dateStart: 20230201 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1558-108X dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: K7- dateStart: 20230201 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1558-108X dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: M7S dateStart: 20230201 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1558-108X dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: BENPR dateStart: 20230201 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1558-108X dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0055886 issn: 0146-4116 databaseCode: RSV dateStart: 20070201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED5BywADhQKiUCoPTKCIxIkTe4Q-QAJVVQuoYomc2EVdUtQU-Puc3US8B1giRzk5lu3zffZ9dwY4pqmPhoYxJ_ESYU6rXCyZE7Ek4JJGGjGqza5_E_X7fDwWgyKOOy_Z7qVL0q7Udl_p-meGhhQGnhfSIEJgYGK2qmjtuNHG4ei-XH4Z4_Z6RyPtGPGlK_PnKj4bo3eE-cUpam1Nr_avVm7BZgEtyflyLmzDis7qUCuvbSCFFtdh40MOwh147GjjR8Ay6WjL7SDTjNi4XEM3n2VolcgIF-tXOdfEMgyIJCO9ILMJKWgd-NdLk_iaDC2vtghnynIjggCTtGdK78Jdr3vbvnKK2xec1BN84SCUSL10whHxJa7inE0YlZGWLhWe8oXiCWIZJpIoQRAV4DvlEkVVSI3DxU39Pahk2Mh9IFKFymMKNVwqBCxCciZSpoWrmUCEFTXgpByG-GmZZCPGzYnp0PhbhzagWQ5UXOhbHvu4z-WBSQ3UgNNyYN4__1rZwZ-kD2GdIqZZslmaUFnMn_URrKUvi2k-b0H1otsfDFuweh05LUMiHeFzwB5adoK-AYXG110 |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT-MwEB7xkoADb0RZHj7ABRQ1ceLGPqzQivJSS4V4SNyCE7uISwptdxF_an_jzjiJuoDgxoGbk1iTx0xmvvGMZwB2eBaioRHCS4NU0WqVjyNaEUsjqXlsEaO66vrtuNORt7fqYgz-VnthKK2y0olOUZteRmvk9RA9GRlR8ZeDxyePukZRdLVqoVGIRcu-PKPLNvh51kT-7nJ-fHR9eOqVXQW8DB3soYcmMguyrkQkk_pGStEVXMdW-1wFJlRGpmijhUrjFMFBhMdcapxqGpwCCX4WIt1xmIxCGVOt_lbsVZpfCOk6S1I9Fi8KgkYRRaVOXnVKomrQOR7FRCZ4bQdH4PZNPNaZueP57_aBFmCuBNTsV_EHLMKYzZdg9r8yi8tw37QUKsExa1qXvsIecua2HlNGfS9Hw8uu0B49675lLomCaXZlh6zXZWXmCt7ihGp7s0uXOlzu2MoHNAUxNDvsGbsCN1_ypqswkeNDrgHTpmECYVCJaYOYTGkpVCas8q1QCCLjGuxV7E4eizoiCfpfJBvJO9mowUbF4qRUKYNkxN8a7FdCMrr8IbH1z4ltw_Tp9Xk7aZ91Wj9ghiNmK7J1NmBi2P9tN2Eq-zN8GPS3nKwzuPtq2fkHBW4x4g |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwED6hghAMFAqIQgEPTKCoebmxR9RSQFRVRQF1i5zYQV3Sqgnw9zk7icpzQGyOcrItP7_zfXcHcObGHl40lFqRE3H9WmVjSb-IRT4TbqAQo5ro-oNgOGSTCR-VeU6ziu1emSQLnwYdpSnN23OZtI2OaXttTUnq-I7Tcf0AQYL231r1dc4gra6Pn6qjmFJmUj1qaUuLF2bNn6v4fDEt0eYXA6m5d_r1f_d4G7ZKyEkuizWyAysqbUC9SudAyt3dgM0PsQl34bmntH0By6SnDOeDTFNi_HU1DX2WYttkjIf4m1goYpgHRJCxysksISXdA1u91gGxyb3h25ZuTmmmRRB4ku5Mqj147F89dG-sMiuDFTuc5RZCjNiJE4ZIMLIlYzShrgiUsF3uSI9LFiHGoTwKIgRXPn67TKCo7LjaEGPH3j7UUuzkARAhO9KhEne-kAhkuGCUx1RxW1GOyCtownk1JeG8CL4RotKiBzT8NqBNaFWTFpb7MAs91H-Zr0MGNeGimqTl718rO_yT9Cmsj3r9cHA7vDuCDRdhT0F4aUEtX7yoY1iLX_Nptjgxq_Mda3veww |
| 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%3Ajournal&rft.genre=article&rft.atitle=Detecting+Defects+in+Multicomponent+Software+Using+a+Set+of+Universal+Graph+Representations+of+the+Code&rft.jtitle=Automatic+control+and+computer+sciences&rft.au=Kubrin%2C+G.+S.&rft.au=Zegzhda%2C+D.+P.&rft.date=2024-12-01&rft.pub=Pleiades+Publishing&rft.issn=0146-4116&rft.eissn=1558-108X&rft.volume=58&rft.issue=8&rft.spage=1255&rft.epage=1262&rft_id=info:doi/10.3103%2FS0146411624700901&rft.externalDocID=10_3103_S0146411624700901 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0146-4116&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0146-4116&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0146-4116&client=summon |