Tips: towards automating patch suggestion for vulnerable smart contracts
Smart contracts are slowly penetrating our society where they are leveraged to support critical business transactions of which financial stakes are high. Smart contract programming is, however, in its infancy, and many failures due to programming defects exploited by malicious attackers and have mad...
Saved in:
| Published in | Automated software engineering Vol. 30; no. 2; p. 31 |
|---|---|
| Main Authors | , , , , , , , |
| Format | Journal Article |
| Language | English |
| Published |
New York
Springer US
01.11.2023
Springer Nature B.V |
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | Smart contracts are slowly penetrating our society where they are leveraged to support critical business transactions of which financial stakes are high. Smart contract programming is, however, in its infancy, and many failures due to programming defects exploited by malicious attackers and have made the headlines. In recent years, there has been an increasing effort in the literature to identify such vulnerabilities early in smart contracts to reduce the threats to the security of the accounts. Automatically patching smart contracts, however, is a much less investigated research topic. Yet, it can provide tools to help developers in fixing known vulnerabilities more rapidly. In this paper, we propose to review smart contract vulnerabilities and specify templates that will serve to automate patch generation. We implement the TIPS pipeline with 12 fix templates and assess its effectiveness on established smart contract datasets such as SmartBugs and ContractDefects. In particular, we show that TIPS is competitive against the state-of-the-art automated repair approach (SCRepair) in the literature. Finally, we evaluate the impact of the code changes suggested by TIPS in terms of gas usage. |
|---|---|
| AbstractList | Smart contracts are slowly penetrating our society where they are leveraged to support critical business transactions of which financial stakes are high. Smart contract programming is, however, in its infancy, and many failures due to programming defects exploited by malicious attackers and have made the headlines. In recent years, there has been an increasing effort in the literature to identify such vulnerabilities early in smart contracts to reduce the threats to the security of the accounts. Automatically patching smart contracts, however, is a much less investigated research topic. Yet, it can provide tools to help developers in fixing known vulnerabilities more rapidly. In this paper, we propose to review smart contract vulnerabilities and specify templates that will serve to automate patch generation. We implement the TIPS pipeline with 12 fix templates and assess its effectiveness on established smart contract datasets such as SmartBugs and ContractDefects. In particular, we show that TIPS is competitive against the state-of-the-art automated repair approach (SCRepair) in the literature. Finally, we evaluate the impact of the code changes suggested by TIPS in terms of gas usage. |
| ArticleNumber | 31 |
| Author | Liu, Zhe Li, Li Ge, Chunpeng Klein, Jacques Zhou, Teng Liu, Kui Chen, Qianguo Bissyandé, Tegawendé F. |
| Author_xml | – sequence: 1 givenname: Qianguo surname: Chen fullname: Chen, Qianguo organization: Nanjing University of Aeronautics and Astronautics – sequence: 2 givenname: Teng surname: Zhou fullname: Zhou, Teng organization: Nanjing University of Aeronautics and Astronautics – sequence: 3 givenname: Kui surname: Liu fullname: Liu, Kui email: kui.liu@nuaa.edu.cn organization: Nanjing University of Aeronautics and Astronautics – sequence: 4 givenname: Li surname: Li fullname: Li, Li organization: Monash University – sequence: 5 givenname: Chunpeng surname: Ge fullname: Ge, Chunpeng organization: Nanjing University of Aeronautics and Astronautics – sequence: 6 givenname: Zhe surname: Liu fullname: Liu, Zhe organization: Nanjing University of Aeronautics and Astronautics – sequence: 7 givenname: Jacques surname: Klein fullname: Klein, Jacques organization: University of Luxembourg – sequence: 8 givenname: Tegawendé F. surname: Bissyandé fullname: Bissyandé, Tegawendé F. organization: University of Luxembourg |
| BookMark | eNp9kE1PwyAYx4mZiZv6BTyReK4-QFuKN7OoM1niZZ4JBVq7bDCBavbtRWvizdNz-b89vwWaOe8sQlcEbggAv40EKlIVQFkBwAQtjidoTirOCl6xaobmIGhTNILAGVrEuAUAUQsxR6vNcIh3OPlPFUzEakx-r9LgenxQSb_hOPa9jWnwDnc-4I9x52xQ7c7iuFchYe1dCkqneIFOO7WL9vL3nqPXx4fNclWsX56el_frQlMOqVCkbEtKFNfKCENoa5RpCTGlAG7yD51itOW87BhQaDTnvKVd3VmhK6t0bdg5up5yD8G_j3ma3PoxuFwpqaC0ZHXDy6yik0oHH2OwnTyEIQ8-SgLym5iciMlMTP4Qk8dsYpMpZrHrbfiL_sf1BV51cfI |
| Cites_doi | 10.1109/TSE.2018.2874648 10.1007/s10664-019-09780-z 10.1109/TSE.2017.2755013 10.1016/j.jss.2020.110817 10.1145/3402450 10.1145/3318162 10.1109/ACCESS.2020.2995183 10.1145/3579637 10.1145/3293882.3330559 10.1109/SANER.2016.76 10.1145/3368089.3417064 10.1145/3106237.3106253 10.1145/2976749.2978309 10.1109/ASE.2017.8115675 10.1109/SANER.2017.7884635 10.1109/SP40001.2021.00057 10.1109/ICSE43902.2021.00127 10.1145/3183440.3183495 10.1145/3377811.3380364 10.1145/3377811.3380334 10.1109/SANER.2018.8330202 10.1109/ICST.2019.00020 10.1109/ASE.2019.00136 10.1109/ICSE.2017.45 10.1145/3338906.3338935 10.1007/978-3-030-50995-8_2 10.1109/SANER48275.2020.9054822 10.1145/3293882.3330577 10.1145/3274694.3274743 10.1109/ICSE.2019.00020 10.1145/3385412.3385990 10.1145/3194113.3194115 10.1145/3180155.3180233 10.1145/3457913.3457920 10.1109/WETSEB.2019.00008 10.1109/ICSE.2013.6606626 10.1145/3387940.3391499 10.1145/3377811.3380338 10.1145/3238147.3238177 10.1145/3238147.3240728 10.1109/SANER.2019.8667970 10.1145/3213846.3213871 10.1145/3274694.3274737 |
| ContentType | Journal Article |
| Copyright | The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2023. Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law. |
| Copyright_xml | – notice: The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2023. Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law. |
| DBID | AAYXX CITATION JQ2 |
| DOI | 10.1007/s10515-023-00392-y |
| DatabaseName | CrossRef ProQuest Computer Science Collection |
| DatabaseTitle | CrossRef ProQuest Computer Science Collection |
| DatabaseTitleList | ProQuest Computer Science Collection |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1573-7535 |
| ExternalDocumentID | 10_1007_s10515_023_00392_y |
| GroupedDBID | -4Z -59 -5G -BR -EM -Y2 -~C .86 .DC .VR 06D 0R~ 0VY 199 1N0 1SB 2.D 203 23N 28- 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 78A 8TC 95- 95. 95~ 96X AAAVM AABHQ AABYN AAFGU AAHNG AAIAL AAJKR AANZL AAOBN AAPBV AARHV AARTL AATNV AATVU AAUYE AAWCG AAWWR AAYFA AAYIU AAYQN AAYTO ABBBX ABBXA ABDZT ABECU ABFGW ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKAS ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACBMV ACBRV ACBXY ACBYP ACGFS ACHSB ACHXU ACIGE ACIPQ ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACSNA ACTTH ACVWB ACWMK ADGRI ADHHG ADHIR ADIMF ADINQ ADKNI ADKPE ADMDM ADOXG ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEEQQ AEFIE AEFTE AEGAL AEGNC AEJHL AEJRE AEKMD AENEX AEOHA AEPYU AESKC AESTI AETLH AEVLU AEVTX AEXYK AEYWE AFEXP AFGCZ AFLOW AFNRJ AFQWF AFWTZ AFZKB AGAYW AGDGC AGGBP AGGDS AGJBK AGMZJ AGQMX AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIIXL AILAN AIMYW AITGF AJBLW AJDOV AJRNO AJZVZ AKQUC ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN B-. BA0 BBWZM BDATZ BGNMA CAG COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP EBLON EBS EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 GQ8 GXS HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X J-C J0Z JBSCW JCJTX JZLTJ KDC KOV KOW LAK LLZTM M4Y MA- MVM N2Q NB0 NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P2P P9O PF0 PT4 PT5 QOK QOS R4E R89 R9I RHV RNI RNS ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TEORI TSG TSK TSV TUC U2A UG4 UNUBA UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7X Z83 Z88 Z8M Z8R Z8W Z92 ZMTXR ~A9 ~EX AACDK AAEOY AAJBT AASML AAYXX ABAKF ABJCF ACAOD ACDTI ACZOJ AEFQL AEMSY AFBBN AFKRA AGQEE AGRTI AIGIU ARAPS BENPR BGLVJ CCPQU CITATION H13 HCIFZ K7- M7S PTHSS JQ2 |
| ID | FETCH-LOGICAL-c270t-a14b421a7cad9d12bdadb11d4907d051fa32b774f30208c777b2f6fe9c5eac6d3 |
| IEDL.DBID | AGYKE |
| ISSN | 0928-8910 |
| IngestDate | Thu Oct 10 22:04:01 EDT 2024 Thu Sep 12 18:15:26 EDT 2024 Sat Dec 16 12:03:27 EST 2023 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 2 |
| Keywords | Smart contract vulnerability Automated repair Fix template |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c270t-a14b421a7cad9d12bdadb11d4907d051fa32b774f30208c777b2f6fe9c5eac6d3 |
| PQID | 2922436874 |
| PQPubID | 2043871 |
| ParticipantIDs | proquest_journals_2922436874 crossref_primary_10_1007_s10515_023_00392_y springer_journals_10_1007_s10515_023_00392_y |
| PublicationCentury | 2000 |
| PublicationDate | 2023-11-01 |
| PublicationDateYYYYMMDD | 2023-11-01 |
| PublicationDate_xml | – month: 11 year: 2023 text: 2023-11-01 day: 01 |
| PublicationDecade | 2020 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York – name: Dordrecht |
| PublicationSubtitle | An International Journal |
| PublicationTitle | Automated software engineering |
| PublicationTitleAbbrev | Autom Softw Eng |
| PublicationYear | 2023 |
| Publisher | Springer US Springer Nature B.V |
| Publisher_xml | – name: Springer US – name: Springer Nature B.V |
| References | CR39 CR38 CR37 CR36 Liu, Zhang, Li, Koyuncu, Kim, Ge, Liu, Klein, Bissyandé (CR32) 2022 CR34 CR33 CR30 CR2 CR4 CR3 CR6 Ashraf, Ma, Jiang, Chan (CR1) 2020; 8 CR5 CR8 CR7 CR9 CR49 Yuan, Banzhaf (CR56) 2018 Gazzola, Micucci, Mariani (CR11) 2017; 45 CR48 CR47 CR46 CR45 CR44 CR43 CR42 CR41 CR40 Liu, Li, Koyuncu, Kim, Liu, Klein, Bissyandé (CR31) 2021; 171 CR19 Koyuncu, Liu, Bissyandé, Kim, Monperrus, Klein, Le Traon (CR21) 2020; 25 CR18 CR17 CR16 CR15 CR14 CR58 CR57 CR12 CR10 CR54 CR53 CR52 CR51 CR50 Monperrus (CR35) 2018; 51 Goues, Pradel, Roychoudhury (CR13) 2019; 62 CR29 Yu, Al-Bataineh, Lo, Roychoudhury (CR55) 2020; 29 CR28 CR27 CR26 CR25 CR24 CR23 CR22 CR20 392_CR29 392_CR28 K Liu (392_CR31) 2021; 171 392_CR23 392_CR22 392_CR20 392_CR27 XL Yu (392_CR55) 2020; 29 392_CR26 392_CR25 392_CR24 392_CR30 Y Yuan (392_CR56) 2018 392_CR39 392_CR34 392_CR33 392_CR38 392_CR37 392_CR36 K Liu (392_CR32) 2022 392_CR41 392_CR40 M Monperrus (392_CR35) 2018; 51 392_CR45 I Ashraf (392_CR1) 2020; 8 392_CR44 392_CR43 392_CR42 392_CR49 392_CR48 392_CR47 A Koyuncu (392_CR21) 2020; 25 392_CR46 392_CR52 392_CR51 392_CR50 392_CR19 392_CR18 392_CR17 392_CR12 392_CR10 392_CR54 392_CR53 392_CR16 392_CR15 392_CR14 392_CR58 392_CR57 392_CR8 392_CR9 L Gazzola (392_CR11) 2017; 45 392_CR6 392_CR7 392_CR4 392_CR5 CL Goues (392_CR13) 2019; 62 392_CR2 392_CR3 |
| References_xml | – ident: CR45 – ident: CR22 – year: 2018 ident: CR56 article-title: ARJA: automated repair of java programs via multi-objective genetic programming publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2018.2874648 contributor: fullname: Banzhaf – ident: CR49 – ident: CR4 – ident: CR39 – ident: CR16 – ident: CR51 – ident: CR12 – ident: CR29 – ident: CR54 – ident: CR8 – ident: CR58 – ident: CR25 – ident: CR42 – ident: CR46 – ident: CR19 – volume: 25 start-page: 1980 issue: 3 year: 2020 end-page: 2024 ident: CR21 article-title: FixMiner: mining relevant fix patterns for automated program repair publication-title: Empir. Softw. Eng. doi: 10.1007/s10664-019-09780-z contributor: fullname: Le Traon – ident: CR15 – ident: CR50 – volume: 45 start-page: 34 issue: 1 year: 2017 end-page: 67 ident: CR11 article-title: Automatic software repair: a survey publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2017.2755013 contributor: fullname: Mariani – ident: CR9 – ident: CR57 – ident: CR36 – ident: CR5 – ident: CR26 – volume: 171 start-page: 110817 year: 2021 ident: CR31 article-title: A critical review on the evaluation of automated program repair systems publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2020.110817 contributor: fullname: Bissyandé – ident: CR18 – ident: CR43 – ident: CR47 – ident: CR14 – ident: CR2 – ident: CR37 – ident: CR53 – ident: CR30 – ident: CR10 – ident: CR33 – volume: 29 start-page: 1 issue: 4 year: 2020 end-page: 32 ident: CR55 article-title: Smart contract repair publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/3402450 contributor: fullname: Roychoudhury – ident: CR6 – volume: 62 start-page: 56 issue: 12 year: 2019 end-page: 65 ident: CR13 article-title: Automated program repair publication-title: Commun. ACM doi: 10.1145/3318162 contributor: fullname: Roychoudhury – ident: CR40 – ident: CR27 – ident: CR23 – volume: 8 start-page: 99552 year: 2020 end-page: 99564 ident: CR1 article-title: GasFuzzer: fuzzing ethereum smart contract binaries to expose gas-oriented exception security vulnerabilities publication-title: IEEE Access doi: 10.1109/ACCESS.2020.2995183 contributor: fullname: Chan – ident: CR44 – volume: 51 start-page: 17 issue: 1 year: 2018 end-page: 11724 ident: CR35 article-title: Automatic software repair: a bibliography publication-title: ACM Comput. Surv. contributor: fullname: Monperrus – ident: CR48 – ident: CR3 – ident: CR38 – ident: CR52 – ident: CR17 – ident: CR34 – ident: CR7 – ident: CR28 – year: 2022 ident: CR32 article-title: Reliable fix patterns inferred from static checkers for automated program repair publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/3579637 contributor: fullname: Bissyandé – ident: CR41 – ident: CR24 – ident: CR20 – ident: 392_CR12 doi: 10.1145/3293882.3330559 – volume: 171 start-page: 110817 year: 2021 ident: 392_CR31 publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2020.110817 contributor: fullname: K Liu – year: 2018 ident: 392_CR56 publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2018.2874648 contributor: fullname: Y Yuan – ident: 392_CR22 doi: 10.1109/SANER.2016.76 – ident: 392_CR41 – volume: 25 start-page: 1980 issue: 3 year: 2020 ident: 392_CR21 publication-title: Empir. Softw. Eng. doi: 10.1007/s10664-019-09780-z contributor: fullname: A Koyuncu – ident: 392_CR53 doi: 10.1145/3368089.3417064 – volume: 51 start-page: 17 issue: 1 year: 2018 ident: 392_CR35 publication-title: ACM Comput. Surv. contributor: fullname: M Monperrus – ident: 392_CR36 – ident: 392_CR33 doi: 10.1145/3106237.3106253 – ident: 392_CR34 doi: 10.1145/2976749.2978309 – volume: 45 start-page: 34 issue: 1 year: 2017 ident: 392_CR11 publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2017.2755013 contributor: fullname: L Gazzola – ident: 392_CR44 doi: 10.1109/ASE.2017.8115675 – ident: 392_CR5 doi: 10.1109/SANER.2017.7884635 – volume: 8 start-page: 99552 year: 2020 ident: 392_CR1 publication-title: IEEE Access doi: 10.1109/ACCESS.2020.2995183 contributor: fullname: I Ashraf – ident: 392_CR38 doi: 10.1109/SP40001.2021.00057 – ident: 392_CR51 doi: 10.1109/ICSE43902.2021.00127 – ident: 392_CR8 – ident: 392_CR48 – ident: 392_CR25 doi: 10.1145/3183440.3183495 – ident: 392_CR6 doi: 10.1145/3377811.3380364 – ident: 392_CR37 doi: 10.1145/3377811.3380334 – volume: 62 start-page: 56 issue: 12 year: 2019 ident: 392_CR13 publication-title: Commun. ACM doi: 10.1145/3318162 contributor: fullname: CL Goues – ident: 392_CR24 doi: 10.1109/SANER.2018.8330202 – ident: 392_CR40 – ident: 392_CR27 doi: 10.1109/ICST.2019.00020 – ident: 392_CR23 doi: 10.1109/ASE.2019.00136 – ident: 392_CR54 doi: 10.1109/ICSE.2017.45 – ident: 392_CR20 doi: 10.1145/3338906.3338935 – ident: 392_CR14 doi: 10.1007/978-3-030-50995-8_2 – ident: 392_CR57 doi: 10.1109/SANER48275.2020.9054822 – ident: 392_CR16 – ident: 392_CR29 doi: 10.1145/3293882.3330577 – ident: 392_CR7 – ident: 392_CR39 doi: 10.1145/3274694.3274743 – ident: 392_CR45 doi: 10.1109/ICSE.2019.00020 – ident: 392_CR43 – ident: 392_CR47 – ident: 392_CR2 doi: 10.1145/3385412.3385990 – ident: 392_CR49 doi: 10.1145/3194113.3194115 – ident: 392_CR4 – ident: 392_CR52 doi: 10.1145/3180155.3180233 – ident: 392_CR15 doi: 10.1145/3457913.3457920 – ident: 392_CR9 doi: 10.1109/WETSEB.2019.00008 – ident: 392_CR19 doi: 10.1109/ICSE.2013.6606626 – year: 2022 ident: 392_CR32 publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/3579637 contributor: fullname: K Liu – ident: 392_CR58 doi: 10.1145/3387940.3391499 – ident: 392_CR42 – ident: 392_CR30 doi: 10.1145/3377811.3380338 – ident: 392_CR17 doi: 10.1145/3238147.3238177 – ident: 392_CR46 – volume: 29 start-page: 1 issue: 4 year: 2020 ident: 392_CR55 publication-title: ACM Trans. Softw. Eng. Methodol. doi: 10.1145/3402450 contributor: fullname: XL Yu – ident: 392_CR26 doi: 10.1145/3238147.3240728 – ident: 392_CR10 – ident: 392_CR28 doi: 10.1109/SANER.2019.8667970 – ident: 392_CR18 doi: 10.1145/3213846.3213871 – ident: 392_CR3 – ident: 392_CR50 doi: 10.1145/3274694.3274737 |
| SSID | ssj0009699 |
| Score | 2.3774574 |
| Snippet | Smart contracts are slowly penetrating our society where they are leveraged to support critical business transactions of which financial stakes are high. Smart... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Publisher |
| StartPage | 31 |
| SubjectTerms | Artificial Intelligence Automation Blockchain Computer Science Contracts Currency transactions Programming languages Software engineering Software Engineering/Programming and Operating Systems |
| Title | Tips: towards automating patch suggestion for vulnerable smart contracts |
| URI | https://link.springer.com/article/10.1007/s10515-023-00392-y https://www.proquest.com/docview/2922436874 |
| Volume | 30 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT8JAEJ4IXLyIz4gi2YM3XUK3paVHMCLRhBMkeGr2VTQiENua4K93to_U54Fj02bbzmPn28zMNwCXrpQd9GefKttW1MErKnqaUeEoJQ1_W6jSKt-xO5o697PurOzjTovdi4xkulF_6XXD0EsxxFDTT8ropgK1riH8qkKtf_f4cFty7bp-RrHHerSH4TDvlfl7le_xqASZP_KiabgZ1mFSNO1kVSYv7SQWbfnxm8Nxmz_Zh70cfpJ-Zi8HsKOXh1AvRjuQ3NOPYDR5xveTOC2qjQhP4pWBtss5WePe_USiZG4SU6hUgqiXvCcLw14tFppEr2iMJK2A5zKOjmE6vJ3cjGg-dIFK5nViyi1HOMzinuTKVxYTiithWcrBU7TCDw-5zQRixtA24z2l53mChW6ofdlFnbvKPoHqcrXUp0A8qc2BM9S6y1H1vmCacx46Nvd9FtqiAVeF6IN1xq0RlCzKRkgBCilIhRRsGtAstBPkfhYFzEcIYrs9z2nAdSHt8vb_q51t9_g57Jo581kTYhOq8VuiLxCNxKKF1jccDMat3ApbUJmy_ie5xdrx |
| link.rule.ids | 315,786,790,27955,27956,41114,41556,42183,42625,52144,52267 |
| linkProvider | Springer Nature |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA5aD3rxLVar5uBNA91ku49jEUvV2lMLvYU8q1C3xd0V-u-d7INV0YPHJUsgXzKZL8zMNwhdB0p1wZ5johnTxIcvIiNDifS1Vk6_zeoiy3ccDKf-46w3q4rC0jrbvQ5JFjf1l2I38L0EfAxxBaWUrDfRltNTd4l8U9pvpHaDuFTYoxGJwBtWpTK_z_HdHTUc80dYtPA2g320W9FE3C_39QBtmOQQ7dUtGHBlkUdoOHmFBeGsSH5NscizpaOgyRyv4I59wWk-dwEkAB8DO8Uf-cKpTMuFwekbHBpcZKoLlaXHaDq4n9wNSdUcgSgadjMiPF_61BOhEjrWHpVaaOl52ofXroZVWsGoBG5nmWvDqcIwlNQG1sSqB3sTaHaCWskyMacIh8q4h6E1pidgi2JJjRDC-kzEMbVMttFNjRFflRoYvFE7dohyQJQXiPJ1G3VqGHllDymnMVAFFkSh30a3NbTN8N-znf3v9yu0PZw8j_joYfx0jnZcb_iycLCDWtl7bi6AQWTysjgwn3YrvzA |
| linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1JS8NAFB60gnhxF6tV5-BNhzYzaZI5FrXUheKhhd7CrCrUtJhE6L_3TRZaRQ8eQ8LAvCXfN8x730PoMlCqA_nMiWZMEx-eiIwMJdLXWjn9NquLKt9hMBj7D5PuZKWLv6h2r68ky54Gp9KUZO25tu2VxjfAYQJ4Q1xzKSWLdbThoNHF-Jj2lrK7AS_V9mhEIkDGqm3m9zW-Q9OSb_64Ii2Qp7-LtivKiHulj_fQmkn20U49jgFX2XmABqM32BzOikLYFIs8mzk6mrzgOfxvX3Gav7jLJHAEBqaKP_OpU5yWU4PTdwggXFStC5Wlh2jcvxvdDEg1KIEoGnYyIjxf-tQToRKaa49KLbT0PO3DyVfDLq1gVALPs8yN5FRhGEpqA2u46oKfAs2OUCOZJeYY4VAZd0i0xnQFuItLaoQQ1meCc2qZbKKr2kbxvNTDiJfKx86iMVg0LiwaL5qoVZsxrnIjjSkH2sCCKPSb6Lo27fL136ud_O_zC7T5fNuPn-6Hj6doy42JL3sIW6iRfeTmDMhEJs-LePkCw0DDdQ |
| 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=Tips%3A+towards+automating+patch+suggestion+for+vulnerable+smart+contracts&rft.jtitle=Automated+software+engineering&rft.au=Chen%2C+Qianguo&rft.au=Zhou%2C+Teng&rft.au=Liu%2C+Kui&rft.au=Li%2C+Li&rft.date=2023-11-01&rft.pub=Springer+Nature+B.V&rft.issn=0928-8910&rft.eissn=1573-7535&rft.volume=30&rft.issue=2&rft.spage=31&rft_id=info:doi/10.1007%2Fs10515-023-00392-y&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0928-8910&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0928-8910&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0928-8910&client=summon |