crytic/slither

Create detectors for semantic changes due to Solidity IR

Open

#1,169 创建于 2022年4月14日

在 GitHub 查看
 (2 评论) (1 反应) (0 负责人)Python (886 fork)batch import
High Priorityhelp wanted

仓库指标

Star
 (4,769 star)
PR 合并指标
 (平均合并 54天 9小时) (30 天内合并 2 个 PR)

描述

https://docs.soliditylang.org/en/v0.8.13/ir-breaking-changes.html#semantic-only-changes

0.8.13 allows to use of the new IR pipeline, but comes with risks due to semantics changes. We should create detectors to help developers to review if they can use the new version without impacting their contracts.

We can make these detectors directly public to help a larger audience.

贡献者指南