Page 63 - 《软件学报》2026年第1期

60 软件学报 2026 年第 37 卷第 1 期

to WASM. In: Proc. of the 25th ACM SIGPLAN/SIGBED Int’l Conf. on Languages, Compilers, and Tools for Embedded Systems.
Copenhagen: ACM, 2024. 131–142. [doi: 10.1145/3652032.3657570]
[90] Chu HT, Zhang PC, Dong H, Xiao Y, Ji SH, Li WR. A survey on smart contract vulnerabilities: Data sources, detection and repair.
Information and Software Technology, 2023, 159: 107221. [doi: 10.1016/j.infsof.2023.107221]
[91] Reijers W, Wuisman I, Mannan M, de Filippi P, Wray C, Rae-Looi V, Vélez AC, Orgad L. Now the code runs itself: On-chain and off-
chain governance of blockchain technologies. Topoi, 2021, 40(4): 821–831. [doi: 10.1007/s11245-018-9626-5]
[92] OpenZeppelin. openzeppelin-contracts: OpenZeppelin contracts (formerly OZ-SDK)—A library for secure smart contract development.
2025. https://github.com/OpenZeppelin/openzeppelin-contracts
[93] Foundry. Foundry: Blazing fast, portable, modular toolkit for Ethereum development. 2025. https://getfoundry.sh/
[94] Di Angelo M, Salzer G. Characterizing types of smart contracts in the Ethereum landscape. In: Proc. of the 2020 Int’l Workshops on
Financial Cryptography and Data Security. Kota Kinabalu: Springer, 2020. 389–404. [doi: 10.1007/978-3-030-54455-3_28]
[95] Shao W, Wang Z, Wang XL, Qiu KF, Jia CF, Jiang C. LSC: Online auto-update smart contracts for fortifying blockchain-based log
systems. Information Sciences, 2020, 512: 506–517. [doi: 10.1016/j.ins.2019.09.073]
[96] Liu BW, Sun SW, Szalachowski P. SMACS: Smart contract access control service. In: Proc. of the 50th Annual IEEE/IFIP Int’l Conf.
on Dependable Systems and Networks (DSN). Valencia: IEEE, 2020. 221–232. [doi: 10.1109/DSN48063.2020.00039]
[97] Liu YX, Hu DS, Jiang YM. Loose coupling model research for upgrading smart contracts already deployed on blockchain. Application
Research of Computers, 2021, 38(5): 1309–1313 (in Chinese with English abstract). [doi: 10.19734/j.issn.1001-3695.2020.07.0160]
[98] Liu Y. Research on on-chain upgrade method of token smart contracts based on blockchain [MS. Thesis]. Chengdu: Sichuan University,
2021 (in Chinese with English abstract). [doi: 10.27342/d.cnki.gscdu.2021.000124]
[99] Du ZQ, Cheng H, Fu YF, Huang MH, Liu LX, Ma YF. A four-tier smart contract model with on-chain upgrade. Security and
Communication Networks, 2023, 2023: 8455894. [doi: 10.1155/2023/8455894]
[100] Jin H, Wang ZL, Wen M, Dai WQ, Zhu Y, Zou DQ. Aroc: An automatic repair framework for on-chain smart contracts. IEEE Trans. on
Software Engineering, 2022, 48(11): 4611–4629. [doi: 10.1109/TSE.2021.3123170]
[101] Zou WQ, Lo D, Kochhar PS, Le XBD, Xia X, Feng Y, Chen ZY, Xu BW. Smart contract development: Challenges and opportunities.
IEEE Trans. on Software Engineering, 2021, 47(10): 2084–2106. [doi: 10.1109/TSE.2019.2942301]
[102] Xu XW, Pautasso C, Zhu LM, Lu QH, Weber I. A pattern collection for blockchain-based applications. In: Proc. of the 23rd European
Conf. on Pattern Languages of Programs. Irsee: ACM, 2018. 3. [doi: 10.1145/3282308.3282312]
[103] Pierro GA, Mahugnon H. An analysis of the Oracles used in Ethereum’s blockchain. In: Proc. of the 2023 IEEE Int’l Conf. on Software
Analysis, Evolution and Reengineering (SANER). Macao: IEEE, 2023. 878–885. [doi: 10.1109/SANER56733.2023.00106]
[104] Chen JC. Finding Ethereum smart contracts security issues by comparing history versions. In: Proc. of the 35th IEEE/ACM Int’l Conf.
on Automated Software Engineering. ACM, 2020. 1382–1384. [doi: 10.1145/3324884.3418923]
[105] Abuhashim AA, Tan CC. Improving smart contract search by semantic and structural clustering for source codes. Blockchain: Research
and Applications, 2023, 4(2): 100117. [doi: 10.1016/j.bcra.2022.100117]
[106] Khan ZA, Namin AS. Dynamic analysis for detection of self-destructive smart contracts. In: Proc. of the 47th IEEE Annual Computers,
Software, and Applications Conf. (COMPSAC). Torino: IEEE, 2023. 1093–1100. [doi: 10.1109/COMPSAC57700.2023.00165]
[107] Chen JC, Xia X, Lo D, Grundy J. Why do smart contracts self-destruct? Investigating the selfdestruct function on Ethereum. ACM
Trans. on Software Engineering and Methodology (TOSEM), 2021, 31(2): 30. [doi: 10.1145/3488245]
[108] Antonino P, Ferreira J, Sampaio A, Roscoe AW. Specification is law: Safe creation and upgrade of Ethereum smart contracts. In: Proc.
of the 20th Int’l Conf. on Software Engineering and Formal Methods. Berlin: Springer, 2022. 227–243. [doi: 10.1007/978-3-031-17108-
6_14]
[109] Casolari F, Taddeo M, Turillazzi A, Floridi L. How to improve smart contracts in the European union data act. Digital Society, 2023,
2(1): 9. [doi: 10.1007/s44206-023-00038-2]
[110] Vogelsteller F, Buterin V. ERC-20: Token standard. 2015. https://eips.ethereum.org/EIPS/eip-20
[111] Antonino P, Ferreira J, Sampaio A, Roscoe AW, Arruda F. A refinement-based approach to safe smart contract deployment and
evolution. Software and Systems Modeling, 2024, 23(3): 657–693. [doi: 10.1007/s10270-023-01143-z]
[112] Dickerson T, Gazzillo P, Herlihy M, Saraph V, Koskinen E. Proof-carrying smart contracts. In: Proc. of the 2018 Int’l Workshops on
Financial Cryptography and Data Security. Nieuwpoort: Springer, 2018. 325–338. [doi: 10.1007/978-3-662-58820-8_22]
[113] Necula GC. Proof-carrying code. In: Proc. of the 24th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages.
Paris: ACM, 1997. 106–119. [doi: 10.1145/263699.263712]
[114] Kondo M, Oliva GA, Jiang ZM, Hassan AE, Mizuno O. Code cloning in smart contracts: A case study on verified contracts from the