上传者: 43405220
|
上传时间: 2021-01-28 05:07:50
|
文件大小: 1.59MB
|
文件类型: PDF
ContractFuzzer generates fuzzing inputs based on the ABI specifications of smart contracts, defines test oracles to detect security vulnerabilities, instruments the EVM to log smart contracts runtime behaviors, and analyzes these logs to report security vulnerabilities.