基于静态分析和动态测试的智能合约漏洞检测方法研究.pdf

基于静态分析和动态测试的智能合约漏洞检测方法研究.pdf

摘要

摘要

智能合约作为区块链技术的核心应用之一,已广泛应用于金融、供应链、物联网等多

个领域。然而,随着其应用范围的扩大,智能合约的安全问题,尤其是基于WebAssembly

(Wasm)技术的智能合约漏洞检测,逐渐成为研究的重点。由于Wasm智能合约执行环境

的复杂性和缺乏源代码透明性,导致其漏洞检测面临着许多挑战。现有的检测方法在处理

Wasm智能合约的复杂执行路径、跨函数状态转移和敏感信息流追踪等方面存在明显不足,

亟需提出新的检测技

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档