基于静态分析的价格预言机操纵源代码检测方法研究.pdfVIP

理论研究2025年第5期

doi：10.3969/j.issn.1671-1122.2025.05.006

基于静态分析的价格预言机操纵源代码

检测方法研究

叶佳骏，高翠凤，薛吟兴

（中国科学技术大学计算机科学与技术学院，合肥230026）

摘要：针对智能合约的价格预言机操纵攻击问题，文章提出一种基于静态分析

的价格预言机操纵源代码检测方法。该方法首先根据用户输入的函数调用关系，建立

调用者函数的变量和被调函数的参数之间的对应关系，以及被调函数返回值和调用者

函数的变量之间的对应关系。其次，对被测函数的源代码及其实际运行时涉及的其他

合约源代码进行静态分析，获取每个合约的数据流和控制流信息。然后，通过整合单

个合约的数据流信息、控制流信息以及函数调用关系，构建跨合约的数据流图和控制

流图，从而获取变量的数据依赖和控制依赖关系。最后，通过检测转账操作中的转账

金额以及转账操作中存在控制依赖的控制语句是否使用少量容易被操纵的信息，来判

断被测合约是否存在价格预言机操纵风险。实验结果表明，该方法能有效检测智能合

约中的价格预言机操纵攻击，具有较高的精确率和召回率。

关键词：智能合约；静态分析；价格预言机操纵攻击；区块链安全

中图分类号：TP309文献标志码：A文章编号：1671-1122（2025）05-0732-15

中文引用格式：叶佳骏，高翠凤，薛吟兴.基于静态分析的价格预言机操纵源代码检测方法研究[J].信息

网络安全，2025，25（5）：732-746.

英文引用格式：YEJiajun,GAOCuifeng,XUEYinxing.ResearchonPriceOracleManipulationSourceCode

DetectionMethodBasedonStaticAnalysis[J].NetinfoSecurity,2025,25(5):732-746.

ResearchonPriceOracleManipulationSourceCodeDetection

MethodBasedonStaticAnalysis

YEJiajun,GAOCuifeng,XUEYinxing

(DepartmentofComputerScienceandTechnology,UniversityofScienceandTechnologyofChina,Hefei230026,China)

Abstract:Aimingattheproblemofpriceoraclemanipulationattacksonsmart

contracts,thispaperproposedapriceoraclemanipulationsourcecodedetectionmethod

basedonstaticanalysis.Thisapproachfirstestablishedcorrespondencesbetweencaller

functionvariablesandcalledfunctionparameters,aswellasbetweencalleefunctionreturn

2024-04-29

收稿日期：

基金项目：国家自然科学基金；江苏省基础研究计划（自然科学基金）面上项目[B

叶佳骏（1999—），男，广东，硕士