https://medium.com/taipei-ethereum-meetup/%E5%B8%B8%E8%A6%8B%E7%9A%84%E6%99%BA%E6%85%A7%E5%90%88%E7%B4%84%E6%AA%A2%E6%B8%AC%E5%B7%A5%E5%85%B7-e1b0071dc4a9
#security 智能合约漏洞自动检测
#security 智能合约漏洞自动检测
Medium
常見的智慧合約檢測工具
DeFi安全事件多與智慧合約撰寫有關，其中閃電貸攻擊及利用重入(Reentrancy)漏洞進行跨合約攻擊佔了多數，以dForce受到ERC777重入攻擊為例，Lendf.Me與imBTC兩個合約本身程式碼無安全問題，而兩者組合產生的協議帶來系統性的風險，此類可組合性對DeFi的發…
