论文部分内容阅读
随着密码学和通信技术的发展,传统的纸质合约迎来了革命性的改变,基于密码学这种高科技上的数字化合同逐渐崭露头角,智能合约通过程序代码规定合约条款和触发条件,一旦满足出发条件合约便会自行执行。基于对智能合约存在的重入漏洞、整数溢出漏洞、拒绝服务攻击漏洞和时间戳依赖漏洞等安全漏洞进行的总结分析,提出了针对智能合约漏洞的形式化验证、符号执行、静态分析和污点分析等检测方法,并进行了相关的实验分析,最后提出了总结与展望。