crytic/slither
GitHub で見るCreate detectors for semantic changes due to Solidity IR
Open
#1,169 opened on 2022年4月14日
High Priorityhelp wanted
Repository metrics
- Stars
- (4,769 stars)
- PR merge metrics
- (平均マージ 54d 9h) (30d で 2 merged PRs)
説明
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.