1y
slither是Solidity的静态分析工具,工具本身会自动检查合约代码并给出一些安全建议。 该工具还自带了一些print工具,对于合约的功能分析也非常有用。 此文简单说明slither工具的安装和使用。 原理 通过官方solc工具生成ast抽象语法树json文件(solc --ast-json...
以代码的方式编写好需执行的函数,配置触发的方式。 当平台检测到触发条件满足时,将自动执行对应的函数。 需要开发者离线编写代码并上传到Tenderly平台,带有版本管理。 主要使用场景是自定义数据处理和告警通知等。 Trigger类型 block:指定间隔一个或多个区块执行 transaction:...
项目目标 解决DeFi 生态存在的安全问题,减少黑客攻击损失。 项目状态 只有白皮书文档,产品没有上线。 方案内容 项目本身不负责寻找可疑攻击交易,是期望搭建一个平台,让社区用户(白帽子)为了激励制造出高效的检测工具。 在项目代币中嵌入lossless的代码,用于紧急冻结黑客地址; 攻击事件由社区...
No More Data