上传者: 43405220
|
上传时间: 2021-01-28 05:07:09
|
文件大小: 1.75MB
|
文件类型: PDF
Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property. Securify s analysis consists of two steps. First, it symbolically analyzes the contract s dependency graph to extract pr